Filtrer vos résultats
- 39
- 13
- 27
- 13
- 5
- 5
- 1
- 1
- 5
- 52
- 2
- 1
- 9
- 12
- 12
- 9
- 6
- 3
- 49
- 3
- 52
- 50
- 50
- 5
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 21
- 14
- 7
- 6
- 4
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
52 résultats
|
|
triés par
|
Computational problems related to positive polynomialsWorkshop on positive polynomials, 2002, Oberwolfach, Germany
Communication dans un congrès
inria-00100983v1
|
|||
|
Resolution of polynomial systems4th Asian Symposium on Computer Mathematics - ASCM 2000, Dec 2000, Chiang Mai, Thailand. pp.1 - 8
Communication dans un congrès
inria-00107866v1
|
||
|
Complexity of Gröbner basis computation for Semi-regular Overdetermined sequences over F_2 with solutions in F_2[Research Report] RR-5049, INRIA. 2003
Rapport
inria-00071534v1
|
||
Using Computer algebra tools for off-line studies of parallel manipulatorsInternational Conference on Applications of Computer Algebra (ACA'99), Jun 1999, Madrid, Spain
Communication dans un congrès
hal-01434763v1
|
|||
Design of filter and filter banks using dedicated Computer Algebra ToolsInternational Conference on Applications of Computer Algebra (ACA'99), Jun 1999, Madrid, Spain
Communication dans un congrès
hal-01434764v1
|
|||
Symbolic Recipes for Polynomial System SolvingA.M. Cohen, H. Cuypers and H. Sterk. Some Tapas of Computer Algebra, 4, Springer, pp.34-65, 1998, Algorithms and Computation in Mathematics, 3-540-63480-0. ⟨10.1007/978-3-662-03891-8_2⟩
Chapitre d'ouvrage
istex
inria-00098570v1
|
|||
Efficient algorithms based on critical points methodAlgorithmic and Quantitative Real Algebraic Geometry, 60, American Mathematical Society, pp.123--138, 2003, Discrete Mathematics and Theoretical Computer Science
Chapitre d'ouvrage
hal-01434757v1
|
|||
|
Efficient isolation of polynomial's real rootsJournal of Computational and Applied Mathematics, 2004, 162 (1), pp.33-50. ⟨10.1016/j.cam.2003.08.015⟩
Article dans une revue
inria-00099941v1
|
||
|
Properness defects of projections and computation of one point in each connected component of a real algebraic set[Research Report] RR-4598, INRIA. 2002
Rapport
inria-00071987v1
|
||
|
GEOTHER 1.1: Handling and Proving Geometric Theorems AutomaticallyThe 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⟩
Communication dans un congrès
inria-00107637v1
|
||
Motivations for an arbitrary precision interval arithmetic and the mpfi librarySIAM Workshop on Validated Computing 2002, 2002, Toronto, Canada. pp.155-161
Communication dans un congrès
inria-00100985v1
|
|||
Systèmes d'équations algébriques et robots parallèlesJournées nationales de la recherche en robotique - JNRR'2001, P. Rives et D. Meizel, 2001, Presqu'île de Giens, France. 6 p
Communication dans un congrès
inria-00100602v1
|
|||
|
Real Solving for Positive Dimensional Systems[Research Report] RR-3992, INRIA. 2000, pp.20
Rapport
inria-00072654v1
|
||
Résolution numérique des systèmes algébriques par des techniques exactes : application à la mécanique célesteCongrès national de mathématiques appliquées et industrielles, SMAI 2001, May 2001, Pompadour, France. pp.159-160
Communication dans un congrès
inria-00100646v1
|
|||
|
Real solving for positive dimensional systemsJournal of Symbolic Computation, 2002, 34 (6), pp.543-560. ⟨10.1006/jsco.2002.0563⟩
Article dans une revue
inria-00100982v1
|
||
Solving systems of algebraic equationsSigsam Bulletin, 2001, 35 (3), pp.11-37. ⟨10.1145/569746.569750⟩
Article dans une revue
inria-00100674v1
|
|||
|
An Algebraic Cryptanalysis of Nonlinear Filter Generators using Gröbner bases[Research Report] RR-4739, INRIA. 2003
Rapport
inria-00071848v1
|
||
An environment for Symbolic and Numeric ComputationInternational Congress of Mathematical Software - ICMS'2002, 2002, Beijing, China. pp.239-249
Communication dans un congrès
inria-00100984v1
|
|||
Efficient Agorithms Based on the Critical Point MethodDIMACS Workshop on Algorithmic and Quantitative Aspects of Real Algebraic Geometry in Mathematics and Computer Science, Mar 2001, Rutgers, United States. pp.123-138
Communication dans un congrès
hal-01434759v1
|
|||
|
Using Galois ideals for computing relative resolventsJournal of Symbolic Computation, 2000, 30 (6), pp.635--651. ⟨10.1006/jsco.2000.0376⟩
Article dans une revue
inria-00099277v1
|
||
Polar varieties and computation of one point in each connected component of a smooth real algebraic setInternational Symposium on Symbolic and Algebraic Computation 2003 - ISSAC'2003, Aug 2003, Philadelphie, PA, United States. pp.224-231, ⟨10.1145/860854.860901⟩
Communication dans un congrès
inria-00099649v1
|
|||
A Method for Multivariate Polynomial Factorization over Successive Algebraic Extension FieldsD. Lin; W. Li; Y. Yu. Mathematics and Mathematics-Mechanization, Shandong Education Publishing House, pp.138-172, 2001
Chapitre d'ouvrage
inria-00100620v1
|
|||
Planar maps and Airy phenomenaInternational Colloquium on Automata, Languages, & Programming - ICALP'2000, Jul 2000, Genève, Switzerland. pp.388-402, ⟨10.1007/3-540-45022-X_33⟩
Communication dans un congrès
istex
inria-00099359v1
|
|||
Classification of all planar central configurations of N bodies with equal masses in the case of the logarithmic potential and N < 88th International Conference on Applications of Computer Algebra - ACA 2002, 2002, Volos, Greece
Communication dans un congrès
inria-00100999v1
|
|||
Finding all the Solutions of Cyclic 9 using Gröbner Basis TechniquesFifth Asian Symposium on Computer Mathematics - ASCM'2001, Sep 2001, Matsuyama, Japan. pp.1--12, ⟨10.1142/9789812799661_0001⟩
Communication dans un congrès
inria-00100597v1
|
|||
A new efficient algorithm for computing Gröbner bases without reduction to zeroWorkshop on application of Groebner Bases 2002, 2002, Catania, Spain
Communication dans un congrès
inria-00100997v1
|
|||
|
Circular Cylinders by Four or Five Points in SpaceDiscrete and Computational Geometry, 2002, 29 (1), pp.83--104. ⟨10.1007/s00454-002-2811-7⟩
Article dans une revue
inria-00090648v1
|
||
Geometric Reasoning with Geometric AlgebraE. 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⟩
Chapitre d'ouvrage
istex
inria-00100621v1
|
|||
|
Computing representations for radicals of finitely generated differential ideals1999
Pré-publication, Document de travail
hal-00139061v1
|
||
|
Finding at least one point in each connected component of a real algebraic set defined by a single equationJournal of Complexity, 2000, 16 (4), pp.716-750. ⟨10.1006/jcom.2000.0563⟩
Article dans une revue
inria-00099275v1
|
- 1
- 2