| Publication | Date of Publication | Type |
|---|
A Kronecker algorithm for locally closed sets over a perfect field
Applicable Algebra in Engineering, Communication and Computing | 2026-04-20 | Paper |
An unfeasibility view of neural network learning
Journal of Complexity | 2023-02-17 | Paper |
| Intrinsic complexity for constructing zero-dimensional Gröbner bases | 2022-12-21 | Paper |
On Bézout inequalities for non-homogeneous polynomial ideals
Journal of Symbolic Computation | 2021-06-03 | Paper |
Quiz games as a model for information hiding
Journal of Complexity | 2016-04-20 | Paper |
On the intrinsic complexity of elimination problems in effective algebraic geometry
Recent Advances in Real Complexity and Computation | 2015-08-04 | Paper |
Polar, bipolar and copolar varieties: real solving of algebraic varieties with intrinsic complexity
Recent Advances in Real Complexity and Computation | 2015-08-04 | Paper |
Degeneracy loci and polynomial equation solving
Foundations of Computational Mathematics | 2015-04-20 | Paper |
Intrinsic complexity estimates in polynomial optimization
Journal of Complexity | 2014-07-15 | Paper |
Point searching in real singularcomplete intersection varieties: algorithms of intrinsic complexity
Mathematics of Computation | 2014-01-22 | Paper |
Efficient evaluation of specific queries in constraint databases
Information Processing Letters | 2013-04-04 | Paper |
Software engineering and complexity in effective algebraic geometry
Journal of Complexity | 2013-01-14 | Paper |
Evaluating geometric queries using few arithmetic operations
Applicable Algebra in Engineering, Communication and Computing | 2012-12-13 | Paper |
Algorithms of intrinsic complexity for point searching in compact real singular hypersurfaces
Foundations of Computational Mathematics | 2012-07-03 | Paper |
Bipolar varieties and real solving of a singular polynomial equation
Jaen Journal on Approximation | 2012-07-02 | Paper |
| Generalized polar varieties and an efficient real elimination. | 2012-04-23 | Paper |
| Generalized polar varieties and an efficient real elimination. | 2012-04-23 | Paper |
Lower complexity bounds for interpolation algorithms
Journal of Complexity | 2011-04-13 | Paper |
On the intrinsic complexity of point finding in real singular hypersurfaces
Information Processing Letters | 2010-09-01 | Paper |
On the geometry of polar varieties
Applicable Algebra in Engineering, Communication and Computing | 2010-03-01 | Paper |
Constraint Databases
Lecture Notes in Computer Science | 2006-01-10 | Paper |
Generalized polar varieties: geometry and algorithms
Journal of Complexity | 2005-09-02 | Paper |
| Kronecker's smart, little black boxes | 2002-02-07 | Paper |
On the time-space complexity of geometric elimination procedures
Applicable Algebra in Engineering, Communication and Computing | 2001-07-22 | Paper |
| scientific article; zbMATH DE number 1552220 (Why is no real title available?) | 2001-07-03 | Paper |
Polar varieties and efficient real elimination
Mathematische Zeitschrift | 2001-01-01 | Paper |
Straight-line programs in geometric elimination theory
Journal of Pure and Applied Algebra | 2000-05-29 | Paper |
Deformation techniques for efficient polynomial equation solving.
Journal of Complexity | 2000-01-01 | Paper |
Time-space tradeoffs in algebraic complexity theory
Journal of Complexity | 2000-01-01 | Paper |
| scientific article; zbMATH DE number 589123 (Why is no real title available?) | 1999-09-30 | Paper |
Le rapport entre le temps et l'espace pour l'évaluation des polynômes
Comptes Rendus de l'Académie des Sciences - Series I - Mathematics | 1999-06-20 | Paper |
| The intrinsic complexity of parametric elimination methods | 1999-03-18 | Paper |
The intrinsic complexity of parametric elimination methods
(available as arXiv preprint) | 1999-03-18 | Paper |
| The intrinsic complexity of parametric elimination methods | 1999-03-18 | Paper |
| Polar Varieties and Efficient Real Equation Solving: The Hypersurface Case | 1999-03-09 | Paper |
Polar Varieties and Efficient Real Equation Solving: The Hypersurface Case
(available as arXiv preprint) | 1999-03-09 | Paper |
| scientific article; zbMATH DE number 1222560 (Why is no real title available?) | 1999-03-02 | Paper |
| scientific article; zbMATH DE number 1057749 (Why is no real title available?) | 1998-12-07 | Paper |
Le rôle des structures de données dans les problèmes d'élimination
Comptes Rendus de l'Académie des Sciences - Series I - Mathematics | 1998-04-20 | Paper |
Polar varieties, real equation solving, and data structures: the hypersurface case
Journal of Complexity | 1997-07-28 | Paper |
Lower bounds for diophantine approximations
Journal of Pure and Applied Algebra | 1997-06-23 | Paper |
| scientific article; zbMATH DE number 806915 (Why is no real title available?) | 1996-01-22 | Paper |
On the intrinsic complexity of elimination theory
Journal of Complexity | 1994-08-17 | Paper |
Description of the connected components of a semialgebraic set in single exponential time
Discrete & Computational Geometry | 1994-04-21 | Paper |
Une borne optimale pour la programmation entière quasi-convexe
Bulletin de la Société mathématique de France | 1993-10-20 | Paper |
Une borne optimale pour la programmation entière quasi-convexe
Bulletin de la Société mathématique de France | 1993-10-20 | Paper |
Algorithmic aspects of Suslin's proof of Serre's conjecture
Computational Complexity | 1993-08-30 | Paper |
On the efficiency of effective Nullstellensätze
Computational Complexity | 1993-08-23 | Paper |
| scientific article; zbMATH DE number 125290 (Why is no real title available?) | 1993-02-21 | Paper |
On the Theoretical and Practical Complexity of the Existential Theory of Reals
The Computer Journal | 1993-01-01 | Paper |
| scientific article; zbMATH DE number 66679 (Why is no real title available?) | 1992-09-27 | Paper |
Search for shortest path around semialgebraic obstacles in the plane
Journal of Mathematical Sciences (New York) | 1992-09-27 | Paper |
| scientific article; zbMATH DE number 27176 (Why is no real title available?) | 1992-06-27 | Paper |
Equations for the projective closure and effective Nullstellensatz
Discrete Applied Mathematics | 1992-06-27 | Paper |
| scientific article; zbMATH DE number 16651 (Why is no real title available?) | 1992-06-26 | Paper |
| scientific article; zbMATH DE number 17835 (Why is no real title available?) | 1992-06-26 | Paper |
| scientific article; zbMATH DE number 17838 (Why is no real title available?) | 1992-06-26 | Paper |
| scientific article; zbMATH DE number 8550 (Why is no real title available?) | 1992-06-25 | Paper |
Sur la complexité du principe de Tarski-Seidenberg
Bulletin de la Société mathématique de France | 1992-06-25 | Paper |
Sur la complexité du principe de Tarski-Seidenberg
Bulletin de la Société mathématique de France | 1992-06-25 | Paper |
| scientific article; zbMATH DE number 4216992 (Why is no real title available?) | 1991-01-01 | Paper |
| scientific article; zbMATH DE number 4133835 (Why is no real title available?) | 1990-01-01 | Paper |
| scientific article; zbMATH DE number 4112009 (Why is no real title available?) | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4154415 (Why is no real title available?) | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4123298 (Why is no real title available?) | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4123858 (Why is no real title available?) | 1988-01-01 | Paper |
Real quantifier elimination is doubly exponential
Journal of Symbolic Computation | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 3999285 (Why is no real title available?) | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3968824 (Why is no real title available?) | 1986-01-01 | Paper |
On polynomials with symmetric Galois group which are easy to compute
Theoretical Computer Science | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3946096 (Why is no real title available?) | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 4005610 (Why is no real title available?) | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3846868 (Why is no real title available?) | 1983-01-01 | Paper |
Definability and fast quantifier elimination in algebraically closed fields
Theoretical Computer Science | 1983-01-01 | Paper |
Commutative algebras of minimal rank
Linear Algebra and its Applications | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3759547 (Why is no real title available?) | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3723860 (Why is no real title available?) | 1981-01-01 | Paper |
Lower bounds for polynomials with algebraic coefficients
Theoretical Computer Science | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3685447 (Why is no real title available?) | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3633716 (Why is no real title available?) | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3534486 (Why is no real title available?) | 1976-01-01 | Paper |
