On the number of embeddings of minimally rigid graphs
Proceedings of the eighteenth annual symposium on Computational geometry
Computing the Betti numbers of arrangements via spectral sequences
Journal of Computer and System Sciences - STOC 2002
Lenses in arrangements of pseudo-circles and their applications
Journal of the ACM (JACM)
Towards and open curved kernel
SCG '04 Proceedings of the twentieth annual symposium on Computational geometry
Counting complexity classes for numeric computations II: algebraic and semialgebraic sets
STOC '04 Proceedings of the thirty-sixth annual ACM symposium on Theory of computing
Computing the first Betti number and the connected components of semi-algebraic sets
Proceedings of the thirty-seventh annual ACM symposium on Theory of computing
Proceedings of the thirty-seventh annual ACM symposium on Theory of computing
Complete subdivision algorithms, I: intersection of Bezier curves
Proceedings of the twenty-second annual symposium on Computational geometry
Stability versus speed in a computable algebraic model
Theoretical Computer Science - Real numbers and computers
Almost tight recursion tree bounds for the Descartes method
Proceedings of the 2006 international symposium on Symbolic and algebraic computation
Polynomial equations with one catalytic variable, algebraic series and map enumeration
Journal of Combinatorial Theory Series B
A new approach to characterizing the relative position of two ellipses depending on one parameter
Computer Aided Geometric Design
Journal of Computational and Applied Mathematics
Effectively open real functions
Journal of Complexity
Implementing the cylindrical algebraic decomposition within the Coq system
Mathematical Structures in Computer Science
On square positive extensions and cubature formulas
Journal of Computational and Applied Mathematics - Special issue: Special functions in harmonic analysis and applications
Reasoning about probabilistic sequential programs
Theoretical Computer Science
Combinatorial complexity in O-minimal geometry
Proceedings of the thirty-ninth annual ACM symposium on Theory of computing
Practical use of polynomials over the reals in proofs of termination
Proceedings of the 9th ACM SIGPLAN international conference on Principles and practice of declarative programming
Real implicitization of curves and geometric extraneous components
Proceedings of the 2007 international workshop on Symbolic-numeric computation
Differential forms in computational algebraic geometry
Proceedings of the 2007 international symposium on Symbolic and algebraic computation
On the complexity of real solving bivariate systems
Proceedings of the 2007 international symposium on Symbolic and algebraic computation
Fast and exact geometric analysis of real algebraic plane curves
Proceedings of the 2007 international symposium on Symbolic and algebraic computation
Complexity of real root isolation using continued fractions
Proceedings of the 2007 international symposium on Symbolic and algebraic computation
Symbolic-numeric computation of implicit riquier bases for PDE
Proceedings of the 2007 international symposium on Symbolic and algebraic computation
Coalition formation under uncertainty: bargaining equilibria and the Bayesian core stability concept
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
Exact and efficient 2D-arrangements of arbitrary algebraic curves
Proceedings of the nineteenth annual ACM-SIAM symposium on Discrete algorithms
Exact arrangements on tori and Dupin cyclides
Proceedings of the 2008 ACM symposium on Solid and physical modeling
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
Coloring kk-free intersection graphs of geometric objects in the plane
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
Computing the global optimum of a multivariate polynomial over the reals
Proceedings of the twenty-first international symposium on Symbolic and algebraic computation
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
Plane geometry and convexity of polynomial stability regions
Proceedings of the twenty-first international symposium on Symbolic and algebraic computation
Symbolic optimization of algebraic functions
Proceedings of the twenty-first international symposium on Symbolic and algebraic computation
The complete root classification of a parametric polynomial on an interval
Proceedings of the twenty-first international symposium on Symbolic and algebraic computation
Improving the topology computation of an arrangement of cubics
Computational Geometry: Theory and Applications
(Short) Survey of Real Hypercomputation
CiE '07 Proceedings of the 3rd conference on Computability in Europe: Computation and Logic in the Real World
Realization Theory for Discrete-Time Semi-algebraic Hybrid Systems
HSCC '08 Proceedings of the 11th international workshop on Hybrid Systems: Computation and Control
Real Algebraic Numbers: Complexity Analysis and Experimentation
Reliable Implementation of Real Number Algorithms: Theory and Practice
The Smallest Multistationary Mass-Preserving Chemical Reaction Network
AB '08 Proceedings of the 3rd international conference on Algebraic Biology
Polynomials that Sign Represent Parity and Descartes' Rule of Signs
Computational Complexity
Block LU factorization of Hankel and Bezout matrices and Euclidean algorithm
International Journal of Computer Mathematics
Complexity of real root isolation using continued fractions
Theoretical Computer Science
Recursive Markov chains, stochastic grammars, and monotone systems of nonlinear equations
Journal of the ACM (JACM)
Kolmogorov Complexity Theory over the Reals
Electronic Notes in Theoretical Computer Science (ENTCS)
A Quantifier Elimination Algorithm for Linear Real Arithmetic
LPAR '08 Proceedings of the 15th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning
Temporalization of Probabilistic Propositional Logic
LFCS '09 Proceedings of the 2009 International Symposium on Logical Foundations of Computer Science
International Journal of Robotics Research
A prolongation-projection algorithm for computing the finite real variety of an ideal
Theoretical Computer Science
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
Computer Aided Geometric Design
Faster real feasibility via circuit discriminants
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
Root isolation for bivariate polynomial systems with local generic position method
Proceedings of the 2009 international symposium on Symbolic and algebraic computation
Variant real quantifier elimination: algorithm and application
Proceedings of the 2009 international symposium on Symbolic and algebraic computation
Solution of algebraic riccati equations using the sum of roots
Proceedings of the 2009 international symposium on Symbolic and algebraic computation
Isolating real roots of real polynomials
Proceedings of the 2009 international symposium on Symbolic and algebraic computation
Optimization and NP_R-completeness of certain fewnomials
Proceedings of the 2009 conference on Symbolic numeric computation
SINR diagrams: towards algorithmically usable SINR models of wireless networks
Proceedings of the 28th ACM symposium on Principles of distributed computing
Automated deduction for verification
ACM Computing Surveys (CSUR)
A parametric representation of totally mixed Nash equilibria
Computers & Mathematics with Applications
On the intrinsic complexity of point finding in real singular hypersurfaces
Information Processing Letters
Solving Non-linear Polynomial Arithmetic via SAT Modulo Linear Arithmetic
CADE-22 Proceedings of the 22nd International Conference on Automated Deduction
Efficient Multiplication of Polynomials on Graphics Hardware
APPT '09 Proceedings of the 8th International Symposium on Advanced Parallel Processing Technologies
An efficient algorithm for the stratification and triangulation of an algebraic surface
Computational Geometry: Theory and Applications
Computer Aided Geometric Design
On the computation of an arrangement of quadrics in 3D
Computational Geometry: Theory and Applications - Special issue on the 19th European workshop on computational geometry - EuroCG 03
Exact, efficient, and complete arrangement computation for cubic curves
Computational Geometry: Theory and Applications
On the Complexity of Reliable Root Approximation
CASC '09 Proceedings of the 11th International Workshop on Computer Algebra in Scientific Computing
Probabilistically Checkable Proofs Over the Reals
Electronic Notes in Theoretical Computer Science (ENTCS)
On the complexity of the resolvent representation of some prime differential ideals
Journal of Complexity
Optimized parametrization of systems of incidences between rigid bodies
Journal of Symbolic Computation
Identifiability of discrete-time linear switched systems
Proceedings of the 13th ACM international conference on Hybrid systems: computation and control
Satisfiability of viability constraints for Pfaffian dynamics
PSI'06 Proceedings of the 6th international Andrei Ershov memorial conference on Perspectives of systems informatics
On proving the absence of oscillations in models of genetic circuits
AB'07 Proceedings of the 2nd international conference on Algebraic biology
Computing the topology of an arrangement of quartics
Proceedings of the 12th IMA international conference on Mathematics of surfaces XII
Equidecomposable quadratic regions
ADG'06 Proceedings of the 6th international conference on Automated deduction in geometry
Combining equational reasoning
FroCoS'09 Proceedings of the 7th international conference on Frontiers of combining systems
Determining divisibility between polynomials with inexact coefficients
ACM Communications in Computer Algebra
Triangular decomposition of semi-algebraic systems
Proceedings of the 2010 International Symposium on Symbolic and Algebraic Computation
When can we detect that a P-finite sequence is positive?
Proceedings of the 2010 International Symposium on Symbolic and Algebraic Computation
The DMM bound: multivariate (aggregate) separation bounds
Proceedings of the 2010 International Symposium on Symbolic and Algebraic Computation
Geometric optimization and sums of algebraic functions
SODA '10 Proceedings of the twenty-first annual ACM-SIAM symposium on Discrete Algorithms
Theory-specific automated reasoning
A 25-year perspective on logic programming
On solving systems of bivariate polynomials
ICMS'10 Proceedings of the Third international congress conference on Mathematical software
A formal quantifier elimination for algebraically closed fields
AISC'10/MKM'10/Calculemus'10 Proceedings of the 10th ASIC and 9th MKM international conference, and 17th Calculemus conference on Intelligent computer mathematics
A constraint satisfaction framework for executing perceptions and actions in diagrammatic reasoning
Journal of Artificial Intelligence Research
An algebraic approach to continuous collision detection for ellipsoids
Computer Aided Geometric Design
Some Numerical Results on the Rank of Generic Three-Way Arrays over $\mathbb{R}$
SIAM Journal on Matrix Analysis and Applications
Safe controllers design for industrial automation systems
Computers and Industrial Engineering
Generic Optimality Conditions for Semialgebraic Convex Programs
Mathematics of Operations Research
Path planning for manipulator robots in cluttered environments
ACMOS'05 Proceedings of the 7th WSEAS international conference on Automatic control, modeling and simulation
GiNaCRA: a C++ library for real algebraic computations
NFM'11 Proceedings of the Third international conference on NASA Formal methods
Applications of dimensionality reduction and exponential sums to graph automorphism
Theoretical Computer Science
Exact algorithms for solving stochastic games: extended abstract
Proceedings of the forty-third annual ACM symposium on Theory of computing
The topology of wireless communication
Proceedings of the forty-third annual ACM symposium on Theory of computing
Computing with semi-algebraic sets represented by triangular decomposition
Proceedings of the 36th international symposium on Symbolic and algebraic computation
Deciding reachability of the infimum of a multivariate polynomial
Proceedings of the 36th international symposium on Symbolic and algebraic computation
Efficient real root approximation
Proceedings of the 36th international symposium on Symbolic and algebraic computation
Univariate real root isolation in an extension field
Proceedings of the 36th international symposium on Symbolic and algebraic computation
Proceedings of the twenty-seventh annual symposium on Computational geometry
A generic algebraic kernel for non-linear geometric applications
Proceedings of the twenty-seventh annual symposium on Computational geometry
I-RiSC: an SMT-compliant solver for the existential fragment of real algebra
CAI'11 Proceedings of the 4th international conference on Algebraic informatics
Advice coins for classical and quantum computation
ICALP'11 Proceedings of the 38th international colloquim conference on Automata, languages and programming - Volume Part I
Computing the Fréchet distance between folded polygons
WADS'11 Proceedings of the 12th international conference on Algorithms and data structures
Topology of families of implicit algebraic surfaces depending on a parameter
CASC'11 Proceedings of the 13th international conference on Computer algebra in scientific computing
Motion planning via manifold samples
ESA'11 Proceedings of the 19th European conference on Algorithms
Solving parametric piecewise polynomial systems
Journal of Computational and Applied Mathematics
Differential dynamic logics: automated theorem proving for hybrid systems
Differential dynamic logics: automated theorem proving for hybrid systems
Computing Rational Points in Convex Semialgebraic Sets and Sum of Squares Decompositions
SIAM Journal on Optimization
Semialgebraic Range Reporting and Emptiness Searching with Applications
SIAM Journal on Computing
Quantum interactive proofs with weak error bounds
Proceedings of the 3rd Innovations in Theoretical Computer Science Conference
Upper and lower bounds on sizes of finite bisimulations of pfaffian hybrid systems
CiE'06 Proceedings of the Second conference on Computability in Europe: logical Approaches to Computational Barriers
Optimization and approximation problems related to polynomial system solving
CiE'06 Proceedings of the Second conference on Computability in Europe: logical Approaches to Computational Barriers
The SARAG library: some algorithms in real algebraic geometry
ICMS'06 Proceedings of the Second international conference on Mathematical Software
On the stability of end-point-based multimedia streaming
NETWORKING'06 Proceedings of the 5th international IFIP-TC6 conference on Networking Technologies, Services, and Protocols; Performance of Computer and Communication Networks; Mobile and Wireless Communications Systems
Termination of integer linear programs
CAV'06 Proceedings of the 18th international conference on Computer Aided Verification
Proving formally the implementation of an efficient gcd algorithm for polynomials
IJCAR'06 Proceedings of the Third international joint conference on Automated Reasoning
On the realizable weaving patterns of polynomial curves in R3
GD'04 Proceedings of the 12th international conference on Graph Drawing
Recursive markov chains, stochastic grammars, and monotone systems of nonlinear equations
STACS'05 Proceedings of the 22nd annual conference on Theoretical Aspects of Computer Science
Complexity invariance of real interpretations
TAMC'10 Proceedings of the 7th annual conference on Theory and Applications of Models of Computation
Quantifier elimination by lazy model enumeration
CAV'10 Proceedings of the 22nd international conference on Computer Aided Verification
Determining the topology of real algebraic surfaces
IMA'05 Proceedings of the 11th IMA international conference on Mathematics of Surfaces
On the decidability of tracing problems in dynamic geometry
ADG'04 Proceedings of the 5th international conference on Automated Deduction in Geometry
Computing the betti numbers of arrangements in practice
CASC'05 Proceedings of the 8th international conference on Computer Algebra in Scientific Computing
Generation of orthogonal grids on curvilinear trimmed regions in constant time
CASC'05 Proceedings of the 8th international conference on Computer Algebra in Scientific Computing
A descartes algorithm for polynomials with bit-stream coefficients
CASC'05 Proceedings of the 8th international conference on Computer Algebra in Scientific Computing
Real solving of bivariate polynomial systems
CASC'05 Proceedings of the 8th international conference on Computer Algebra in Scientific Computing
ΣK-constraints for hybrid systems
PSI'09 Proceedings of the 7th international Andrei Ershov Memorial conference on Perspectives of Systems Informatics
An efficient algorithm for the sign condition problem in the semi-algebraic context
GMP'10 Proceedings of the 6th international conference on Advances in Geometric Modeling and Processing
A subdivision approach to planar semi-algebraic sets
GMP'10 Proceedings of the 6th international conference on Advances in Geometric Modeling and Processing
On searching for small kochen-specker vector systems
WG'11 Proceedings of the 37th international conference on Graph-Theoretic Concepts in Computer Science
An output-sensitive algorithm for computing projections of resultant polytopes
Proceedings of the twenty-eighth annual symposium on Computational geometry
Efficient evaluation of specific queries in constraint databases
Information Processing Letters
Arrangement computation for planar algebraic curves
Proceedings of the 2011 International Workshop on Symbolic-Numeric Computation
Reachability in one-dimensional controlled polynomial dynamical systems
PSI'11 Proceedings of the 8th international conference on Perspectives of System Informatics
SMT-RAT: an SMT-compliant nonlinear real arithmetic toolbox
SAT'12 Proceedings of the 15th international conference on Theory and Applications of Satisfiability Testing
IJCAR'12 Proceedings of the 6th international joint conference on Automated Reasoning
Abstract partial cylindrical algebraic decomposition i: the lifting phase
CiE'12 Proceedings of the 8th Turing Centenary conference on Computability in Europe: how the world computes
On the complexity of minimizing probabilistic and quantum automata
Information and Computation
Optimal abstraction on real-valued programs
SAS'07 Proceedings of the 14th international conference on Static Analysis
Study of D-decompositions by the methods of computational real-valued algebraic geometry
Automation and Remote Control
Real closures of models of weak arithmetic
Archive for Mathematical Logic
On the finite set of missing geometric configurations (n4)
Computational Geometry: Theory and Applications
Solving polynomial systems over semialgebraic sets represented by cylindrical algebraic formulas
Proceedings of the 37th International Symposium on Symbolic and Algebraic Computation
Computational Geometry: Theory and Applications
Theoretical Computer Science
Ramsey-type results for semi-algebraic relations
Proceedings of the twenty-ninth annual symposium on Computational geometry
Sub-linear root detection, and new hardness results, for sparse polynomials over finite fields
Proceedings of the 38th international symposium on International symposium on symbolic and algebraic computation
Separating linear forms for bivariate systems
Proceedings of the 38th international symposium on International symposium on symbolic and algebraic computation
Rational univariate representations of bivariate systems and applications
Proceedings of the 38th international symposium on International symposium on symbolic and algebraic computation
Critical point methods and effective real algebraic geometry: new results and trends
Proceedings of the 38th international symposium on International symposium on symbolic and algebraic computation
On the boolean complexity of real root refinement
Proceedings of the 38th international symposium on International symposium on symbolic and algebraic computation
Termination conditions for positivity proving procedures
Proceedings of the 38th international symposium on International symposium on symbolic and algebraic computation
Computing rational solutions of linear matrix inequalities
Proceedings of the 38th international symposium on International symposium on symbolic and algebraic computation
Finding points on real solution components and applications to differential polynomial systems
Proceedings of the 38th international symposium on International symposium on symbolic and algebraic computation
Proceedings of the 2013 international conference on Autonomous agents and multi-agent systems
Numerically Computing Real Points on Algebraic Sets
Acta Applicandae Mathematicae: an international survey journal on applying mathematics and mathematical applications
Cell decomposition of almost smooth real algebraic surfaces
Numerical Algorithms
Journal of Symbolic Computation
Computation in real closed infinitesimal and transcendental extensions of the rationals
CADE'13 Proceedings of the 24th international conference on Automated Deduction
A symbiosis of interval constraint propagation and cylindrical algebraic decomposition
CADE'13 Proceedings of the 24th international conference on Automated Deduction
Geometric optimization and sums of algebraic functions
ACM Transactions on Algorithms (TALG)
Homogeneous selections from hyperplanes
Journal of Combinatorial Theory Series B
Hi-index | 0.01 |