Équipes actuelles : | ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MOCAH MoVe NPA PEQUAN PolSys QI RO SMA SYEL |
Ancienne équipe : | ACASA |
- Ph. Aubry, D. Wang : “Reasoning about Surfaces Using Differential Zero and Ideal Decomposition”, Automated Deduction in Geometry, vol. 2061, Lecture Notes in Computer Science, Zurich, Switzerland, pp. 154-174, (Springer Berlin Heidelberg) [Aubry 2001]
- S. Boulmé, Th. Hardin, R. Rioboo : “Some Hints for polynomials in the Foc project”, Calculemus 2001, Siena, Italy, pp. 142-154 [Boulmé 2001b]
- L. Dupont, D. Lazard, S. Lazard, S. Petitjean : “Towards the Robust Intersection of Implicit Quadrics”, Workshop on Uncertainty in Geometric Computations, vol. 704, The Springer International Series in Engineering and Computer Science, Sheffield, United Kingdom, pp. 59-68, (Springer) [Dupont 2001]
- J.‑Ch. Faugère : “About a new generation of algorithms for solving polynomial systems and some applications”, Computer Algebra in Applications to Integrable Systems, Cambridge, United Kingdom [Faugère 2001a]
- J.‑Ch. Faugère : “Finding all the Solutions of Cyclic 9 using Gröbner Basis Techniques”, Fifth Asian Symposium on Computer Mathematics - ASCM'2001, vol. 9, Lecture Notes on Computing, Matsuyama, Japan, pp. 1-12, (World Scientific) [Faugère 2001b]
- D. Lazard : “On the specification for solvers of polynomial systems”, 5th Asian Symposium on Computer Mathematics - ASCM 2001, vol. 9, Lecture Notes Series on Computing, Matsuyama, Japan, pp. 66-75, (World Scientific) [Lazard 2001a]
- D. Lazard : “Optimality of the parameterization of quadrics and their intersections”, Journées de cloture Visi3D et CoSTIC, Paris, France [Lazard 2001b]
- D. Lazard : “Résolution numérique des systèmes algébriques par des techniques exactes : application à la mécanique céleste”, Congrès national de mathématiques appliquées et industrielles, SMAI 2001, Pompadour, France, pp. 159-160, (SMAI) [Lazard 2001c]
- D. Lazard : “Systèmes d'équations algébriques et robots parallèles”, Journées nationales de la recherche en robotique - JNRR'2001, Presqu'île de Giens, France, pp. 6 p, (INRIA, Sophia Antipolis) [Lazard 2001e]
- F. Rouillier : “Calcul formel et calcul scientifique”, Congrès national de mathématiques appliquées et industrielles (SMAI), Club Med de Pompadour, Corrèze, France, pp. 151-164, (SMAI) [Rouillier 2001a]
- F. Rouillier : “Efficient Agorithms Based on the Critical Point Method”, DIMACS Workshop on Algorithmic and Quantitative Aspects of Real Algebraic Geometry in Mathematics and Computer Science, vol. 60, DIMACS Series in Discrete Mathematics and Theoretical Computer Science, Rutgers, United States, pp. 123-138 [Rouillier 2001b]
- D. Wang : “A Generalized Algorithm for Computing Characteristic Sets”, The Fifth Asian Symposium on Computer Mathematics - ASCM'2001, vol. 9, Lecture Notes Series on Computing, Matsuyama, Japan, pp. 165-174, (World Scientific Publishing Co.) [Wang 2001a]