Examples of automatic theorem proving a real geometry
ISSAC '94 Proceedings of the international symposium on Symbolic and algebraic computation
Simplication of symbolic-numerical interval expressions
ISSAC '98 Proceedings of the 1998 international symposium on Symbolic and algebraic computation
Efficient topology determination of implicitly defined algebraic plane curves
Computer Aided Geometric Design
Computer algebra handbook
Complete, exact, and efficient computations with cubic curves
SCG '04 Proceedings of the twentieth annual symposium on Computational geometry
Rational quadratic approximation to real algebraic curves
Computer Aided Geometric Design - Special issue: Geometric modeling and processing 2004
On the exact computation of the topology of real algebraic curves
SCG '05 Proceedings of the twenty-first annual symposium on Computational geometry
Intrinsic topological representation of real algebraic surfaces
ACM SIGSAM Bulletin
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
Complete subdivision algorithms, I: intersection of Bezier curves
Proceedings of the twenty-second annual symposium on Computational geometry
Exact, efficient, and complete arrangement computation for cubic curves
Computational Geometry: Theory and Applications
A delineability-based method for computing critical sets of algebraic surfaces
Journal of Symbolic Computation
Computing the topology of a real algebraic plane curve whose equation is not directly available
Proceedings of the 2007 international workshop on Symbolic-numeric computation
Fast and exact geometric analysis of real algebraic plane curves
Proceedings of the 2007 international symposium on Symbolic and algebraic computation
Journal of Computational and Applied Mathematics
Topology of real algebraic space curves
Journal of Symbolic Computation
Good global behavior of offsets to plane algebraic curves
Journal of Symbolic Computation
Exact geometric-topological analysis of algebraic surfaces
Proceedings of the twenty-fourth annual symposium on Computational geometry
On the computation of the topology of a non-reduced implicit space curve
Proceedings of the twenty-first international symposium on Symbolic and algebraic computation
Complete subdivision algorithms, II: isotopic meshing of singular algebraic curves
Proceedings of the twenty-first international symposium on Symbolic and algebraic computation
Topology determination and isolation for implicit plane curves
Proceedings of the 2009 ACM symposium on Applied Computing
Proceedings of the twenty-fifth annual symposium on Computational geometry
On the topology of planar algebraic curves
Proceedings of the twenty-fifth annual symposium on Computational geometry
Lower bounds for zero-dimensional projections
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
Rational quadratic approximation to real algebraic curves
Computer Aided Geometric Design
On the different shapes arising in a family of plane rational curves depending on a parameter
Computer Aided Geometric Design
Computation of the topology of real algebraic space curves
Journal of Symbolic Computation
Topology of 2D and 3D rational curves
Computer Aided Geometric Design
Complete subdivision algorithms, II: Isotopic meshing of singular algebraic curves
Journal of Symbolic Computation
A worst-case bound for topology computation of algebraic curves
Journal of Symbolic Computation
Determining the topology of real algebraic surfaces
IMA'05 Proceedings of the 11th IMA international conference on Mathematics of Surfaces
Quantifier elimination for quartics
AISC'06 Proceedings of the 8th international conference on Artificial Intelligence and Symbolic Computation
ICCS'06 Proceedings of the 6th international conference on Computational Science - Volume Part II
On the isotopic meshing of an algebraic implicit surface
Journal of Symbolic Computation
Computing the shapes arising in a family of space rational curves depending on one parameter
Computer Aided Geometric Design
Proceedings of the 2011 International Workshop on Symbolic-Numeric Computation
Homeomorphic approximation of the intersection curve of two rational surfaces
Computer Aided Geometric Design
On the shape of curves that are rational in polar coordinates
Computer Aided Geometric Design
Non-local isotopic approximation of nonsingular surfaces
Computer-Aided Design
Journal of Computational and Applied Mathematics
Local generic position for root isolation of zero-dimensional triangular polynomial systems
CASC'12 Proceedings of the 14th international conference on Computer Algebra in Scientific Computing
Theoretical Computer Science
From approximate factorization to root isolation
Proceedings of the 38th international symposium on International symposium on symbolic and algebraic computation
Journal of Symbolic Computation
| Hi-index | 0.00 |