Computer Algebra: Past and Future
Journal of Symbolic Computation
ACM SIGSAM Bulletin
Algebraic decomposition of regular curves
SYMSAC '86 Proceedings of the fifth ACM symposium on Symbolic and algebraic computation
Geometry theorem proving using Hilbert's Nullstellensatz
SYMSAC '86 Proceedings of the fifth ACM symposium on Symbolic and algebraic computation
Some aspects of complexity in real algebraic geometry
Journal of Symbolic Computation
Algebraic decomposition of regular curves
Journal of Symbolic Computation
An improved projection operation for cylindrical algebraic decomposition of three-dimensional space
Journal of Symbolic Computation
An adjacency algorithm for cylindrical algebraic decompositions of three-dimenslonal space
Journal of Symbolic Computation
A cluster-based cylindrical algebraic decomposition algorithm
Journal of Symbolic Computation
A polynomial-time algorithm for the topological type of a real algebraic curve
Journal of Symbolic Computation
On mechanical quantifier elimination for elementary algebra and geometry
Journal of Symbolic Computation
A bibliography of quantifier elimination for real closed fields
Journal of Symbolic Computation
Algebraic methods for non-linear computational geometry (invited address)
SCG '88 Proceedings of the fourth annual symposium on Computational geometry
Computing the irreducible real factors and components of an algebraicf curve
SCG '89 Proceedings of the fifth annual symposium on Computational geometry
Calculating approximate curve arrangements using rounded arithmetic
SCG '89 Proceedings of the fifth annual symposium on Computational geometry
Quantifier elimination and the sign variation method for real root isolation
ISSAC '89 Proceedings of the ACM-SIGSAM 1989 international symposium on Symbolic and algebraic computation
A parallel implementation of the cylindrical algebraic decomposition algorithm
ISSAC '89 Proceedings of the ACM-SIGSAM 1989 international symposium on Symbolic and algebraic computation
The computation of polynomial greatest common divisors over an algebraic number field
Journal of Symbolic Computation
An improvement of the projection operator in cylindrical algebraic decomposition
ISSAC '90 Proceedings of the international symposium on Symbolic and algebraic computation
Parallel algorithms for arrangements
SPAA '90 Proceedings of the second annual ACM symposium on Parallel algorithms and architectures
An algorithm for generalized point location and its applications
Journal of Symbolic Computation
A surface intersection algorithm based on loop detection
SMA '91 Proceedings of the first ACM symposium on Solid modeling foundations and CAD/CAM applications
Algebraic surface design with Hermite interpolation
ACM Transactions on Graphics (TOG)
Partial Cylindrical Algebraic Decomposition for quantifier elimination
Journal of Symbolic Computation
ISSAC '92 Papers from the international symposium on Symbolic and algebraic computation
Towards practical constraint databases (extended abstract)
PODS '96 Proceedings of the fifteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Conditions for Strong Stabilizabilities ofn-Dimensional Systems
Multidimensional Systems and Signal Processing
Efficient algorithms for geometric optimization
ACM Computing Surveys (CSUR)
MAPC: a library for efficient and exact manipulation of algebraic points and curves
SCG '99 Proceedings of the fifteenth annual symposium on Computational geometry
Guaranteed solution formula construction
ISSAC '99 Proceedings of the 1999 international symposium on Symbolic and algebraic computation
On projection in CAD-based quantifier elimination with equational constraint
ISSAC '99 Proceedings of the 1999 international symposium on Symbolic and algebraic computation
On propagation of equational constraints in CAD-based quantifier elimination
Proceedings of the 2001 international symposium on Symbolic and algebraic computation
Symbolic Reachability Computation for Families of Linear Vector Fields
Journal of Symbolic Computation
Improved projection for cylindrical algebraic decomposition
Journal of Symbolic Computation
Local box adjacency algorithms for cylindrical algebraic decompositions
Journal of Symbolic Computation
A New Class of Decidable Hybrid Systems
HSCC '99 Proceedings of the Second International Workshop on Hybrid Systems: Computation and Control
Controlled Invariance of Discrete Time Systems
HSCC '00 Proceedings of the Third International Workshop on Hybrid Systems: Computation and Control
Solving Geometric Problems with Real Quantifier Elimination
ADG '98 Proceedings of the Second International Workshop on Automated Deduction in Geometry
Automated Discovering and Proving for Geometric Inequalities
ADG '98 Proceedings of the Second International Workshop on Automated Deduction in Geometry
On order-invariance of a binomial over a nullifying cell
ISSAC '03 Proceedings of the 2003 international symposium on Symbolic and algebraic computation
A generic projection operator for partial cylindrical algebraic decomposition
ISSAC '03 Proceedings of the 2003 international symposium on Symbolic and algebraic computation
Efficient projection orders for CAD
ISSAC '04 Proceedings of the 2004 international symposium on Symbolic and algebraic computation
On using bi-equational constraints in CAD construction
Proceedings of the 2005 international symposium on Symbolic and algebraic computation
An exact and efficient approach for computing a cell in an arrangement of quadrics
Computational Geometry: Theory and Applications - Special issue on robust geometric algorithms and their implementations
Exact, efficient, and complete arrangement computation for cubic curves
Computational Geometry: Theory and Applications
A constraint solver for model-based engineering
AI Communications
Fast and exact geometric analysis of real algebraic plane curves
Proceedings of the 2007 international symposium on Symbolic and algebraic computation
Aggregation of partial rankings, p-ratings and top-m lists
SODA '07 Proceedings of the eighteenth annual ACM-SIAM symposium on Discrete algorithms
Journal of Computational and Applied Mathematics
Exact and efficient 2D-arrangements of arbitrary algebraic curves
Proceedings of the nineteenth annual ACM-SIAM symposium on Discrete algorithms
Proceedings of the 2008 ACM symposium on Solid and physical modeling
Exact geometric-topological analysis of algebraic surfaces
Proceedings of the twenty-fourth annual symposium on Computational geometry
On delineability of varieties in CAD-based quantifier elimination with two equational constraints
Proceedings of the 2009 international symposium on Symbolic and algebraic computation
Computing cylindrical algebraic decomposition via triangular decomposition
Proceedings of the 2009 international symposium on Symbolic and algebraic computation
An approximate solver for symbolic equations
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 1
An efficient algorithm for the stratification and triangulation of an algebraic surface
Computational Geometry: Theory and Applications
An exact and efficient approach for computing a cell in an arrangement of quadrics
Computational Geometry: Theory and Applications - Special issue on robust geometric algorithms and their implementations
Exact, efficient, and complete arrangement computation for cubic curves
Computational Geometry: Theory and Applications
Visualizing Arcs of Implicit Algebraic Curves, Exactly and Fast
ISVC '09 Proceedings of the 5th International Symposium on Advances in Visual Computing: Part I
Black-box/white-box simplification and applications to quantifier elimination
Proceedings of the 2010 International Symposium on Symbolic and Algebraic Computation
ACM Communications in Computer Algebra
Verification and synthesis using real quantifier elimination
Proceedings of the 36th international symposium on Symbolic and algebraic computation
Mathematics and Computers in Simulation
Differential dynamic logics: automated theorem proving for hybrid systems
Differential dynamic logics: automated theorem proving for hybrid systems
Reachability problems on extended o-minimal hybrid automata
FORMATS'05 Proceedings of the Third international conference on Formal Modeling and Analysis of Timed Systems
Computational construction of a maximum equilateral triangle inscribed in an origami
ICMS'06 Proceedings of the Second international conference on Mathematical Software
Computing the betti numbers of arrangements in practice
CASC'05 Proceedings of the 8th international conference on Computer Algebra in Scientific Computing
Quantifier elimination for quartics
AISC'06 Proceedings of the 8th international conference on Artificial Intelligence and Symbolic Computation
From approximate factorization to root isolation
Proceedings of the 38th international symposium on International symposium on symbolic and algebraic computation
Constructing a single open cell in a cylindrical algebraic decomposition
Proceedings of the 38th international symposium on International symposium on symbolic and algebraic computation
Computation in real closed infinitesimal and transcendental extensions of the rationals
CADE'13 Proceedings of the 24th international conference on Automated Deduction
Hi-index | 0.00 |