Bibliographie

Ouvrages et articles de référence de l'équipe

1
P. AUBRY, D. LAZARD, M. MORENO MAZA,
« On the theories of triangular sets »,
Journal of Symbolic Computation, Special Issue on Polynomial Elimination 28, 1999, p. 105-124.
2
P. AUBRY,
Ensembles triangulaires de polynômes et résolution de systèmes algébriques,
thèse de doctorat, Université Paris 6, 1999.
3
J. FAUGÈRE, D. LAZARD,
« The Combinatorial Classes of Parallel Manipulators »,
Mechanism and Machine Theory 30, 1995, p. 765-776.
4
J.-C. FAUGÈRE.,
« A new efficient algorithm for computing Gröbner bases (F4).- »,
Journal of Pure and Applied Algebra 139, 1-3, 1999, p. 61-88.
5
D. LAZARD, J.-P. MERLET,
« The (true) Stewart platform has 12 configurations »,
in: Proc. of IEEE Conference on Robotics and Vision, San Diego,
1994.
6
D. LAZARD,
« Stewart platforms and Gröbner basis »,
in: Proceedings of Advances in Robotics Kinematics, p. 136-142,
1992.
7
D. LAZARD,
« Calcul formel : tendances et progrès récents »,
Technique et Science Informatique 19, 2000,
Numéro spécial, Informatique.
8
V. LEFÈVRE,
Moyens arithmétiques pour un calcul fiable,
Thèse de doctorat, École Normale Supérieure de Lyon, janvier 2000.
9
F. ROUILLIER,
« Real Root Counting For some Robotics problems »,
Solid Mechanics and its Applications, Kluwer Academic Publishers 40, 1995, p. 73-82.
10
F. ROUILLIER,
« Solving zero-dimensional systems through the rational univariate representation »,
Journal of Applicable Algebra in Engineering, Communication and Computing 9, 5, 1999, p. 433-461.

Livres et monographies

11
X.-S. GAO, D. WANG,
Computer Mathematics - Proceedings of the Fourth Asian Symposium (ASCM 2000), Lecture Notes Series on Computing,
World Scientific Publishing, Singapore, 2000.
12
J. RICHTER-GEBERT, D. WANG (éditeurs),
Automated Deduction in Geometry, LNAI 2061,
Springer, Berlin Heidelberg, 2001.
13
D. WANG,
Elimination methods, Texts and Monographs in Symbolic Computation,
Springer, Wien New York, 2001.

Thèses et habilitations à diriger des recherches

14
M. SAFEY EDIN,
Résolution réelle des systèmes polynomiaux de dimension positive,
Thèse d'université, Université Paris 6, janvier 2001.
15
P. ZIMMERMANN,
De l'algorithmique à l'arithmétique via le calcul formel,
Habilitation à diriger des recherches, Université Henri Poincaré Nancy 1, 2001.

Articles et chapitres de livre

