Computer Algebra: Past and Future
Journal of Symbolic Computation
ACM SIGSAM Bulletin
Geometry theorem proving using Hilbert's Nullstellensatz
SYMSAC '86 Proceedings of the fifth ACM symposium on Symbolic and algebraic computation
History and basic features of the critical-pair/completion procedure
Journal of Symbolic Computation
Journal of Symbolic Computation
Real quantifier elimination is doubly exponential
Journal of Symbolic Computation
Solving systems of polynomial inequalities in subexponential time
Journal of Symbolic Computation
Complexity of deciding Tarski algebra
Journal of Symbolic Computation
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
STOC '88 Proceedings of the twentieth annual ACM symposium on Theory of computing
Some algebraic and geometric computations in PSPACE
STOC '88 Proceedings of the twentieth annual ACM symposium on Theory of computing
Coordinate representation of order types requires exponential storage
STOC '89 Proceedings of the twenty-first annual ACM symposium on Theory of computing
The design of LINETOOL, a geometric editor
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
Triangulating a non-convex polytype
SCG '89 Proceedings of the fifth annual symposium on Computational geometry
On the computer solution of symmetric homogeneous triangle inequalities
ISSAC '89 Proceedings of the ACM-SIGSAM 1989 international symposium on Symbolic and algebraic computation
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
The computation of polynomial greatest common divisors over an algebraic number field
Journal of Symbolic Computation
Complexity of computation on real algebraic numbers
Journal of Symbolic Computation
ISSAC '90 Proceedings of the international symposium on Symbolic and algebraic computation
Automated reasoning in geometries using the characteristic set method and Gröbner basis method
ISSAC '90 Proceedings of the international symposium on Symbolic and algebraic computation
An improvement of the projection operator in cylindrical algebraic decomposition
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
The weighted region problem: finding shortest paths through a weighted planar subdivision
Journal of the ACM (JACM)
Effective Noether irreducibility forms and applications
STOC '91 Proceedings of the twenty-third annual ACM symposium on Theory of computing
Invariant computations for analytic projective geometry
Journal of Symbolic Computation
Partial Cylindrical Algebraic Decomposition for quantifier elimination
Journal of Symbolic Computation
The complexity of deciding consistency of systems of polynomials in exponent inequalities
Journal of Symbolic Computation
Gross motion planning—a survey
ACM Computing Surveys (CSUR)
ACM SIGACT News
ISSAC '92 Papers from the international symposium on Symbolic and algebraic computation
Quantifier elimination for formulas constrained by quadratic equations
ISSAC '93 Proceedings of the 1993 international symposium on Symbolic and algebraic computation
Automated geometry theorem proving by vector calculation
ISSAC '93 Proceedings of the 1993 international symposium on Symbolic and algebraic computation
Separation for boundary to CSG conversion
ACM Transactions on Graphics (TOG)
Motion planning in the presence of moving obstacles
Journal of the ACM (JACM)
Towards a theory of spatial database queries (extended abstract)
PODS '94 Proceedings of the thirteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
A single-exponential upper bound for finding shortest paths in three dimensions
Journal of the ACM (JACM)
Examples of automatic theorem proving a real geometry
ISSAC '94 Proceedings of the international symposium on Symbolic and algebraic computation
On a modular algorithm for computing GCDs of polynomials over algebraic number fields
ISSAC '94 Proceedings of the international symposium on Symbolic and algebraic computation
Database querying and constraint programming
ACM SIGACT News
Computational geometry: a retrospective
STOC '94 Proceedings of the twenty-sixth annual ACM symposium on Theory of computing
Lower bounds for parallel linear programming and other problems
STOC '94 Proceedings of the twenty-sixth annual ACM symposium on Theory of computing
Constraint programming and database languages: a tutorial
PODS '95 Proceedings of the fourteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Dense-order constraint databases (extended abstract)
PODS '95 Proceedings of the fourteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
On the completeness and conversion of ray representations of arbitrary solids
SMA '95 Proceedings of the third ACM symposium on Solid modeling and applications
Numeric-symbolic algorithms for evaluating one-dimensional algebraic sets
ISSAC '95 Proceedings of the 1995 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
An efficient surface intersection algorithm based on lower-dimensional formulation
ACM Transactions on Graphics (TOG)
Is there an algebraic proof for P ≠ NC? (extended abstract)
STOC '97 Proceedings of the twenty-ninth annual ACM symposium on Theory of computing
Guarded expressions in practice
ISSAC '97 Proceedings of the 1997 international symposium on Symbolic and algebraic computation
A survey of the Theorema project
ISSAC '97 Proceedings of the 1997 international symposium on Symbolic and algebraic computation
Motion planning for multiple robots
Proceedings of the fourteenth annual symposium on Computational geometry
Approaches to parallel quantifier elimination
ISSAC '98 Proceedings of the 1998 international symposium on Symbolic and algebraic computation
Simplification of truth-invariant cylindrical algebraic decompositions
ISSAC '98 Proceedings of the 1998 international symposium on Symbolic and algebraic computation
Efficient algorithms for geometric optimization
ACM Computing Surveys (CSUR)
Complexity estimates depending on condition and round-off error
Journal of the ACM (JACM)
VC-Dimension Analysis of Object Recognition Tasks
Journal of Mathematical Imaging and Vision
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
SODA '90 Proceedings of the first annual ACM-SIAM symposium on Discrete algorithms
Implementing non-linear constraints with cooperative solvers
SAC '96 Proceedings of the 1996 ACM symposium on Applied Computing
Reachability and connectivity queries in constraint databases
PODS '00 Proceedings of the nineteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Linear approximation of planar spatial databases using transitive-closure logic
PODS '00 Proceedings of the nineteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Deciding linear-trigonometric problems
ISSAC '00 Proceedings of the 2000 international symposium on Symbolic and algebraic computation
Improved projection for CAD's of R3
ISSAC '00 Proceedings of the 2000 international symposium on Symbolic and algebraic computation
ISSAC '00 Proceedings of the 2000 international symposium on Symbolic and algebraic computation
POPL '01 Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Computing a 3-dimensional cell in an arrangement of quadrics: exactly and actually!
SCG '01 Proceedings of the seventeenth annual symposium on Computational geometry
Symbolic-interval cooperation in constraint programming
Proceedings of the 2001 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
New complexity bounds for cylindrical decompositions of sub-pfaffian sets
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
Quantified constraints under perturbation
Journal of Symbolic Computation
ACM Transactions on Graphics (TOG)
Computing the betti numbers of arrangements
STOC '02 Proceedings of the thiry-fourth annual ACM symposium on Theory of computing
On moving object queries: (extended abstract)
Proceedings of the twenty-first ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Heuristic search and pruning in polynomial constraints satisfaction
Annals of Mathematics and Artificial Intelligence
Termination of Nested and Mutually Recursive Algorithms
Journal of Automated Reasoning
Testing Positiveness of Polynomials
Journal of Automated Reasoning
Search Heuristics for Box Decomposition Methods
Journal of Global Optimization
A Knowledge-Based Approach to Visual Information
Journal of Intelligent Information Systems
Algebraic Geometry and Computer Vision: Polynomial Systems, Real andComplex Roots
Journal of Mathematical Imaging and Vision
Interval arithmetic in cylindrical algebraic decomposition
Journal of Symbolic Computation
Deciding Termination of Query Evaluation in Transitive-Closure Logics for Constraint Databases
ICDT '03 Proceedings of the 9th International Conference on Database Theory
Movement Planning in the Presence of Flows
WADS '01 Proceedings of the 7th International Workshop on Algorithms and Data Structures
Interval Constraints: Results and Perspectives
Selected papers from the Joint ERCIM/Compulog Net Workshop on New Trends in Contraints
Using Cylindrical Algebraic Decomposition for the Analysis of Slope Parametric Hybrid Automata
FTRTFT '00 Proceedings of the 6th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
Series of Abstractions for Hybrid Automata
HSCC '02 Proceedings of the 5th International Workshop on Hybrid Systems: Computation and Control
Computer Aided Systems Theory - EUROCAST 2001-Revised Papers
Moving Objects: Logical Relationships and Queries
SSTD '01 Proceedings of the 7th International Symposium on Advances in Spatial and Temporal Databases
Universally Quantified Interval Constraints
CP '02 Proceedings of the 6th International Conference on Principles and Practice of Constraint Programming
Continuous First-Order Constraint Satisfactionwith Equality and Disequality Constraints
CP '02 Proceedings of the 8th International Conference on Principles and Practice of Constraint Programming
Timed Verification of Asynchronous Circuits
Concurrency and Hardware Design, Advances in Petri Nets
FME '02 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right
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
Algebraic and Semialgebraic Proofs: Methods and Paradoxes
ADG '00 Revised Papers from the Third International Workshop on Automated Deduction in Geometry
Practical Methods for Proving Program Termination
CAV '02 Proceedings of the 14th International Conference on Computer Aided Verification
Continuous First-Order Constraint Satisfaction
AISC '02/Calculemus '02 Proceedings of the Joint International Conferences on Artificial Intelligence, Automated Reasoning, and Symbolic Computation
Representing 2D Digital Objects
DGCI '00 Proceedings of the 9th International Conference on Discrete Geometry for Computer Imagery
Expressing Topological Connectivity of Spatial Databases
DBPL '99 Revised Papers from the 7th International Workshop on Database Programming Languages: Research Issues in Structured and Semistructured Database Programming
A Representation Independent Language for Planar Spatial Databases with Euclidean Distance
DBPL '99 Revised Papers from the 7th International Workshop on Database Programming Languages: Research Issues in Structured and Semistructured Database Programming
Query Languages for Constraint Databases: First-Order Logic, Fixed-Points, and Convex Hulls
ICDT '01 Proceedings of the 8th International Conference on Database Theory
Proceedings of the nineteenth annual symposium on Computational geometry
Towards better simplification of elementary functions
Proceedings of the 2002 international symposium on Symbolic and algebraic computation
Topologically reliable display of algebraic curves
SIGGRAPH '83 Proceedings of the 10th annual conference on Computer graphics and interactive techniques
Polynomial real root isolation by differentiation
SYMSAC '76 Proceedings of the third ACM symposium on Symbolic and algebraic computation
On the sign of a real algebraic number
SYMSAC '76 Proceedings of the third ACM symposium on Symbolic and algebraic computation
On shortest paths in polyhedral spaces
STOC '84 Proceedings of the sixteenth annual ACM symposium on Theory of computing
The complexity of elementary algebra and geometry
STOC '84 Proceedings of the sixteenth annual ACM symposium on Theory of computing
Reachability and connectivity queries in constraint databases
Journal of Computer and System Sciences - Special issue on PODS 2000
Automatic test generation for predicates
ISSRE '96 Proceedings of the The Seventh International Symposium on Software Reliability Engineering
Double Sylvester sums for subresultants and multi-Schur functions
Journal of Symbolic Computation
Better simplification of elementary functions through power series
ISSAC '03 Proceedings of the 2003 international symposium on Symbolic and algebraic computation
On order-invariance of a binomial over a nullifying cell
ISSAC '03 Proceedings of the 2003 international symposium on Symbolic and algebraic computation
The subresultant and clusters of close roots
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
The description logic handbook
Computer algebra handbook
Algorithms to compute the topology of orientable real algebraic surfaces
Journal of Symbolic Computation - Special issue: International symposium on symbolic and algebraic computation (ISSAC 2002)
Computing the Betti numbers of arrangements via spectral sequences
Journal of Computer and System Sciences - STOC 2002
Non-linear loop invariant generation using Gröbner bases
Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
QEPCAD B: a program for computing with semi-algebraic sets using CADs
ACM SIGSAM Bulletin
On the union of κ-round objects
SCG '04 Proceedings of the twentieth annual symposium on Computational geometry
Complete, exact, and efficient computations with cubic curves
SCG '04 Proceedings of the twentieth annual symposium on Computational geometry
A poly-algorithmic approach to simplifying elementary functions
ISSAC '04 Proceedings of the 2004 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
Almost tight upper bounds for vertical decompositions in four dimensions
Journal of the ACM (JACM)
Interval constraint solving for camera control and motion planning
ACM Transactions on Computational Logic (TOCL)
Time-dependent affine triangulation of spatio-temporal data
Proceedings of the 12th annual ACM international workshop on Geographic information systems
Constraint Solving for Proof Planning
Journal of Automated Reasoning
Artificial Intelligence Review
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
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
SCG '05 Proceedings of the twenty-first annual symposium on Computational geometry
Adherence is better than adjacency: computing the Riemann index using CAD
Proceedings of the 2005 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
A procedure for proving special function inequalities involving a discrete parameter
Proceedings of the 2005 international symposium on Symbolic and algebraic computation
Schur partition for symmetric ternary forms and readable proof to inequalities
Proceedings of the 2005 international symposium on Symbolic and algebraic computation
Stability analysis of biological systems with real solution classification
Proceedings of the 2005 international symposium on Symbolic and algebraic computation
Encyclopedia of Computer Science
Theoretical Computer Science - Database theory
Automatic analysis of real algebraic curves
ACM SIGSAM Bulletin
Computing real zeros of polynomials with parametric coefficients
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
Exact, efficient, and complete arrangement computation for cubic curves
Computational Geometry: Theory and Applications
Efficient solving of quantified inequality constraints over the real numbers
ACM Transactions on Computational Logic (TOCL)
Quantifier elimination for the reals with a predicate for the powers of two
Theoretical Computer Science
An elementary proof of Sylvester's double sums for subresultants
Journal of Symbolic Computation
Implementing the cylindrical algebraic decomposition within the Coq system
Mathematical Structures in Computer Science
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
Abstractions for hybrid systems
Formal Methods in System Design
Exact and efficient 2D-arrangements of arbitrary algebraic curves
Proceedings of the nineteenth annual ACM-SIAM symposium on Discrete algorithms
Recurrence with affine level mappings is p-time decidable for clp$({\mathbb r})$
Theory and Practice of Logic Programming
Zeros of univariate interval polynomials
Journal of Computational and Applied Mathematics
Compositional information flow security for concurrent programs
Journal of Computer Security
Exact geometric-topological analysis of algebraic surfaces
Proceedings of the twenty-fourth annual symposium on Computational geometry
A new algebraic method for robot motion planning and real geometry
SFCS '87 Proceedings of the 28th Annual Symposium on Foundations of Computer Science
New lower bound techniques for robot motion planning problems
SFCS '87 Proceedings of the 28th Annual Symposium on Foundations of Computer Science
Proof Synthesis and Reflection for Linear Arithmetic
Journal of Automated Reasoning
Symbolic optimization of algebraic functions
Proceedings of the twenty-first international symposium on Symbolic and algebraic computation
Program Verification by Using DISCOVERER
Verified Software: Theories, Tools, Experiments
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
Theorem Proving for Verification (Invited Tutorial)
CAV '08 Proceedings of the 20th international conference on Computer Aided Verification
Proceedings of the 9th AISC international conference, the 15th Calculemas symposium, and the 7th international MKM conference on Intelligent Computer Mathematics
Topology and arrangement computation of semi-algebraic planar curves
Computer Aided Geometric Design
Inclusion dynamics hybrid automata
Information and Computation
Valigator: A Verification Tool with Bound and Invariant Generation
LPAR '08 Proceedings of the 15th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning
Isolating the real roots of the piecewise algebraic variety
Computers & Mathematics with Applications
Hybrid Automata in Systems Biology: How Far Can We Go?
Electronic Notes in Theoretical Computer Science (ENTCS)
Mathematics and Computers in Simulation
International Journal of Robotics Research
Condition number based complexity estimate for computing local extrema
Journal of Computational and Applied Mathematics
Computer Aided Geometric Design
Journal of Symbolic Computation
Isotopic triangulation of a real algebraic surface
Journal of Symbolic Computation
A Computational Proof of Complexity of Some Restricted Counting Problems
TAMC '09 Proceedings of the 6th Annual Conference on Theory and Applications of Models of Computation
Quantifier Elimination via Functional Composition
CAV '09 Proceedings of the 21st International Conference on Computer Aided Verification
Combined Decision Techniques for the Existential Theory of the Reals
Calculemus '09/MKM '09 Proceedings of the 16th Symposium, 8th International Conference. Held as Part of CICM '09 on Intelligent Computer Mathematics
On delineability of varieties in CAD-based quantifier elimination with two equational constraints
Proceedings of the 2009 international symposium on Symbolic and algebraic computation
Automated deduction for verification
ACM Computing Surveys (CSUR)
An efficient algorithm for the stratification and triangulation of an algebraic surface
Computational Geometry: Theory and Applications
Discrete Semantics for Hybrid Automata
Discrete Event Dynamic Systems
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
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
Fréchet Distance Problems in Weighted Regions
ISAAC '09 Proceedings of the 20th International Symposium on Algorithms and Computation
Electronic Notes in Theoretical Computer Science (ENTCS)
Out of order quantifier elimination for Standard Quantified Linear Programs
Journal of Symbolic Computation
New bounds for the Descartes method
Journal of Symbolic Computation
An automated prover for Zermelo-Fraenkel set theory in Theorema
Journal of Symbolic Computation
From synchronous programs to symbolic representations of hybrid systems
Proceedings of the 13th ACM international conference on Hybrid systems: computation and control
Approximating a behavioural pseudometric without discount for probabilistic systems
FOSSACS'07 Proceedings of the 10th international conference on Foundations of software science and computational structures
Invariant synthesis for combined theories
VMCAI'07 Proceedings of the 8th international conference on Verification, model checking, and abstract interpretation
Symbolic methods for the element preconditioning technique
SNSC'01 Proceedings of the 2nd international conference on Symbolic and numerical scientific computation
SyNRAC: a Maple-package for solving real algebraic constraints
ICCS'03 Proceedings of the 1st international conference on Computational science: PartI
Hybrid automata, reachability, and Systems Biology
Theoretical Computer Science
Automated symbolic reachability analysis: with application to delta-notch signaling automata
HSCC'03 Proceedings of the 6th international conference on Hybrid systems: computation and control
On proving the absence of oscillations in models of genetic circuits
AB'07 Proceedings of the 2nd international conference on Algebraic biology
Regularity criteria for the topology of algebraic curves and surfaces
Proceedings of the 12th IMA international conference on Mathematics of surfaces XII
ESA'07 Proceedings of the 15th annual European conference on Algorithms
Optimal triangulation with Steiner points
ISAAC'07 Proceedings of the 18th international conference on Algorithms and computation
Verifying nonlinear real formulas via sums of squares
TPHOLs'07 Proceedings of the 20th international conference on Theorem proving in higher order logics
Reasoning algebraically about P-solvable loops
TACAS'08/ETAPS'08 Proceedings of the Theory and practice of software, 14th international conference on Tools and algorithms for the construction and analysis of systems
Generating polynomial invariants with DISCOVERER and QEPCAD
Formal methods and hybrid real-time systems
Combining equational reasoning
FroCoS'09 Proceedings of the 7th international conference on Frontiers of combining systems
A package for solving parametric polynomial systems
ACM Communications in Computer Algebra
Resolution of nonlinear interval problems using symbolic interval arithmetic
Engineering Applications of Artificial Intelligence
Theory of reals for verification and synthesis of hybrid dynamical systems
Proceedings of the 2010 International Symposium on Symbolic and Algebraic Computation
Triangular decomposition of semi-algebraic systems
Proceedings of the 2010 International Symposium on Symbolic and Algebraic Computation
Termination of linear programs with nonlinear constraints
Journal of Symbolic Computation
Visually Dynamic Presentation of Proofs in Plane Geometry
Journal of Automated Reasoning
Computing exact aspect graphs of curved objects: parametric surfaces
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 2
Theory-specific automated reasoning
A 25-year perspective on logic programming
Journal of Symbolic Computation
Condition number based complexity estimate for solving polynomial systems
Journal of Computational and Applied Mathematics
Satisfiability of non-linear (Ir)rational arithmetic
LPAR'10 Proceedings of the 16th international conference on Logic for programming, artificial intelligence, and reasoning
ACM Communications in Computer Algebra
Cylindrical algebraic decomposition for reasoning about qualitative spatial knowledge
ACM Communications in Computer Algebra
ACM Communications in Computer Algebra
APLAS'10 Proceedings of the 8th Asian conference on Programming languages and systems
Computing with semi-algebraic sets represented by triangular decomposition
Proceedings of the 36th international symposium on Symbolic and algebraic computation
A generic algebraic kernel for non-linear geometric applications
Proceedings of the twenty-seventh annual symposium on Computational geometry
Dominance in the family of Sugeno--Weber t-norms
Fuzzy Sets and Systems
Certification of safe polynomial memory bounds
FM'11 Proceedings of the 17th international conference on Formal methods
I-RiSC: an SMT-compliant solver for the existential fragment of real algebra
CAI'11 Proceedings of the 4th international conference on Algebraic informatics
On the generation of positivstellensatz witnesses in degenerate cases
ITP'11 Proceedings of the Second international conference on Interactive theorem proving
CLP(QS): a declarative spatial reasoning framework
COSIT'11 Proceedings of the 10th international conference on Spatial information theory
Differential dynamic logics: automated theorem proving for hybrid systems
Differential dynamic logics: automated theorem proving for hybrid systems
Quantifier elimination for statistical problems
UAI'99 Proceedings of the Fifteenth conference on Uncertainty in artificial intelligence
Validity checking for finite automata over linear arithmetic constraints
FSTTCS'06 Proceedings of the 26th international conference on Foundations of Software Technology and Theoretical Computer Science
Optimal control of piece-wise polynomial hybrid systems using cylindrical algebraic decomposition
HSCC'06 Proceedings of the 9th international conference on Hybrid Systems: computation and control
Calculating polynomial runtime properties
APLAS'05 Proceedings of the Third Asian conference on Programming Languages and Systems
ATVA'05 Proceedings of the Third international conference on Automated Technology for Verification and Analysis
The Theorema environment for interactive proof development
LPAR'05 Proceedings of the 12th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
The complexity of games on highly regular graphs
ESA'05 Proceedings of the 13th annual European conference on Algorithms
EXACUS: efficient and exact algorithms for curves and surfaces
ESA'05 Proceedings of the 13th annual European conference on Algorithms
On Buchberger's method of solving systems of algebraic equations
ACM Communications in Computer Algebra
Quantifier elimination by lazy model enumeration
CAV'10 Proceedings of the 22nd international conference on Computer Aided Verification
Proving equalities in a commutative ring done right in coq
TPHOLs'05 Proceedings of the 18th international conference on Theorem Proving in Higher Order Logics
Spatial planning and geometric optimization: combining configuration space and energy methods
ADG'04 Proceedings of the 5th international conference on Automated Deduction in Geometry
Linear ranking with reachability
CAV'05 Proceedings of the 17th international conference on Computer Aided Verification
A proof-producing decision procedure for real arithmetic
CADE' 20 Proceedings of the 20th international conference on Automated Deduction
The expressivity of constraint query languages with boolean algebra linear cardinality constraints
ADBIS'05 Proceedings of the 9th East European conference on Advances in Databases and Information Systems
An algebraic approach for the unsatisfiability of nonlinear constraints
CSL'05 Proceedings of the 19th international conference on Computer Science Logic
Computing the betti numbers of arrangements in practice
CASC'05 Proceedings of the 8th international conference on Computer Algebra in Scientific Computing
Efficient preprocessing methods for quantifier elimination
CASC'06 Proceedings of the 9th international conference on Computer Algebra in Scientific Computing
An algorithm for computing the complete root classification of a parametric polynomial
AISC'06 Proceedings of the 8th international conference on Artificial Intelligence and Symbolic Computation
Quantifier elimination for quartics
AISC'06 Proceedings of the 8th international conference on Artificial Intelligence and Symbolic Computation
Predicate abstraction of programs with non-linear computation
ATVA'06 Proceedings of the 4th international conference on Automated Technology for Verification and Analysis
Σ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 one method of proving inequalities in automated way
ADG'10 Proceedings of the 8th international conference on Automated Deduction in Geometry
Trading order for degree in creative telescoping
Journal of Symbolic Computation
Algebraic analysis on asymptotic stability of switched hybrid systems
Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control
Journal of Automated Reasoning
Brief paper: Guaranteed tuning, with application to robust control and motion planning
Automatica (Journal of IFAC)
Construction of explicit runge-kutta pairs with stiffness detection
Mathematical and Computer Modelling: An International Journal
SMT-RAT: an SMT-compliant nonlinear real arithmetic toolbox
SAT'12 Proceedings of the 15th international conference on Theory and Applications of Satisfiability Testing
Speeding up cylindrical algebraic decomposition by gröbner bases
CICM'12 Proceedings of the 11th international conference on Intelligent Computer Mathematics
δ-complete decision procedures for satisfiability over the reals
IJCAR'12 Proceedings of the 6th international joint conference on Automated Reasoning
IJCAR'12 Proceedings of the 6th international joint conference on Automated Reasoning
Delta-Decidability over the Reals
LICS '12 Proceedings of the 2012 27th Annual IEEE/ACM Symposium on Logic in Computer Science
Timed relational abstractions for sampled data control systems
CAV'12 Proceedings of the 24th international conference on Computer Aided Verification
Interpolation-Based height analysis for improving a recurrence solver
FOPARA'11 Proceedings of the Second international conference on Foundational and Practical Aspects of Resource Analysis
Beyond first-order satisfaction: fixed points, interpolants, automata and polynomials
SPIN'12 Proceedings of the 19th international conference on Model Checking Software
Algorithms for Rational Real Algebraic Curves
Fundamenta Informaticae
Natural algorithms and influence systems
Communications of the ACM
Symbolic termination analysis of solvable loops
Journal of Symbolic Computation
Synthesis of sup-interpretations: A survey
Theoretical Computer Science
Simplification Orderings: History Of Results
Fundamenta Informaticae
ACM Communications in Computer Algebra
ACM Communications in Computer Algebra
Cylindrical algebraic decompositions for boolean combinations
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
Termination conditions for positivity proving procedures
Proceedings of the 38th international symposium on International symposium on symbolic and algebraic computation
Verified error bounds for real solutions of positive-dimensional polynomial systems
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
Numerically Computing Real Points on Algebraic Sets
Acta Applicandae Mathematicae: an international survey journal on applying mathematics and mathematical applications
Computer algebra methods in the study of nonlinear differential systems
Computational Mathematics and Mathematical Physics
Formalization of Bernstein Polynomials and Applications to Global Optimization
Journal of Automated Reasoning
A symbiosis of interval constraint propagation and cylindrical algebraic decomposition
CADE'13 Proceedings of the 24th international conference on Automated Deduction
dReal: an SMT solver for nonlinear theories over the reals
CADE'13 Proceedings of the 24th international conference on Automated Deduction
Optimising problem formulation for cylindrical algebraic decomposition
CICM'13 Proceedings of the 2013 international conference on Intelligent Computer Mathematics
A local Fourier convergence analysis of a multigrid method using symbolic computation
Journal of Symbolic Computation
Checking existence of solutions of partial differential equations in the fields of Laurent series
Programming and Computing Software
| Hi-index | 0.02 |