A Gröbner free alternative for polynomial system solving (2001)

by Marc Giusti , Grégoire Lecerf , Bruno Salvy
Venue:Journal of Complexity
Citations:89 - 17 self

Active Bibliography

Jean-Pierre Ramis, président, – Spécialités Mathématiques Et Informatique, Alin Bostan, Richard Brent, Marc Giusti, François Morain, Bruno Salvy Examinateurs
§1. UFD Lecture II Page 43 Lecture II The GCD – unknown authors
§1. Problem of Algebra Lecture 0 Page 1 Lecture 0 – unknown authors
20 Computing Parametric Geometric Resolutions – Eric Schost - 2001
1 Algebraic algorithms – Angel Diaz, Ioannis Z. Emiris, Erich Kaltofen, Victor Y. Pan
16 Fast algorithms for zero-dimensional polynomial systems using duality – Alin Bostan, Bruno Salvy, Éric Schost - 2001
542 Parallel Numerical Linear Algebra – James W. Demmel, Michael T. Heath , Henk A. van der Vorst - 1993
535 Program Analysis and Specialization for the C Programming Language – Lars Ole Andersen - 1994
2474 Compositional Model Checking – E. M. Clarke, D. E. Long, K. L. Mcmillan - 1999