Bibliography

Major publications by the team in recent years

[1]

P. Aubry .
Ensembles triangulaires de polynômes et résolution de systèmes algébriques, Ph. D. Thesis, Université Paris 6, 1999.

[2]

P. Aubry , D. Lazard , M. Moreno Maza.
On the Theories of Triangular Sets, in: Journal of Symbolic Computation, Special Issue on Polynomial Elimination, 1999, vol. 28, p. 105–124.

[3]

J. Faugère , D. Lazard .
The Combinatorial Classes of Parallel Manipulators, in: Mechanism and Machine Theory, 1995, vol. 30, p. 765–776.

[4]

J.-C. Faugère..
A New Efficient Algorithm for Computing Gröbner Bases (F4), in: Journal of Pure and Applied Algebra, 1999, vol. 139, n^o 1–3, p. 61–88.

[5]

G. Hanrot , F. Morain.
Solvability by Radicals From an Algorithmic Point of View, in: International Symposium on Symbolic and Algebraic Computation - ISSAC'2001, London, Ontario, Canada, B. Mourrain (editor), ACM, 2001.

[6]

D. Lazard .
Stewart Platforms and Gröbner Basis, in: Proceedings of Advances in Robotics Kinematics, 1992, p. 136–142.

[7]

D. Lazard , J.-P. Merlet.
The (True) Stewart Platform has 12 Configurations, in: Proceedings of IEEE International Conference on Robotics and Automation, San Diego, May 1994, p. 2160–2165.

[8]

V. Lefèvre .
Moyens arithmétiques pour un calcul fiable, Thèse de doctorat, École Normale Supérieure de Lyon, 2000.

[9]

F. Rouillier .
Real Root Counting For Some Robotics Problems, in: Solid Mechanics and its Applications, Kluwer Academic Publishers, 1995, vol. 40, p. 73–82.

[10]

F. Rouillier .
Solving Zero-Dimensional Systems Through the Rational Univariate Representation, in: Journal of Applicable Algebra in Engineering, Communication and Computing, 1999, vol. 9, n^o 5, p. 433–461.

Year Publications

Books and Monographs

[11]

F. Chen, D. Wang (editors)
Geometric Computation, World Scientific Publishing Co., Singapore New Jersey, December 2003.

[12]

D. Wang (editor)
Selected Lectures in Symbolic Computation, in Chinese, Tsinghua University Press, Beijing, 2003.

[13]

D. Wang .
Elimination Practice : Software Tools and Applications, Imperial College Press, London, December 2003.

Articles in refereed journals and book chapters

[14]

P. Aubry , F. Rouillier , M. Safey El Din .
Real Solving for Positive Dimensional Systems, in: Journal of Symbolic Computation, 2002, vol. 34, n^o 6, p. 543-560no.

[15]

Y. Bertot, N. Magaud, P. Zimmermann .
A Proof of GMP Square Root, in: Journal of Automated Reasoning, Special Issue on Automating and Mechanising Mathematics : In honour of N.G. de Bruijn, December 2002, vol. 29, n^o 3-4, p. 225–252.

[16]

R. Brent , S. Larvala, P. Zimmermann .
A Primitive Trinomial of Degree 6972593, in: Mathematics of Computation, to appear.

[17]

R. P. Brent , S. Larvala, P. Zimmermann .
A Fast Algorithm for Testing Reducibility of Trinomials mod 2 and Some New Primitive Trinomials of Degree 3021377, in: Mathematics of Computation, July 2003, vol. 72, n^o 243, p. 1443-1452.

[18]

S. Corvez , F. Rouillier .
Using computer algebra tools to classify serial manipulators, in: Automated Deduction in Geometry, F. Winkler (editor), Lecture Notes in Artificial Intelligence, to appear, Springer.

[19]

D. Defour, G. Hanrot , V. Lefèvre , J.-M. Muller, N. Revol , P. Zimmermann .
Proposal for a Standardization of Mathematical Function Implementation in Floating-Point Arithmetic, in: Numerical Algorithms, to appear.

[20]

G. Hanrot , J. Rivat, G. Tenenbaum, P. Zimmermann .
Density Results on Floating-point Invertible Numbers, in: Theoretical Computer Science, January 2003, vol. 291, n^o 2, p. 135-141.

[21]

G. Hanrot , P. Zimmermann .
A long note on Mulders' short product, in: Journal of Symbolic Computation, to appear.

[22]

D. Lazard .
Injectivity of real rational mappings: The case of a mixture of two Gaussian laws, in: Mathematics of Computation, to appear.

[23]

V. Lefèvre , J.-M. Muller.
On-the-Fly Range Reduction, in: Journal of VLSI Signal Processing-Systems for Signal, Image, and Video Technology, January 2003, vol. 33, n^o 1-2, p. 31-35.

[24]

F. Rouillier .
Efficient Algorithms based on Critical Points Method, in: Algorithmic and Quantitative Real Algebraic Geometry, S. Basu, L. Gonzalez-Vega (editors), DIMACS Series in Discrete Mathematics and Theoretical Computer Science, American Mathematical Society, 2003, vol. 60, p. 123–138.

