ACM SIGSAM Bulletin
Geometry theorem proving using Hilbert's Nullstellensatz
SYMSAC '86 Proceedings of the fifth ACM symposium on Symbolic and algebraic computation
Trimmed-surface algorithms for the evaluation and interrogation of solid boundary representations
IBM Journal of Research and Development
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
A bibliography of quantifier elimination for real closed fields
Journal of Symbolic Computation
Calculating approximate curve arrangements using rounded arithmetic
SCG '89 Proceedings of the fifth annual symposium on Computational geometry
Refutational proofs of geometry theorems via characteristic set computation
ISSAC '90 Proceedings of the international symposium on Symbolic and algebraic computation
An algorithm for generalized point location and its applications
Journal of Symbolic Computation
MAPC: a library for efficient and exact manipulation of algebraic points and curves
SCG '99 Proceedings of the fifteenth annual symposium on Computational geometry
Local box adjacency algorithms for cylindrical algebraic decompositions
Journal of Symbolic Computation
Testing Positiveness of Polynomials
Journal of Automated Reasoning
Automated Discovering and Proving for Geometric Inequalities
ADG '98 Proceedings of the Second International Workshop on Automated Deduction in Geometry
Towards better simplification of elementary functions
Proceedings of the 2002 international symposium on Symbolic and algebraic computation
Better simplification of elementary functions through power series
ISSAC '03 Proceedings of the 2003 international symposium on Symbolic and algebraic computation
QEPCAD B: a program for computing with semi-algebraic sets using CADs
ACM SIGSAM Bulletin
Efficient projection orders for CAD
ISSAC '04 Proceedings of the 2004 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
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 geometric-topological analysis of algebraic surfaces
Proceedings of the twenty-fourth annual symposium on Computational geometry
Quantifier Elimination for Approximate Factorization of Linear Partial Differential Operators
Calculemus '07 / MKM '07 Proceedings of the 14th symposium on Towards Mechanized Mathematical Assistants: 6th International Conference
Topology determination and isolation for implicit plane curves
Proceedings of the 2009 ACM symposium on Applied Computing
Complete numerical isolation of real roots in zero-dimensional triangular systems
Journal of Symbolic Computation
On the topology of planar algebraic curves
Proceedings of the twenty-fifth annual symposium on Computational geometry
Root isolation for bivariate polynomial systems with local generic position method
Proceedings of the 2009 international symposium on Symbolic and algebraic computation
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
Ambient Isotopic Meshing for Implicit Algebraic Surfaces with Singularities
CASC '09 Proceedings of the 11th International Workshop on Computer Algebra in Scientific Computing
Differential dynamic logics: automated theorem proving for hybrid systems
Differential dynamic logics: automated theorem proving for hybrid systems
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
Hi-index | 0.00 |