|
|
Parametric linear arithmetic over ordered fields in Isabelle/HOL
– Amine Chaieb
|
|
|
Fast Algorithms, Modular Methods, Parallel Approaches and Software Engineering for Solving Polynomial Systems Symbolically
– Yuzhen Xie
- 2007
|
|
7
|
Multiple view geometry of non-planar algebraic curves
– J. Yermiyahu Kaminski, Michael Fryers, Amnon Shashua, Mina Teicher
- 2001
|
|
6
|
Multiple View Geometry of General Algebraic Curves
– J. Y. Kaminski , Amnon Shashua
|
|
6
|
Variant quantifier elimination
– Hoon Hong, Mohab Safey, El Din
- 2011
|
|
1
|
Symbolic-numeric methods for solving polynomial equations
– B. Mourrain
|
|
4
|
Fast computation of a rational point of a variety over a finite field
– A. Cafure, G. Matera
- 2006
|
|
18
|
Computing Parametric Geometric Resolutions
– Eric Schost
- 2001
|
|
5
|
Strong bi-homogeneous Bézout theorem and its use in effective real algebraic geometry
– M. Safey El Din, P. Trébuchet
- 2006
|
|
14
|
Fast algorithms for zero-dimensional polynomial systems using duality
– Alin Bostan, Bruno Salvy, Éric Schost
- 2001
|
|
55
|
Numerical Decomposition of the Solution Sets of Polynomial Systems into Irreducible Components
– Andrew J. Sommese, Jan Verschelde, Charles W. Wampler
- 2001
|
|
11
|
On Asymptotic Security Estimates in XL and Gröbner Bases-Related Algebraic Cryptanalysis
– Bo-yin Yang, Jiun-ming Chen, Nicolas T. Courtois
- 2004
|
|
5
|
Stable normal forms for polynomial system solving, in "Theoretical
– Bernard Mourrain
|
|
5
|
Computing Loci of Rank Defects of Linear Matrices using Gröbner Bases and Applications to Cryptology
– Jean-Charles Faugère, Mohab Safey El Din, Pierre-Jean Spaenlehauer
|
|
3
|
Gröbner bases of bihomogeneous ideals generated by polynomials of bidegree (1,1): Algorithms and complexity
– Jean-charles Faugère, Mohab Safey El Din, Pierre-Jean Spaenlehauer
- 2010
|
|
|
Motivation and Problem Statement. Solving multivariate quadratic polynomial
– Magali Bardet A, Jean-charles Faugère B, Bruno Salvy E
|
|
3
|
Gröbner bases in difference-differential modules
– Franz Winkler
- 2006
|
|
1
|
Computing and Proving with Integro-Differential Polynomials in Theorema
– Loredana Tec
|
|
|
1.1 Mathematical Proofs Based on Strong Geometric Intuition —
– Krystyna Kuperberg
- 2011
|