16
P. AUBRY, A. VALIBOUZE,
« Using Galois ideals for computing relative resolvents »,
Journal of Symbolic Computation 30, 6, décembre 2000, p. 635-651,
Special Issue on Algorithmic Galois Theory.
17
Y. BILU, G. HANROT, P. VOUTIER,
« Existence of primitive divisors of Lucas and Lehmer numbers »,
Journal Für die reine und angewandte Mathematik 539, octobre 2001, p. 75-122.
18
G. HANROT, J. RIVAT, G. TENENBAUM, P. ZIMMERMANN,
« Density results on floating-point invertible numbers »,
Theoretical Computer Science, 2002,
À paraître.
19
G. HANROT, N. SARADHA, T. SHOREY,
« Almost perfect powers in consecutive integers »,
Acta Arithmetica 99, 1, 2001, p. 13-25.
20
X. HOU, H. LI, D. WANG, L. YANG,
« "Russian Killer" No. 2: A Challenging Geometric Theorem with Human and Machine Proofs »,
The Mathematical Intelligencer 23(1), 2001, p. 9-15.
21
V. LEFÈVRE,
« Multiplication par une constante »,
Réseaux et Systèmes Répartis, Calculateurs Parallèles 13, 3, 2001, p. 465-484.
22
H. LOMBARDI, M.-F. ROY, M. SAFEY EDIN,
« New structure theorems for subresultants »,
Journal of symbolic computation 29, 4-5, avril 2000, p. 663-690.
23
F. ROUILLIER, M.-F. ROY, M. SAFEY EDIN,
« Finding at least one point in each connected component of a real algebraic set defined by a single equation »,
Journal of Complexity 16, 2000, p. 716-750.
24
D. WANG, D. LIN,
« A Method for Multivariate Polynomial Factorization over Successive Algebraic Extension Fields »,
in: Mathematics and Mathematics-Mechanization, D. Lin, W. Li, et Y. Yu (éditeurs),
Shandong Education Publishing House, Jinan, 2001, p. 138-172.
25
D. WANG,
« Elimination Theory, Methods, and Practice »,
in: Mathematics and Mathematics-Mechanization, D. Lin, W. Li, et Y. Yu (éditeurs),
Shandong Education Publishing House, Jinan, 2001, p. 91-137.
26
D. WANG,
« Geometric Algebra and Reasoning »,
in: Geometric Algebra: A Geometric Approach to Computer Vision, Quantum and Neural Computing, Robotics and Engineering, E. B.-C. et G. Sobczyk (éditeur),
Birkhauser, Boston, 2001.
27
D. WANG,
« Geometric Reasoning with Geometric Algebra »,
in: Advances in Geometric Algebra with Applications, E. Bayro-Corrochano et G. Sobczyk (éditeurs),
Birkhäuser, Boston, 2001, p. 87-111.
28
P. ZIMMERMANN,
« Arithmétique en précision arbitraire »,
Calculateurs Parallèles (Hermès), 2002,
À paraître.

Communications à des congrès, colloques, etc.

29
P. AUBRY, D. WANG,
« Reasoning about Surfaces Using Differential Zero and Ideal Decomposition »,
in: Third International Workshop on Automated Deduction in Geometry - ADG'2000, Zurich, D. W. J. Richter-Gebert (éditeur), Lecture Notes in Artificial Intelligence, 2061, J. Richter-Gebert, D. Wang, Springer-Verlag, p. 154-174,
Berlin Heidelberg, 2001.
30
D. DANEY, I. Z. EMIRIS,
« Robust parallel robot calibration with partial information. »,
in: IEEE International Conference on Robotics and Automation (ICRA), Corée, Séoul,
2001.
31
D. DANEY, I. Z. EMIRIS,
« Variable elimination for reliable parallel robot calibration. »,
in: In 2nd Workshop on Computational Kinematics (CK), Seoul, Korea, F. C. Park, C. C. Iurascu (éditeurs), School of Mechanical and Aerospace Engineering,
2001.
32
L. DUPONT, S. LAZARD, S. PETITJEAN, D. LAZARD,
« Towards the Robust Intersection of Implicit Quadrics »,
in: Workshop on Uncertainty in Geometric Computations, Sheffield, UK,
juillet 2001.
33
FAUGÈRE J.C,
« Finding all the solutions of Cyclic 9 using Gröbner basis techniques. »,
in: Computer Mathematics - Proceedings of the 5th Asian Symposium (ASCM 2001), K. Shirayanagi, K. Yokoyama (éditeurs), Lecture Notes Series on Computing, 9, World Scientific, Singapore, p. 1-12,
Septembre 2001. Conférence invitée.
34
G. HANROT, F. MORAIN,
« Solvability by radicals from an algorithmic point of view »,
in: ISSAC, London, Ontario, B. Mourrain (éditeur), ACM,
juillet 2001.
35
X. HOU, D. WANG,
« Subresultants with the Bézout Matrix »,
in: Computer Mathematics - Proceedings of the 4th Asian Symposium (ASCM 2000), X.-S. Gao, D. Wang (éditeurs), World Scientific, Singapore, p. 19-28,
2000.
36
D. LAZARD,
« Resolution of polynomial systems »,
in: 4th Asian Symposium on Computer Mathematics - ASCM 2000, Chiang Mai, Thailand, Lecture Notes Series on Computing, 8, World Scientific, p. 1 - 8,
décembre 2000.
37
D. LAZARD,
« On the specification for solvers of polynomial systems »,
in: 5th Asian Symposium on Computer Mathematics - ASCM 2001, Matsuyama, Japon, Lecture Notes Series on Computing, 9, World Scientific, p. 66 - 75,
septembre 2001.
38
V. LEFÈVRE, J.-M. MULLER,
« Worst Cases for Correct Rounding of the Elementary Functions in Double Precision »,
in: 15th IEEE Symposium on Computer Arithmetic - ARITH 2001, Vail, Colorado, N. Burgess, L. Ciminiera (éditeurs), p. 111-118,
juin 2001.
39
L. ROLLAND,
« Méthodes algébriques pour la résolution du modèle géométrique de robots parallèles, applications à haute cadence et grande précision »,
in: Quatrièmes Journées du Pôle Microrobotique, Lyon, France, Laboratoire d'Automatique Industrielle,
juillet 2001.
40
F. ROUILLIER, M. SAFEY EDIN, E. SCHOST,
« Solving the Birkhoff interpolation problem via the critical point method: an experimental study »,
in: Automated Deduction in Geometry, Zurich, Switzerland,
2000.
41
D. WANG,
« A Generalized Algorithm for Computing Characteristic Sets »,
in: Computer Mathematics - Proceedings of the 5th Asian Symposium (ASCM 2001), K. Shirayanagi, K. Yokoyama (éditeurs), p. 165-174,
2001.

