Preuves formelles automatiques et calcul formel

Loïc Pottier

Displaying similar documents to “Preuves formelles automatiques et calcul formel”

Une courbe elliptique définie sur ℚ de rang ≥ 22

Stéfane Fermigier (1997)

Acta Arithmetica

Similarity:

Nous présentons un exemple de courbe elliptique définie sur ℚ de rang ≥ 22 en détaillant les méthodes qui ont permis cette découverte.

Valeurs en s=1 de fonctions L

Michel Pestour (1997)

Acta Arithmetica

Similarity:

Mesures invariantes pour les fractions rationnelles géométriquement finies

Guillaume Havard (1999)

Fundamenta Mathematicae

Similarity:

Let T be a geometrically finite rational map, p(T) its petal number and δ the Hausdorff dimension of its Julia set. We give a construction of the σ-finite and T-invariant measure equivalent to the δ-conformal measure. We prove that this measure is finite if and only if $\frac{p (T) + 1}{p (T)} δ > 2$ . Under this assumption and if T is parabolic, we prove that the only equilibrium states are convex combinations of the T-invariant probability and δ-masses at parabolic cycles.