Guarded expressions in practice
ISSAC '97 Proceedings of the 1997 international symposium on Symbolic and algebraic computation
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
ISSAC '99 Proceedings of the 1999 international symposium on Symbolic and algebraic computation
ISSAC '00 Proceedings of the 2000 international symposium on Symbolic and algebraic computation
A New Approach for Automatic Theorem Proving in Real Geometry
Journal of Automated Reasoning
Solving Geometric Problems with Real Quantifier Elimination
ADG '98 Proceedings of the Second International Workshop on Automated Deduction in Geometry
A generic projection operator for partial cylindrical algebraic decomposition
ISSAC '03 Proceedings of the 2003 international symposium on Symbolic and algebraic computation
Computer algebra handbook
Multiple object semilinear motion planning
Journal of Symbolic Computation
The Maple package SyNRAC and its application to robust control design
Future Generation Computer Systems
Investigating Generic Methods to Solve Hopf Bifurcation Problems in Algebraic Biology
AB '08 Proceedings of the 3rd international conference on Algebraic Biology
Fast simplifications for Tarski formulas
Proceedings of the 2009 international symposium on Symbolic and algebraic computation
Effective Quantifier Elimination for Presburger Arithmetic with Infinity
CASC '09 Proceedings of the 11th International Workshop on Computer Algebra in Scientific Computing
SyNRAC: a Maple-package for solving real algebraic constraints
ICCS'03 Proceedings of the 1st international conference on Computational science: PartI
Black-box/white-box simplification and applications to quantifier elimination
Proceedings of the 2010 International Symposium on Symbolic and Algebraic Computation
CASC'10 Proceedings of the 12th international conference on Computer algebra in scientific computing
Solution formulas for cubic equations without or with constraints
Journal of Symbolic Computation
Verification and synthesis using real quantifier elimination
Proceedings of the 36th international symposium on Symbolic and algebraic computation
Automatic verification of the adequacy of models for families of geometric objects
ADG'08 Proceedings of the 7th international conference on Automated deduction in geometry
Quantifier elimination for constraint logic programming
CASC'05 Proceedings of the 8th international conference on Computer Algebra in Scientific Computing
Automatic parallelization of recursive functions using quantifier elimination
FLOPS'10 Proceedings of the 10th international conference on Functional and Logic Programming
Fast simplifications for Tarski formulas based on monomial inequalities
Journal of Symbolic Computation
SMT-RAT: an SMT-compliant nonlinear real arithmetic toolbox
SAT'12 Proceedings of the 15th international conference on Theory and Applications of Satisfiability Testing
Computing hopf bifurcations in chemical reaction networks using reaction coordinates
CASC'12 Proceedings of the 14th international conference on Computer Algebra in Scientific Computing
| Hi-index | 0.00 |