Rapports de recherche et publications internes

42
P. AUBRY, F. ROUILLIER, M. SAFEY EDIN,
« Real solving for positive dimensional systems »,
Rapport de recherche, septembre 2000.
43
K. BELABAS, G. HANROT, P. ZIMMERMANN,
« Tuning and Generalizing Van Hoeij's Algorithm »,
Rapport de recherche, INRIA, février 2001,
http://www.inria.fr/rrrt/rr-4124.html.
44
R. P. BRENT, S. LARVALA, P. ZIMMERMANN,
« A Fast Algorithm for Testing Irreducibility of Trinomials mod 2 »,
Rapport de recherche, Oxford University Computing Laboratory, décembre 2000.
45
V. LEFÈVRE,
« Multiplication by an Integer Constant »,
Rapport de recherche, INRIA, mai 2001,
http://www.inria.fr/rrrt/rr-4192.html.
46
F. ROUILLIER, P. ZIMMERMANN,
« Efficient Isolation of a Polynomial Real Roots »,
Rapport de recherche, INRIA, février 2001,
http://www.inria.fr/rrrt/rr-4113.html.

Divers

47
THE MPFR TEAM,
« The MPFR library »,
http://www.mpfr.org/,
2001.

Bibliographie générale

ASZ00
J. ABBOTT, V. SHOUP, P. ZIMMERMANN,
« Factorization in Z[x] : the searching phase »,
in: Proceedings of ISSAC'2000, C. Traverso (éditeur), p. 1-7,
2000,
http://www.shoup.net/papers/asz.ps.Z.
CGL+00
S.-C. CHOU, X.-S. GAO, Z. LIU, D.-K. WANG, D. WANG,
« Geometric Theorem Provers and Algebraic Equations Solvers »,
in: Mathematics Mechanization and Applications, X.-S. Gao et D. Wang (éditeurs),
Academic Press, London, 2000.
Col75
G. COLLINS,
« Quantifier elimination for real closed fields by cylindrical algebraic decomposition »,
Springer Lecture Notes in Computer Science 33 33, 1975, p. 515-532.
dW55
V. DER WAERDEN,
Moderne Algebra,
Springer-Verlag, 1955.
ePM97
A. H. K. ET P. MARKSTEIN,
« High-Precision Division and Square Root »,
ACM Transactions on Mathematical Software 23, 4, 1997, p. 561-589.
Eul60
L. EULERUS,
Opera omnia. Series secunda (Opera mechanica et astronomica), Vol. XXV: Commentationes astronomicae ad theoriam perturbationum pertinentes, Vol. primum,
Auctoritate et impensis Societatis Scientiarum Naturalium Helveticae. Orell Füssli, Zurich, 1960, ch. Considerationes de motu corpurum coelestium,
version originale en 1762.
HQZ00
G. HANROT, M. QUERCIA, P. ZIMMERMANN,
« Speeding up the Division and Square Root of Power Series »,
Rapport de recherche no 3973, 2000,
http://www.inria.fr/RRRT/RR-3973.html.
Mul00
T. MULDERS,
« On short multiplications and divisions »,
AAECC 11, 1, 2000, p. 69-88.
vH
M. VAN HOEIJ,
« Factoring polynomials and the knapsack problem »,
Journal of Number Theory,
À paraître,
http://www.math.fsu.edu/~hoeij/papers.html.