The Schoof-Elkies-Atkin (SEA) algorithm (for counting points on elliptic curves over a finite field) performs computations over polynomials modulo some modular polynomials. Originally the "classical" modular polynomials (the minimum polynomial of the modular function $\tau \mapsto j(\ell \tau)$ for a given prime $\ell$). It turns out that the coefficients of this polynomial increase very fast with the prime $\ell$, so in practice other polynomials should be used. In the Handbook of Elliptic and Hyperelliptic Curve Cryptography (Cohen and Frey), they present the "canonical" modular polynomials, and apparently people also use the Weber modular polynomials (Genus 1 point counting records over prime fields), which have even smaller coefficients, but I cannot find any reference on how to use them. And people also talk about other polynomials (Atkin polynomials ?).
In all the descriptions of SEA I could find, they just use the classical version and add a side note "in practice we would use other polynomials".
So here is the question: is there any literature dealing with those alternatives of the classical modular polynomials? (comparing them, which one is the best in the context of SEA, and how to use them even though they don't give as much information as the classical one). Which ones are used in the state-of-the-art implementations of SEA and why? (e.g. in Magma).
