Sites Inria

English version

Equipe de recherche SPACES

Publications de l'équipe SPACES

2006

Article dans une revue

titre
Inhomogeneous and Euclidean spectra of number fields with unit rank strictly greater than 1
auteur
Jean-Paul Cerri
article
Journal für die reine und angewandte Mathematik, Walter de Gruyter, 2006, 592, pp.49-62. ⟨10.1515/CRELLE.2006.022⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00136940/file/CRELLE2.pdf BibTex
titre
Errors Bounds on Complex Floating-Point Multiplication
auteur
Richard Brent, Colin Percival, Paul Zimmermann
article
Mathematics of Computation, American Mathematical Society, 2006
Accès au bibtex
BibTex
titre
Multiple-precision correctly rounded Newton-Cotes quadrature
auteur
Laurent Fousse
article
RAIRO - Theoretical Informatics and Applications (RAIRO: ITA), EDP Sciences, 2006
Accès au bibtex
BibTex

Communication dans un congrès

titre
The 2-adic CM method for genus 2 curves with application to cryptography
auteur
Pierrick Gaudry, Thomas Houtmann, David Kohel, Christophe Ritzenthaler, Annegret Weng
article
Asiacrypt 2006, Dec 2006, Shangai, China. pp.114-129
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00103435/file/42840114.pdf BibTex
titre
On the Randomness of Bits Generated by Sufficiently Smooth Functions
auteur
Damien Stehlé
article
Seventh Algorithmic Number Theory Symposium - ANTS 2006, Jul 2006, Berlin, Germany. pp.257-274
Accès au bibtex
BibTex
titre
Fast algorithms for computing the eigenvalue in the Schoof-Elkies-Atkin algorithm
auteur
Pierrick Gaudry, François Morain
article
ISSAC '06: Proceedings of the 2006 international symposium on symbolic and algebraic computation, Jul 2006, Genoa, Italy, pp.109 - 115, ⟨10.1145/1145768.1145791⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00001009/file/issac06.pdf BibTex
titre
The Twist-AUgmented technique for key exchange
auteur
Olivier Chevassut, Pierre-Alain Fouque, Pierrick Gaudry, David Pointcheval
article
9th International Conference on Theory and Practice of Public Key Cryptology - PKC 2006, Apr 2006, New York, USA, pp.410-426
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00103433/file/Tau_full.pdf BibTex
titre
Can we trust floating-point numbers?
auteur
Paul Zimmermann
article
''Grand Challenges of Informatics'', An Academia Europaea Charles Simonyi John von Neumann Computer Society International Symposium, 2006, Budapest, Hungary
Accès au bibtex
BibTex
titre
LLL on the average
auteur
Phong Nguyen, Damien Stehle
article
Proceedings of the 7th International Symposium on Algorithmic Number Theory, ANTS-VII., 2006, Berlin, Germany. pp.238-256, ⟨10.1007/11792086_18⟩
Accès au bibtex
BibTex
titre
20 years of ECM
auteur
Paul Zimmermann, Bruce Dodson
article
7th Algorithmic Number Theory Symposium (ANTS VII), 2006, Berlin/Germany, Germany. pp.525--542
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00070192/file/RR-5834.pdf BibTex

Direction d'ouvrage, Proceedings, Dossier