[25]

F. Rouillier , P. Zimmermann .
Efficient Isolation of a Polynomial Real Roots, in: Journal of Computational and Applied Mathematics, 2003, vol. 162, n^o 1, p. 33-50.

[26]

M. Safey El Din , É. Schost.
Properness defects of projection functions and computation of at least one point in each connected component of a real algebraic set, in: Journal of Discrete and Computational Geometry, to appear.

[27]

D. Wang .
Automated Generation of Diagrams with Maple and Java, in: Algebra, Geometry, and Software Systems, M. Joswig, N. Takayama (editors), Springer-Verlag, Berlin Heidelberg, 2003, p. 277–287.

[28]

D. Wang .
Implicitization and Offsetting via Regular Systems, in: Geometric Computation, F. Chen, D. Wang (editors), World Scientific, Singapore New Jersey, December 2003, chap. 5, p. 156-176.

Publications in Conferences and Workshops

[29]

R. Brent , P. Zimmermann .
Algorithms for finding almost irreducible and almost primitive trinomials, in: Primes and Misdemeanours: Lectures in Honour of the Sixtieth Birthday of Hugh Cowie Williams, Banff, Canada, A. van der Poorten, A. Stein (editors), 12 pages. Invited paper. To be published by the AMS., The Fields Institute, Toronto, May 2003.

[30]

R. Brent , P. Zimmermann .
Random number generators with period divisible by a Mersenne prime, in: Proceedings of Computational Science and its Applications (ICCSA), Lecture Notes in Computer Science, invited paper, Springer-Verlag, 2003, n^o 2667, p. 1–10.

[31]

L. Fousse , P. Zimmermann .
Accurate Summation : Towards a Simpler and Formal Proof, in: 5th Conference on Real Numbers and Computers 2003 - RNC5, Lyon, France, September 2003, p. 97–108.

[32]

D. Lazard .
Central Configurations of Four Gravitational Masses With an Axis of Symmetry, in: 8th International Conference on Applications of Computer Algebra (ACA'2002), Volos, Greece, 2002no.

[33]

V. Lefèvre .
Multiplication by an Integer Constant: Lower Bounds on the Code Length, in: 5th Conference on Real Numbers and Computers 2003 - RNC5, Lyon, France, September 2003, p. 131-146.

[34]

F. Rouillier .
Efficient real solutions and robotics, in: First EMS-SMAI-SMF Joint Conference Applied Mathematics and Applications of Mathematics, 2003.

[35]

M. Safey El Din , É. Schost.
Polar varieties and computation of one point in each connected component of a smooth real algebraic set, in: International Symposium on Symbolic and Algebraic Computation (ISSAC'2003), Philadelphie, USA, J. Sendra (editor), ACM Press, August 2003, p. 224-231.

[36]

D. Stehlé , V. Lefèvre , P. Zimmermann .
Worst Cases and Lattice Reduction, in: 16th IEEE Symposium on Computer Arithmetic 2003 - ARITH-16'03, Santiago de Compostela, Spain, June 2003, p. 142-147.

[37]

D. Wang .
GEOTHER 1.1: Handling and Proving Geometric Theorems Automatically, in: Proceedings of Automated Deduction in Geometry (ADG'2002), F. Winkler (editor), Springer-Verlag, Berlin Heidelberg, 2003.

Internal Reports

[38]

Y. Gérard, I. Debled-Rennesson, P. Zimmermann .
A fast and elementary algorithm for digital plane recognition, Rapport de recherche, Institut National de Recherche en Informatique et en Automatique, November 2003.

[39]

C. Le Guernic .
Résolution de systèmes d'égalités et d'inégalités polynomiales, Stage ENS, ENS, September 2003.

[40]

D. Stehlé .
Breaking Littlewood's cipher, Rapport de recherche, Institut National de Recherche en Informatique et en Automatique, November 2003, n^o 4988 http://www.inria.fr/rrrt/rr-4988.html.

Miscellaneous

[41]

D. Wang .
A Simple Method for Implicitizing Rational Curves and Surfaces, submitted for publication, 2003.

References in notes

[42]

G. Dos Reis, B. Mourrain, P. Trébuchet , F. Rouillier .
An Environment for Symbolic and Numeric Computation, in: International Congress of Mathematical Software (ICMS'2002), Beijing, China, August 2002.

[43]

J. E. Omri.
Analyse géométrique et cinématique des mécanismes de type manipulateur, PhD Thesis, Université de Nantes, February 1996.

[44]

P. Wenger, J. E. Omri.
Changing Posture for Cuspidal Robot Manipulators, in: Proceedings of the 1996 IEEE Int. Conf on Robotics and Automation, 1996, p. 3173–3178.

[45]

P. Wenger.
Some Guidelines for the Kinematic Design of New Manipulators, in: Mechanism and Machine Theory, 2000, vol. 35, p. 437–449.

[46]

P. Wenger.
Classification of 3R Positioning Manipulators, in: Journal of Mechanical Design, June 1998, vol. 120, p. 327–332.