Preuves formelles automatiques et calcul formel
Loïc Pottier (2011)
Les cours du CIRM
Similarity:
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
Loïc Pottier (2011)
Les cours du CIRM
Similarity:
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 . 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.
Lascoux, Alain (2003)
Séminaire Lotharingien de Combinatoire [electronic only]
Similarity:
Mireille Car, Jorgen Cherly (1993)
Acta Arithmetica
Similarity:
Mireille Car (1999)
Acta Arithmetica
Similarity:
Francesco Amoroso, Sinnou David (2000)
Acta Arithmetica
Similarity:
1. Introduction. Dans un article célèbre, D. H. Lehmer posait la question suivante (voir [Le], §13, page 476): «The following problem arises immediately. If ε is a positive quantity, to find a polynomial of the form: where the a’s are integers, such that the absolute value of the product of those roots of f which lie outside the unit circle, lies between 1 and 1 + ε (...). Whether or not the problem has a solution for ε < 0.176 we do not know.» Cette question, toujours ouverte,...
Mohammed Ably (1994)
Acta Arithmetica
Similarity:
Henri Chaix, Henri Faure (1993)
Acta Arithmetica
Similarity: