Team galaad

Overall Objectives
Scientific Foundations
Application Domains
New Results
Other Grants and Activities


Major publications by the team in recent years

L. Busé, M. Elkadi, B. Mourrain.
Resultant over the residual of a complete intersection, in: J. of Pure and Applied Algebra, 2001, vol. 164, p. 35-57.
L. Busé, M. Elkadi, B. Mourrain.
Using projection operators in computer aided geometric design, in: Topics in algebraic geometry and geometric modeling, Providence, RI, Contemp. Math., Amer. Math. Soc., 2003, vol. 334, p. 321–342.
M. Elkadi, B. Mourrain.
Algorithms for residues and Lojasiewicz exponents, in: J. of Pure and Applied Algebra, 2000, vol. 153, p. 27-44.
M. Elkadi, B. Mourrain.
Introduction à la résolution des systèmes polynomiaux, Mathématiques et Applications, Springer, 2007, vol. 59.
I.Z. Emiris, A. Galligo, H. Lombardi.
Certified Approximate Univariate GCDs, in: J. Pure & Applied Algebra, Special Issue on Algorithms for Algebra, May 1997, vol. 117 & 118, p. 229–251.
I.Z. Emiris, B. Mourrain.
Matrices in Elimination Theory, in: J. Symbolic Computation, Special Issue on Elimination, 1999, vol. 28, p. 3–44.
A. Galligo.
Théorème de division et stabilité en géométrie analytique locale, in: Ann. Inst. Fourier, 1979, vol. 29, p. 107–184.
A. Galligo, M. van Hoeij.
Approximate bivariate factorization: a geometric viewpoint, in: SNC '07: Proceedings of the 2007 international workshop on Symbolic-numeric computation, New York, NY, USA, ACM, 2007, p. 1–10.
A. Galligo, S. Watt.
A Numerical Absolute Primality Test for Bivariate Polynomials, in: Proc. Annual ACM Intern. Symp. on Symbolic and Algebraic Computation, 1997, p. 217–224.
B. Mourrain, V. Y. Pan.
Multivariate Polynomials, Duality and Structured Matrices, in: J. of Complexity, 2000, vol. 16, no 1, p. 110-180.

Publications of the year

Doctoral Dissertations and Habilitation Theses

D. Diatta.
Calcul effectif de la topologie de courbes et surfaces algébriques réelles, Université de Limoges, 09 2009, Ph. D. Thesis.

Articles in International Peer-Reviewed Journal

L. Alberti, B. Mourrain, J.-P. Técourt.
Isotopic triangulation of a real algebraic surface, in: Journal of Symbolic Computation, 2009, vol. 44, no 9, p. 1291-1310
L. Busé.
On the equations of the moving curve ideal of a rational algebraic plane curve, in: Journal of Algebra, 2009, vol. 321, no 8, p. 2317-2344
L. Busé, M. Chardin, J.-P. Jouanolou.
Torsion of the symmetric algebra and implicitization, in: Proceedings of the American Mathematical Society, 2009, vol. 137, no 6, p. 1855-1865
L. Busé, M. Elkadi, A. Galligo.
A computational study of ruled surfaces, in: Journal of Symbolic Computation, 2009, vol. 44, no 3, p. 232–241
L. Busé, B. Mourrain.
Explicit factors of some iterated resultants and discriminants, in: Mathematics of Computation / Mathematics of Computation of the American Mathematical Society, 2009, vol. 78, no 265, p. 345–386
M. Elkadi, A. Galligo, M. Weimann.
Towards Toric Absolute Factorization, in: Journal of Symbolic Computation, 2009, p. 1194-1211
E. Hubert.
Differential invariants of a Lie group action: syzygies on a generating set, in: Journal of Symbolic Computation, 2009, vol. 44, no 4, p. 382-416
M. Laurent, B. Mourrain.
A Sparse Flat Extension Theorem for Moment Matrices, in: Archiv der Mathematik, 2009, vol. 93, p. 87-98
B. Mourrain, J.-P. Pavone.
Subdivision methods for solving polynomial equations, in: Journal of Symbolic Computation, 2009, vol. 44, no 3, p. 292-306, RR-5658.
C. Tu, W. Wang, B. Mourrain, J. Wang.
Signature Sequence of Intersection Curve of Two Quadrics for Exact Morphological Classification, in: CAGD, 2009, vol. 26, no 3, p. 317-335

International Peer-Reviewed Conference/Proceedings

G. Chèze, J.-C. Yakoubsohn, A. Galligo, B. Mourrain.
Computing Nearest Gcd with Certification, in: Symbolic-Numeric Computation (SNC'09), Japon Kyoto, ACM New York, NY, USA, 2009, p. 29-34
I. Emiris, A. Mantzaflaris.
Multihomogeneous resultant matrices for systems with scaled support, in: International Symposium on Symbolic and Algebraic Computation, Corea, Seoul Republic, 2009, p. 143-150
A. Galligo, A. Poteaux.
Continuations and monodromy on random riemann surfaces, in: SNC '09:conference on Symbolic numeric computation 2009, Kyoto Japan, 10.1145/1577190.1577210, 2009, p. 115-124
W. Ge, G. Xu, K.-C. Hui, G. Wang.
Detail-preserving axial deformation using curve pairs, in: IEEE International Conference on Shape Modeling and Applications, 2009. SMI 2009., China, Beijing, 2009
W. Ge, G. Xu, K.-C. Hui, G. Wang.
Detail-preserving sculpting deformation, in: IEEE International Conference on CAD/Graphics, Chine Yellow Mountain, 2009
T. Luu Ba, L. Busé, B. Mourrain.
Curve/surface intersection problem by means of matrix representations, in: Symbolic Numeric Computation, Japon Kyoto, H. Kai, H. Sekigawa (editors), ACM, New York, NY, 2009, p. 71-78
A. Mantzaflaris, B. Mourrain, E. P. Tsigaridas.
Continued Fraction Expansion of Real Roots of Polynomial Systems, in: SNC, conference on Symbolic-Numeric Computation, Japon Kyoto, 2009, p. 85-94
D.-M. Yan, J. Wintz, B. Mourrain, W. Wang, F. Boudon, C. Godin.
Efficient and robust reconstruction of botanical branching structure from laser scanned points, in: 11th IEEE International conference on Computer-Aided Design and Computer Graphics, Chine Yellow Mountain City, 2009, p. 572-575