titre
Proceedings of the 7th Conference on Real Numbers and Computers (RNC'7)
auteur
Guillaume Hanrot, Paul Zimmermann
article
Guillaume Hanrot, Paul Zimmermann. None., 151 p., 2006, 2-905267-50-X
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00107213/file/rnc7-proceedings-1.pdf BibTex

Rapport

titre
Arbitrary Precision Error Analysis for computing $\zeta(s)$ with the Cohen-Olivier algorithm: Complete description of the real case and preliminary report on the general case
auteur
Y.-F.S. Pétermann, Jean-Luc Rémy
article
[Research Report] RR-5852, INRIA. 2006, pp.31
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00070174/file/RR-5852.pdf BibTex

Pré-publication, Document de travail

titre
Some arguments concerning correct rounding of the elementary functions
auteur
Jean-Michel Muller, Paul Zimmermann
article
2006
Accès au texte intégral et bibtex
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00086516/file/correctrounding.pdf BibTex

2005

Article dans une revue

titre
A Primitive Trinomial of Degree 6972593
auteur
Richard P. Brent, Samuli Larvala, Paul Zimmermann
article
Mathematics of Computation, American Mathematical Society, 2005, 74 (250), pp.1001--1002
Accès au bibtex
BibTex
titre
The arithmetic of Jacobian groups of superelliptic cubics
auteur
Abdolali Basiri, Andreas Enge, Jean-Charles Faugère, Nicolas Gürel
article
Mathematics of Computation, American Mathematical Society, 2005, 74 (249), pp.389-410
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00071967/file/super.pdf BibTex
titre
Euclidean minima of totally real fields : Algorithmic determination.
auteur
Jean-Paul Cerri
article
Mathematics of Computation / Mathematics of Computation, American Mathematical Society, 2005, 76, pp.1547-1575. ⟨10.1090/S0025-5718-07-01932-1⟩
Accès au bibtex
BibTex
titre
Searching Worst Cases of a One-Variable Function Using Lattice Reduction
auteur
Damien Stehlé, Paul Zimmermann, Vincent Lefèvre
article
IEEE Transactions on Computers, Institute of Electrical and Electronics Engineers, 2005, 54 (3), pp.340-346. ⟨10.1109/TC.2005.55⟩
Accès au bibtex
BibTex
titre
MPFR : vers un calcul flottant correct ?
auteur
Paul Zimmermann
article
Interstices, INRIA, 2005
Accès au bibtex
BibTex

Communication dans un congrès

titre
New Results on the Distance Between a Segment and Z². Application to the Exact Rounding
auteur
Vincent Lefèvre
article
17th IEEE Symposium on Computer Arithmetic - Arith'17, Jun 2005, Cape Cod, MA, United States. pp.68-75, ⟨10.1109/ARITH.2005.4⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00000025/file/arith17.pdf BibTex
titre
Floating-point LLL Revisited
auteur
Phong Q. Nguyen, Damien Stehlé
article
24th Annual Eurocrypt Conference - Eurocrypt 2005, 2005, Aarhus/Danemark
Accès au bibtex
BibTex
titre
Gal's Accurate Tables Method Revisited
auteur
Damien Stehlé, Paul Zimmermann
article
17th IEEE Symposium on Computer Arithmetic - ARITH'17, 2005, Cape Cod/USA, pp.236-257, ⟨10.1109/ARITH.2005.24⟩
Accès au bibtex
BibTex

Chapitre d'ouvrage

titre
The Elliptic Curve Method
auteur
Paul Zimmermann
article
van Tilborg, Henk C.A. Encyclopedia of Cryptography and Security, Springer, 2005
Accès au bibtex
BibTex
titre
Quelques idées sur l'algorithmique des équations diophantiennes.
auteur
Guillaume Hanrot
article
Nicole Berline, Alain Plagne, Claude Sabbah. Journées mathématiques X-UPS 2005. Théorie algorithmique des nombres et équations diophantiennes, Ellipses, pp.157-185, 2005, 2-7302-1293-0
Accès au bibtex
BibTex

Direction d'ouvrage, Proceedings, Dossier

titre
Special issue on practical development of exact real number computation
auteur
Norbert Müller, Martin Escardo, Paul Zimmermann
article
Norbert Müller and Martin Escardo and Paul Zimmermann. Elsevier, pp.154, 2005
Accès au bibtex
BibTex

Autre publication

titre
Valeur moyennes de fonctions multiplicatives sur les entiers friables, 2
auteur
Guillaume Hanrot, Gérald Tenenbaum, Jie Wu
article
2005
Accès au bibtex
BibTex
titre
The Euclidean Division Implemented with a Floating-Point Multiplication and a Floor
auteur
Vincent Lefèvre
article
2005
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00000159/file/intdiv-mul.pdf BibTex

Rapport

titre
A double large prime variation for small genus hyperelliptic index calculus
auteur
Pierrick Gaudry, Emmanuel Thomé, Nicolas Thériault, Claus Diem
article
[Research Report] RR-5764, INRIA. 2005
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00077334/file/RR-5764.pdf BibTex
titre
MPFR: A Multiple-Precision Binary Floating-Point Library With Correct Rounding
auteur
Laurent Fousse, Guillaume Hanrot, Vincent Lefèvre, Patrick Pélissier, Paul Zimmermann
article
[Research Report] RR-5753, INRIA. 2005, pp.15
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00070266/file/RR-5753.pdf BibTex
titre
Multiple-Precision Correctly Rounded Gauss-Legendre Quadrature
auteur
Laurent Fousse
article
[Research Report] RR-5705, INRIA. 2005, pp.17
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00070311/file/RR-5705.pdf BibTex
titre
The Euclidean Division Implemented with a Floating-Point Division and a Floor
auteur
Vincent Lefèvre
article
[Research Report] RR-5604, INRIA. 2005, pp.16
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00070403/file/RR-5604.pdf BibTex
titre
Correctly Rounded Newton-Cotes Quadrature
auteur
Laurent Fousse
article
[Research Report] RR-5605, INRIA. 2005, pp.20
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00070402/file/RR-5605.pdf BibTex

Thèse

titre
Algorithmique de la réduction de réseaux et application à la recherche de pires cas pour l'arrondi de fonctions mathématiques
auteur
Damien Stehlé
article
Génie logiciel [cs.SE]. Université Henri Poincaré - Nancy I, 2005. Français
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00011150/file/THESE.pdf BibTex
titre
Spectres euclidiens et inhomogènes des corps de nombres
auteur
Jean-Paul Cerri
article
Mathématiques [math]. Université Henri Poincaré - Nancy 1, 2005. Français. ⟨NNT : 2005NAN10121⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-01746548/file/Th-cerri.pdf BibTex

2004

Article dans une revue

titre
Properness defects of projections and computation of at least one point in each connected component of a real algebraic set
auteur
Mohab Safey El Din, Eric Schost
article
Discrete and Computational Geometry, Springer Verlag, 2004, 32 (3), pp.417-430. ⟨10.1007/s00454-004-1107-5⟩
Accès au bibtex
BibTex
titre
A Simple Method for Implicitizing Rational Curves and Surfaces
auteur
Dongming Wang
article
Journal of Symbolic Computation, Elsevier, 2004, 38 (1), pp.899-914. ⟨10.1016/j.jsc.2004.02.004⟩
Accès au bibtex
BibTex
titre
Efficient isolation of polynomial's real roots
auteur
Fabrice Rouillier, Paul Zimmermann
article
Journal of Computational and Applied Mathematics, Elsevier, 2004, 162 (1), pp.33-50. ⟨10.1016/j.cam.2003.08.015⟩
Accès au bibtex
BibTex
titre
Le « dilemme du fabricant de tables » ou comment calculer juste
auteur
Anita Castiel, Vincent Lefèvre, Paul Zimmermann
article
Interstices, INRIA, 2004
Accès au bibtex
BibTex
titre
Breaking Littlewood's Cipher
auteur
Damien Stehlé
article
Cryptologia, Taylor & Francis, 2004, XXVIII (4), 17 p
Accès au bibtex
BibTex
titre
Injectivity of real rational mappings: The case of a mixture of two Gaussian laws
auteur
Daniel Lazard
article
Mathematics and Computers in Simulation, Elsevier, 2004, 67 (1-2), pp.67--84
Accès au bibtex
BibTex
titre
A long note on Mulders' short product
auteur
Guillaume Hanrot, Paul Zimmermann
article
Journal of Symbolic Computation, Elsevier, 2004, 37 (3), pp.391--401
Accès au bibtex
BibTex
titre
The Middle Product Algorithm I. Speeding up the division and square root of power series
auteur
Guillaume Hanrot, Michel Quercia, Paul Zimmermann
article
Applicable Algebra in Engineering, Communication and Computing, Springer Verlag, 2004, 14 (6), pp.415-438
Accès au bibtex
BibTex
titre
An elementary digital plane recognition algorithm
auteur
Yan Gérard, Isabelle Debled-Rennesson, Paul Zimmermann
article
Discrete Applied Mathematics, Elsevier, 2004, 17 p
Accès au bibtex
BibTex
titre
Proposal for a Standardization of Mathematical Function Implementation in Floating-Point Arithmetic
auteur
David Defour, Guillaume Hanrot, Vincent Lefèvre, Jean-Michel Muller, Nathalie Revol, Paul Zimmermann
article
Numerical Algorithms, Springer Verlag, 2004, 37 (1-4), pp.367-375
Accès au bibtex
BibTex

Communication dans un congrès

titre
The Generic Multiple-Precision Floating-Point Addition With Exact Rounding (as in the MPFR Library)
auteur
Vincent Lefèvre
article
6th Conference on Real Numbers and Computers 2004 - RNC 6, Nov 2004, Dagstuhl, Germany, pp.135-145
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00000026/file/rnc6.pdf BibTex
titre
A comparison of polynomial evaluation schemes
auteur
Laurent Fousse, Susanne Schmitt
article
6th Conference on Real Numbers and Computers (RNC6), 2004, Dagstuhl, Germany, 17 p
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00099918/file/A04-R-452.pdf BibTex
titre
Toward the Integration of Numerical Computations into the OMSCS Framework
auteur
Jacques Calmet, Vincent Lefèvre
article
7th International Workshop on Computer Algebra in Scientific Computing - CASC'2004, 2004, Saint Petersburg, Russia, pp.71-79
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00099920/file/A04-R-453.pdf BibTex
titre
Low-Dimensional Lattice Reduction Revisited (Extended Abstract)
auteur
Phong Q. Nguyen, Damien Stehlé
article
6th International Symposium on Algorithmic Number Theory - ANTS VI, 2004, Burligton, United States. pp.338--357
Accès au bibtex
BibTex
titre
A Binary Recursive Gcd Algorithm
auteur
Damien Stehlé, Paul Zimmermann
article
6th International Symposium on Algorithmic Number Theory - ANTS VI, 2004, Burligton, US, pp.411--425
Accès au bibtex
BibTex

Chapitre d'ouvrage

titre
Implicitization and Offsetting via Regular Systems
auteur
Dongming Wang
article
Chen, Falai; Wang, Dongming. Geometric Computation, 11, World Scientific, pp.156-176, 2004, Lecture Notes Series on Computing, ⟨10.1142/9789812794833_0005⟩
Accès au bibtex
BibTex

Rapport

titre
Floating-Point LLL Revisited
auteur
Phong Q. Nguyen, Damien Stehlé
article
[Research Report] RR-5387, INRIA. 2004, pp.28
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00070616/file/RR-5387.pdf BibTex
titre
Gal's Accurate Tables Method Revisited
auteur
Damien Stehlé, Paul Zimmermann
article
[Research Report] RR-5359, INRIA. 2004, pp.23
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00070644/file/RR-5359.pdf BibTex
titre
Strong Bi-homogeneous Bézout's Theorem and degree bounds for algebraic optimization
auteur
Mohab Safey El Din, Philippe Trebuchet
article
[Research Report] RR-5071, INRIA. 2004
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00071512/file/RR-5071.pdf BibTex
titre
On the practical computation of one point in each connected component of a semi-algebraic set defined by a polynomial system of equations and non-strict inequalities
auteur
Colas Le Guernic, Mohab Safey El Din
article
[Research Report] RR-5079, INRIA. 2004
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00071504/file/RR-5079.pdf BibTex
titre
Arithmétique flottante
auteur
Vincent Lefèvre, Paul Zimmermann
article
[Rapport de recherche] RR-5105, INRIA. 2004
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00071477/file/RR-5105.pdf BibTex
titre
Bernstein's basis and real root isolation
auteur
Bernard Mourrain, Fabrice Rouillier, Marie-Françoise Roy
article
[Research Report] RR-5149, INRIA. 2004
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00071434/file/RR-5149.pdf BibTex
titre
Proposal for a Standardization of Mathematical Function Implementation in Floating-Point Arithmetic
auteur
David Defour, Guillaume Hanrot, Vincent Lefèvre, Jean-Michel Muller, Nathalie Revol, Paul Zimmermann
article
[Research Report] RR-5406, INRIA. 2004
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00071249/file/RR-5406.pdf BibTex

2003

Article dans une revue

titre
The Membrane Inclusions Curvature Equations
auteur
Jean-Charles Faugère, Milena Hering, Jeff Phan
article
Advances in Applied Mathematics, Elsevier, 2003, 31 (4), pp.643-658. ⟨10.1016/S0196-8858(03)00039-3⟩
Accès au bibtex
BibTex
titre
10^2098959
auteur
Paul Zimmermann
article
Gazette du CINES, CINES, 2003
Accès au bibtex
BibTex
titre
A Fast Algorithm for Testing Reducibility of Trinomials mod 2 and Some New Primitive Trinomials of Degree 3021377
auteur
Richard P. Brent, Samuli Larvala, Paul Zimmermann
article
Mathematics of Computation, American Mathematical Society, 2003, 72 (243), pp.1443-1452
Accès au bibtex
BibTex
titre
Density results on floating-point invertible numbers
auteur
Guillaume Hanrot, Joel Rivat, Gérald Tenenbaum, Paul Zimmermann
article
Theoretical Computer Science, Elsevier, 2003, 291 (2), pp.135-141
Accès au bibtex
BibTex
titre
On-the-Fly Range Reduction
auteur
Vincent Lefèvre, Jean-Michel Muller
article
Journal of VLSI Signal Processing / J VLSI Sign Process Syst Sign Image Video Technol, Kluwer Academic Publishers, 2003, Special Issue on Computer Arithmetic and Applications, 33 (1-2), pp.31-35. ⟨10.1023/A:1021137717282⟩
Accès au bibtex
BibTex

Communication dans un congrès

titre
Polar varieties and computation of one point in each connected component of a smooth real algebraic set
auteur
Mohab Safey El Din, Eric Schost
article
International Symposium on Symbolic and Algebraic Computation 2003 - ISSAC'2003, Aug 2003, Philadelphie, PA, United States. pp.224-231, ⟨10.1145/860854.860901⟩
Accès au bibtex
BibTex
titre
Efficient decoding of (binary) cyclic codes above the correction capacity of the code using Grobner bases
auteur
Daniel Augot, Magali Bardet, Jean-Charles Faugère
article
IEEE International Symposium on Information Theory - ISIT'2003, Jun 2003, Yokohama, Japan. pp.362 - 362, ⟨10.1109/ISIT.2003.1228378⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00509269/file/AugotBardetFaugere.pdf BibTex
titre
Near-Optimal Parameterization of the Intersection of Quadrics
auteur
Laurent Dupont, Daniel Lazard, Sylvain Lazard, Sylvain Petitjean
article
19th Symposium on Computational Geometry - SoCG 2003, Jun 2003, San Diego, United States. pp.246-255, ⟨10.1145/777792.777830⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00099789/file/SoCG03.pdf BibTex
titre
Algebraic cryptanalysis of HFE and Filter Generators.
auteur
Jean-Charles Faugère
article
Cryptographic Research in Europe : Fourth NESSIE Workshop and Second STORK workshop 2003, 2003, Lund, Suède, pp.3
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00107731/file/A03-R-498.pdf BibTex
titre
Worst Cases and Lattice Reduction
auteur
Damien Stehlé, Vincent Lefèvre, Paul Zimmermann
article
16th IEEE Symposium on Computer Arithmetic 2003 - ARITH-16'03, 2003, Santiago de Compostela, Espagne, pp.142-147
Accès au bibtex
BibTex
titre
Accurate Summation: Towards a Simpler and Formal Proof
auteur
Laurent Fousse, Paul Zimmermann
article
5th Conference on Real Numbers and Computers 2003 - RNC5, 2003, Lyon, France, 11 p
Accès au bibtex
BibTex
titre
Random number generators with period divisible by a Mersenne prime
auteur
Richard Brent, Paul Zimmermann
article
International Conference on Computational Science and its Applications - ICCSA'2003, 2003, Montreal, Canada, pp.1-10
Accès au bibtex
BibTex
titre
Algebraic cryptanalysis of hidden field equation (HFE) cryptosystems using Groebner bases
auteur
Jean-Charles Faugère, Antoine Joux
article
23rd Annual International Cryptology Conference - CRYPTO 03, 2003, Santa Barbara USA, pp.44-60
Accès au bibtex
BibTex
titre
Algebraic cryptanalysis of HFE and Filter Generators
auteur
Jean-Charles Faugère
article
International Workshop on Coding and Cryptography - WCC 2003, INRIA, 2003, Versailles, France, 3 p
Accès au bibtex
BibTex
titre
Multiplication by an Integer Constant: Lower Bounds on the Code Length
auteur
Vincent Lefèvre
article
5th Conference on Real Numbers and Computers 2003 - RNC5, 2003, Lyon, France, pp.131-146
Accès au bibtex
BibTex
titre
Algorithms for finding almost irreducible and almost primitive trinomials
auteur
Richard Brent, Paul Zimmermann
article
Primes and Misdemeanours: Lectures in Honour of the Sixtieth Birthday of Hugh Cowie Williams, 2003, Banff, Canada
Accès au bibtex
BibTex
titre
Changing the ordering of Grobner Bases with LLL: Case of Two Variables
auteur
Ali Basiri, Jean-Charles Faugère
article
International Symposium on Symbolic and Algebraic Computation - ISSAC 03, 2003, Philadelphie, USA, pp.23-29
Accès au bibtex
BibTex

Chapitre d'ouvrage

titre
Efficient algorithms based on critical points method
auteur
Fabrice Rouillier
article
Algorithmic and Quantitative Real Algebraic Geometry, 60, American Mathematical Society, pp.123--138, 2003, Discrete Mathematics and Theoretical Computer Science
Accès au bibtex
BibTex
titre
Automated Generation of Diagrams with Maple and Java
auteur
Dongming Wang
article
M. Joswig, N. Takayama. Algebra, Geometry, and Software Systems, Springer-Verlag, Berlin Heidelberg, pp.277-287, 2003
Accès au bibtex
BibTex

Mémoire d'étudiant

titre
Algorithme LLL polynomial et applications
auteur
Jean-René Reinhard
article
Informatique [cs]. 2003
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01101550/file/Reinhard03.pdf BibTex

Ouvrage (y compris édition critique et traduction)

titre
Elimination Practice: Software Tools and Applications
auteur
Dongming Wang
article
Imperial College Press, London,, VIII-222 p, 2003
Accès au bibtex
BibTex
titre
Selected Lectures in Symbolic Computation
auteur
Dongming Wang
article
Tsinghua University Press, Beijing, VI-288p p, 2003
Accès au bibtex
BibTex
titre
Geometric Computation
auteur
Falai Chen, Dongming Wang
article
World Scientific Publishing Co., Singapore, VIII-412 p, 2003
Accès au bibtex
BibTex

Rapport

titre
Breaking Littlewood's cipher
auteur
Damien Stehlé
article
[Research Report] RR-4988, INRIA. 2003
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00071590/file/RR-4988.pdf BibTex
titre
Changing the ordering of Gröbner Bases with LLL: Case of Two Variables
auteur
Abdolali Basiri, Jean-Charles Faugère
article
[Research Report] RR-4746, INRIA. 2003
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00071841/file/RR-4746.pdf BibTex
titre
An Algebraic Cryptanalysis of Nonlinear Filter Generators using Gröbner bases
auteur
Jean-Charles Faugère, Gwénolé Ars
article
[Research Report] RR-4739, INRIA. 2003
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00071848/file/RR-4739.pdf BibTex
titre
Algebraic cryptanalysis of HFE using Gröbner bases
auteur
Jean-Charles Faugère
article
[Research Report] RR-4738, INRIA. 2003, pp.19
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00071849/file/RR-4738.pdf BibTex
titre
Complexity of Gröbner basis computation for Semi-regular Overdetermined sequences over F_2 with solutions in F_2
auteur
Magali Bardet, Jean-Charles Faugère, Bruno Salvy
article
[Research Report] RR-5049, INRIA. 2003
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00071534/file/RR-5049.pdf BibTex
titre
A fast and elementary algorithm for digital plane recognition
auteur
Yan Gérard, Isabelle Debled-Rennesson, Paul Zimmermann
article
[Intern report] A03-R-332 || gerard03a, 2003, 16 p
Accès au bibtex
BibTex
titre
Résolution de systèmes d'égalités et d'inégalités polynomiales
auteur
Colas Le Guernic
article
[Stage] A03-R-354 || le_guernic03a, 2003, 118 p
Accès au bibtex
BibTex

2002

Article dans une revue

titre
Real solving for positive dimensional systems
auteur
Philippe Aubry, Fabrice Rouillier, Mohab Safey El Din
article
Journal of Symbolic Computation, Elsevier, 2002, 34 (6), pp.543-560. ⟨10.1006/jsco.2002.0563⟩
Accès au bibtex
BibTex
titre
Ten Consecutive Primes In Arithmetic Progression
auteur
Harvey Dubner, Tony Forbes, Nik Lygeros, Michel Mizony, Harry Nelson, Paul Zimmermann
article
Mathematics of Computation, American Mathematical Society, 2002, 71 (239), pp.1323-1328
Accès au bibtex
BibTex
titre
Aliquot Sequence 3630 Ends After Reaching 100 Digits
auteur
Manuel Benito, Wolfgang Creyaufmueller, Juan Luis Varona, Paul Zimmermann
article
Experimental Mathematics, Taylor & Francis, 2002, 11 (2), pp.201-206
Accès au bibtex
BibTex
titre
A Proof of GMP Square Root
auteur
Yves Bertot, Nicolas Magaud, Paul Zimmermann
article
Journal of Automated Reasoning, Springer Verlag, 2002, 29 (3-4), pp.225--252. ⟨10.1023/A:1021987403425⟩
Accès au bibtex
BibTex

Communication dans un congrès

titre
GEOTHER 1.1: Handling and Proving Geometric Theorems Automatically
auteur
Dongming Wang
article
The Fourth International Workshop on Automated Deduction in Geometry - ADG 2002, Franz Winkler, Sep 2002, Hagenberg Castle, Austria. pp.194-215, ⟨10.1007/978-3-540-24616-9_12⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00107637/file/A03-R-019.pdf BibTex
titre
Using computer algebra tools to classify serial manipulators
auteur
Solen Corvez, Fabrice Rouillier
article
Fourth International Workshop on Automated Deduction in Geometry - ADG 2002, Sep 2002, Hagenberg, Austria. pp.31-43, ⟨10.1007/978-3-540-24616-9_3⟩
Accès au bibtex
BibTex
titre
Symbolic Computation: Recent Progress and New Frontiers
auteur
Paul Zimmermann
article
International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics (SCAN), Sep 2002, none
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00107625/file/A02-R-488.pdf BibTex
titre
Epsilon: A Library of Software Tools for Polynomial Elimination
auteur
Dongming Wang
article
Proceedings of the First International Congress of Mathematical Software - ICMS 2002, Aug 2002, Pékin, Chine, pp.379-389
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00107607/file/A02-R-314.pdf BibTex
titre
A new efficient algorithm for computing Gröbner bases without reduction to zero F5
auteur
Jean-Charles Faugère
article
International Symposium on Symbolic and Algebraic Computation Symposium - ISSAC 2002, Jul 2002, Villeneuve d'Ascq, France. pp.75-83, ⟨10.1145/780506.780516⟩
Accès au bibtex
BibTex
titre
Computational problems related to positive polynomials
auteur
Fabrice Rouillier
article
Workshop on positive polynomials, 2002, Oberwolfach, Germany
Accès au bibtex
BibTex
titre
An environment for Symbolic and Numeric Computation
auteur
Gabriel dos Reis, Bernard Mourrain, Philippe Trebuchet, Fabrice Rouillier
article
International Congress of Mathematical Software - ICMS'2002, 2002, Beijing, China. pp.239-249
Accès au bibtex
BibTex
titre
Real Solving and parallel robots
auteur
Fabrice Rouillier
article
Workshop on Computations and Applications in RAAG 2002, 2002, Santander, Spain
Accès au bibtex
BibTex
titre
A new efficient algorithm for computing Gröbner bases without reduction to zero
auteur
Jean-Charles Faugère
article
Eighth Rhine Workshop on Computer Algebra -RWCA 2002, 2002, Mannheim, Germany
Accès au bibtex
BibTex
titre
Discussion du nombre de solutions réelles d'un système dépendant de paramètres.
auteur
Daniel Lazard
article
Mathématiques effectives, 2002, Poitiers
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00107619/file/A02-R-440.pdf BibTex
titre
Central Configurations of Four Gravitational Masses with an Axys of Symmetry
auteur
Daniel Lazard
article
Workshop on Applications of Commutative Algebra - Catania 2002, 2002, Catania, Italie
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00107620/file/A02-R-448.pdf BibTex
titre
Central configurations of four gravitational masses with an axis of symmetry
auteur
Daniel Lazard
article
8th International Conference on Applications of Computer Algebra - ACA 2002, 2002, Volos, Grèce
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00107621/file/A02-R-454.pdf BibTex
titre
Mélange de deux lois Gaussiennes; systèmes sur-déterminés dépendant de paramètres approchés
auteur
Daniel Lazard
article
Journees LNF, Liens Calcul Numerique-Calcul Formel, 2002, Toulouse, France
Accès au bibtex
BibTex
titre
A library for arbitrary precision interval arithmetic
auteur
Nathalie Revol, Fabrice Rouillier
article
10th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics (scan2002), 2002, Paris, France
Accès au bibtex
BibTex
titre
Gröbner bases and application to HFE
auteur
Jean-Charles Faugère
article
YACC 2002 - Conference on Cryptography, 2002, Porquerolles, France
Accès au bibtex
BibTex
titre
A new efficient algorithm for computing Gröbner bases without reduction to zero
auteur
Jean-Charles Faugère
article
Workshop on application of Groebner Bases 2002, 2002, Catania, Spain
Accès au bibtex
BibTex
titre
Outils pour l'étude des zéros réels de systèmes algébriques
auteur
Fabrice Rouillier
article
Colloque Mathématiques Effectives, 2002, Poitiers, France
Accès au bibtex
BibTex
titre
Classification of all planar central configurations of N bodies with equal masses in the case of the logarithmic potential and N < 8
auteur
Jean-Charles Faugère
article
8th International Conference on Applications of Computer Algebra - ACA 2002, 2002, Volos, Greece
Accès au bibtex
BibTex
titre
Outils pour l'Etude des Zéros Réels de Systèmes Algébriques
auteur
Fabrice Rouillier
article
Journées de Géométrie Algorithmique - JGA'02, 2002, Obernai, France
Accès au bibtex
BibTex
titre
Motivations for an arbitrary precision interval arithmetic and the mpfi library
auteur
Nathalie Revol, Fabrice Rouillier
article
SIAM Workshop on Validated Computing 2002, 2002, Toronto, Canada. pp.155-161
Accès au bibtex
BibTex

Chapitre d'ouvrage

titre
Towards the Robust Intersection of Implicit Quadrics
auteur
Laurent Dupont, Daniel Lazard, Sylvain Lazard, Sylvain Petitjean
article
J. Winkler and M. Niranjan. Uncertainty in Geometric Computations, Kluwer Academic Publishers, pp.59-68, 2002, International Series in Engineering and Computer Science
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00100878/file/sheffield_09_2001.pdf BibTex
titre
The Elliptic Curve Method
auteur
Paul Zimmermann
article
none. Encyclopedia of Information Security, Kluwer, 2002
Accès au bibtex
BibTex
titre
Solving Quintics by Radicals
auteur
Daniel Lazard
article
none. The Legacy of Niels Henrik Abel, Springer, 2002
Accès au bibtex
BibTex

Ouvrage (y compris édition critique et traduction)

titre
Méthodes d'élimination avec applications
auteur
Dongming Wang
article
Science Press, Pékin, XVI-302 p, 2002
Accès au bibtex
BibTex

Rapport

titre
Multiplication by an Integer Constant: Lower Bounds on the Code Length
auteur
Vincent Lefèvre
article
[Research Report] RR-4493, INRIA. 2002, pp.15
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00072095/file/RR-4493.pdf BibTex
titre
Efficient Decoding of (binary) Cyclic Codes beyond the correction capacity of the code using Gröbner bases
auteur
Daniel Augot, Magali Bardet, Jean-Charles Faugère
article
[Research Report] RR-4652, INRIA. 2002
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00071933/file/RR-4652.pdf BibTex
titre
Worst Cases and Lattice Reduction
auteur
Damien Stehlé, Vincent Lefèvre, Paul Zimmermann
article
[Research Report] RR-4586, INRIA. 2002
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00071999/file/RR-4586.pdf BibTex
titre
A long note on Mulders' short product
auteur
Guillaume Hanrot, Paul Zimmermann
article
[Research Report] RR-4654, INRIA. 2002
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00071931/file/RR-4654.pdf BibTex
titre
The Middle Product Algorithm, I.
auteur
Guillaume Hanrot, Michel Quercia, Paul Zimmermann
article
[Research Report] RR-4664, INRIA. 2002
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00071921/file/RR-4664.pdf BibTex
titre
Using computer algebra tools to classify serial cuspidal manipulators
auteur
Solen Corvez, Fabrice Rouillier
article
[Research Report] RR-4653, INRIA. 2002
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00071932/file/RR-4653.pdf BibTex
titre
Properness defects of projections and computation of one point in each connected component of a real algebraic set
auteur
Mohab Safey El Din, Eric Schost
article
[Research Report] RR-4598, INRIA. 2002
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00071987/file/RR-4598.pdf BibTex
titre
A proof of GMP square root using the Coq assistant
auteur
Yves Bertot, Nicolas Magaud, Paul Zimmermann
article
[Research Report] RR-4475, INRIA. 2002
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00072113/file/RR-4475.pdf BibTex
titre
Error analysis for an arbitrary precision in computing zeta(s) with the Cohen-Olivier algorithm : complete description of the real case and preliminary report on the general case
auteur
Yves Pétermann, Jean-Luc Rémy
article
[Intern report] A02-R-386 || petermann02a, 2002
Accès au bibtex
BibTex
titre
On the Cohen-Olivier algorithm for computing zeta(s): error analysis in the real case for an arbitrary precision
auteur
Yves Pétermann, Jean-Luc Rémy
article
[Intern report] A02-R-387 || petermann02b, 2002
Accès au bibtex
BibTex
titre
A Binary Recursive Gcd Algorithm
auteur
Damien Stehlé, Paul Zimmermann
article
[Research Report] RR-5050, INRIA. 2002
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00071533/file/RR-5050.pdf BibTex
titre
Motivations for an arbitrary precision interval arithmetic and the MPFI library
auteur
Nathalie Revol, Fabrice Rouillier
article
[Research Report] RR-4498, LIP RR-2002-27, INRIA, LIP. 2002
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00072090/file/RR-4498.pdf BibTex

2001

Article dans une revue

titre
Russian Killer'' No. 2: A Challenging Geometric Theorem with Human and Machine Proofs
auteur
Xiaorong Hou, Hongbo Li, Dongming Wang, Lu Yang
article
The Mathematical Intelligencer, 2001, 23 (1), pp.9-15. ⟨10.1007/BF03024512⟩
Accès au bibtex
BibTex
titre
Solving systems of algebraic equations
auteur
Daniel Lazard
article
ACM SIGSAM Bulletin, 2001, 35 (3), pp.11-37. ⟨10.1145/569746.569750⟩
Accès au bibtex
BibTex
titre
Arithmétique en précision arbitraire
auteur
Paul Zimmermann
article
Réseaux et systèmes répartis, calculateurs Parallèles, 2001, 13 (4-5), 29 p
Accès au bibtex
BibTex
titre
Almost perfect powers in consecutive integers
auteur
Guillaume Hanrot, Natarajan Saradha, Tarlok Shorey
article
Acta Arithmetica, Instytut Matematyczny PAN, 2001, 99 (1), pp.13--25
Accès au bibtex
BibTex
titre
Existence of primitive divisors of Lucas and Lehmer numbers
auteur
Yuri Bilu, Guillaume Hanrot, Paul Voutier
article
Journal für die reine und angewandte Mathematik, Walter de Gruyter, 2001, 539, pp.75-122
Accès au bibtex
BibTex
titre
Multiplication par une constante
auteur
Vincent Lefèvre
article
Réseaux et systèmes répartis, calculateurs Parallèles, 2001, 13 (4-5), pp.465-484
Accès au bibtex
BibTex

Communication dans un congrès

titre
On the specification for solvers of polynomial systems
auteur
Daniel Lazard
article
5th Asian Symposium on Computer Mathematics - ASCM 2001, Sep 2001, Matsuyama, Japan. pp.66 - 75, ⟨10.1142/9789812799661_0007⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00107534/file/A01-R-296.pdf BibTex
titre
A Generalized Algorithm for Computing Characteristic Sets
auteur
Dongming Wang
article
The Fifth Asian Symposium on Computer Mathematics - ASCM'2001, Sep 2001, Matsuyama, Japan. pp.165-174, ⟨10.1142/9789812799661_0018⟩
Accès au bibtex
BibTex
titre
Finding all the Solutions of Cyclic 9 using Gröbner Basis Techniques
auteur
Jean-Charles Faugère
article
Fifth Asian Symposium on Computer Mathematics - ASCM'2001, Sep 2001, Matsuyama, Japan. pp.1--12, ⟨10.1142/9789812799661_0001⟩
Accès au bibtex
BibTex
titre
Résolution numérique des systèmes algébriques par des techniques exactes : application à la mécanique céleste
auteur
Daniel Lazard
article
Congrès national de mathématiques appliquées et industrielles, SMAI 2001, May 2001, Pompadour, France. pp.159-160
Accès au bibtex
BibTex
titre
Efficient Agorithms Based on the Critical Point Method
auteur
Fabrice Rouillier
article
DIMACS Workshop on Algorithmic and Quantitative Aspects of Real Algebraic Geometry in Mathematics and Computer Science, Mar 2001, Rutgers, United States. pp.123-138
Accès au bibtex
BibTex
titre
Introduction to Algebraic Methods for Solving the Forward Kinematics Problem of Parallel Robots applied to High Throughput and High Accuracy
auteur
Luc Rolland
article
Third European-Asian Congress on Mecatronics, Laboratoire Automatique de Besançon, 2001, Besançon, France, 10 p
Accès au bibtex
BibTex
titre
Solvability by radicals from an algorithmic point of view
auteur
Guillaume Hanrot, François Morain
article
International Symposium on Symbolic and Algebraic Computation - ISSAC'2001, 2001, London, Ontario, Canada, 18 p
Accès au bibtex
BibTex
titre
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
auteur
Luc Rolland
article
Quatrièmes Journées du Pôle Microrobotique, Laboratoire d'Automatique Industrielle, 2001, Lyon, France, 9 p
Accès au bibtex
BibTex
titre
Robust parallel robot calibration with partial information.
auteur
David Daney, Ioannis Z. Emiris
article
IEEE International Conference on Robotics and Automation - ICRA'2001, 2001, Corée, Séoul, 6 p
Accès au bibtex
BibTex
titre
Variable elimination for reliable parallel robot calibration
auteur
David Daney, Ioannis Z. Emiris
article
In 2nd Workshop on Computational Kinematics - CK'2001, School of Mechanical and Aerospace Engineering, 2001, Seoul, Korea, 12 p
Accès au bibtex
BibTex
titre
Systèmes d'équations algébriques et robots parallèles
auteur
Daniel Lazard
article
Journées nationales de la recherche en robotique - JNRR'2001, P. Rives et D. Meizel, 2001, Presqu'île de Giens, France. 6 p
Accès au bibtex
BibTex
titre
Solving polynomial systems. Algorithms and Applications.
auteur
Jean-Charles Faugère
article
Computer Algebra in Applications to Integrable Systems, 2001, Cambridge, England
Accès au bibtex
BibTex
titre
Optimality of the parameterization of quadrics and their intersections
auteur
Daniel Lazard
article
Journées de cloture Visi3D et CoSTIC, 2001, Paris, France
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00099402/file/A01-R-441.pdf BibTex
titre
Worst Cases for Correct Rounding of the Elementary Functions in Double Precision
auteur
Vincent Lefèvre, Jean-Michel Muller
article
15th IEEE Symposium on Computer Arithmetic - ARITH 2001, 2001, Vail, Colorado, pp.111-118
Accès au bibtex
BibTex

Chapitre d'ouvrage

titre
Geometric Reasoning with Geometric Algebra
auteur
Dongming Wang
article
E. Bayro-Corrochano and G. Sobczyk. Geometric Algebra with Applications in Science and Engineering, Birkhäuser, pp.87-109, 2001, ⟨10.1007/978-1-4612-0159-5_5⟩
Accès au bibtex
BibTex
titre
A Method for Multivariate Polynomial Factorization over Successive Algebraic Extension Fields
auteur
Dongming Wang, Dongdai Lin
article
D. Lin; W. Li; Y. Yu. Mathematics and Mathematics-Mechanization, Shandong Education Publishing House, pp.138-172, 2001
Accès au bibtex
BibTex
titre
Elimination Theory, Methods, and Practice
auteur
Dongming Wang
article
D. Lin, W. Li and Y. Yu. Mathematics and Mathematics-Mechanization, Shandong Education Publishing House, pp.91-137, 2001
Accès au bibtex
BibTex

Direction d'ouvrage, Proceedings, Dossier

titre
Automated Deduction in Geometry - ADG 2000 Revised Papers
auteur
Jürgen Richter-Gebert, Dongming Wang
article
Springer, 325 p, 2001, Lecture Notes in Artificial Intelligence
Accès au bibtex
BibTex

HDR

titre
De l'algorithmique à l'arithmétique via le calcul formel
auteur
Paul Zimmermann
article
Génie logiciel [cs.SE]. Université Henri Poincaré - Nancy I, 2001
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00526731/file/hdr.pdf BibTex

Ouvrage (y compris édition critique et traduction)

titre
Elimination Methods
auteur
Dongming Wang
article
Springer-Verlag, 244 p, 2001, Texts and Monographs in Symbolic Computation
Accès au bibtex
BibTex

Rapport

titre
Solvability by Radicals from an Algorithmic Point of View
auteur
Guillaume Hanrot, François Morain
article
[Research Report] RR-4109, INRIA. 2001
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00072522/file/RR-4109.pdf BibTex
titre
Efficient Isolation of a Polynomial Real Roots
auteur
Fabrice Rouillier, Paul Zimmermann
article
[Research Report] RR-4113, INRIA. 2001
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00072518/file/RR-4113.pdf BibTex
titre
Tuning and Generalizing Van Hoeij's Algorithm
auteur
Karim Belabas, Guillaume Hanrot, Paul Zimmermann
article
[Research Report] RR-4124, INRIA. 2001
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00072504/file/RR-4124.pdf BibTex
titre
Arithmétique en précision arbitraire
auteur
Paul Zimmermann
article
[Rapport de recherche] RR-4272, INRIA. 2001
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00072315/file/RR-4272.pdf BibTex
titre
Multiplication by an Integer Constant
auteur
Vincent Lefèvre
article
[Research Report] RR-4192, INRIA. 2001
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00072430/file/RR-4192.pdf BibTex

2000

Article dans une revue

titre
Using Galois ideals for computing relative resolvents
auteur
Philippe Aubry, Annick Valibouze
article
Journal of Symbolic Computation, Elsevier, 2000, 30 (6), pp.635--651. ⟨10.1006/jsco.2000.0376⟩
Accès au bibtex
BibTex
titre
Finding at least one point in each connected component of a real algebraic set defined by a single equation
auteur
Fabrice Rouillier, Marie-Françoise Roy, Mohab Safey El Din
article
Journal of Complexity, Elsevier, 2000, 16 (4), pp.716-750. ⟨10.1006/jcom.2000.0563⟩
Accès au bibtex
BibTex
titre
New structure theorems for subresultants
auteur
Henri Lombardi, Marie-Françoise Roy, Mohab Safey El Din
article
Journal of Symbolic Computation, Elsevier, 2000, 29 (4-5), pp.663-690. ⟨10.1006/jsco.1999.0322⟩
Accès au bibtex
BibTex
titre
Calcul formel : tendances et progrès récents
auteur
Daniel Lazard
article
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, Lavoisier, 2000, 19 (1-2-3), pp.325-333
Accès au bibtex
BibTex

Communication dans un congrès

titre
Resolution of polynomial systems
auteur
Daniel Lazard
article
4th Asian Symposium on Computer Mathematics - ASCM 2000, Dec 2000, Chiang Mai, Thailand. pp.1 - 8
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00107866/file/A00-R-469.pdf BibTex
titre
Solving the Birkhoff interpolation problem via the critical point method: an experimental study
auteur
Fabrice Rouillier, Mohab Safey El Din, Eric Schost
article
Third International Workshop on Automated Deduction in Geometry - ADG'2000, Sep 2000, Zurich, Switzerland. pp.26-40, ⟨10.1007/3-540-45410-1_3⟩
Accès au bibtex
BibTex
titre
Reasoning about Surfaces Using Differential Zero and Ideal Decomposition
auteur
Philippe Aubry, Dongming Wang
article
Third International Workshop on Automated Deduction in Geometry - ADG'2000, J. Richter-Gebert, D. Wang, 2000, Zurich, Switzerland, pp.154-174
Accès au bibtex
BibTex
titre
Subresultants with the Bézout Matrix
auteur
Xiaorong Hou, Dongming Wang
article
The Fourth Asian Symposium on Computer Mathematics, 2000, Chiang Mai, Thailand, pp.19-28
Accès au bibtex
BibTex

Direction d'ouvrage, Proceedings, Dossier

titre
Computer Mathematics - Proceedings of the Fourth Asian Symposium - ASCM'2000
auteur
Xiao-Shan Gao, Dongming Wang
article
World Scientific Publishing Co., 336 p, 2000, Lecture Notes Series on Computing
Accès au bibtex
BibTex

Rapport

titre
A Fast Algorithm for Testing Irreducibility of Trinomials mod 2
auteur
Richard P. Brent, Samuli Larvala, Paul Zimmermann
article
[Intern report] A00-R-465 || brent00a, 2000, 13 p
Accès au bibtex
BibTex

Suivez Inria