Complexity and uniformity of elimination in Presburger arithmetic
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
Mixed real-integer linear quantifier elimination
ISSAC '99 Proceedings of the 1999 international symposium on Symbolic and algebraic computation
ISSAC '99 Proceedings of the 1999 international symposium on Symbolic and algebraic computation
Deciding linear-trigonometric problems
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
Computer algebra handbook
Efficient path conditions in dependence graphs for software safety analysis
ACM Transactions on Software Engineering and Methodology (TOSEM)
Proceedings of the 2007 international symposium on Symbolic and algebraic computation
Symbolic optimization of algebraic functions
Proceedings of the twenty-first international symposium on Symbolic and algebraic computation
Investigating Generic Methods to Solve Hopf Bifurcation Problems in Algebraic Biology
AB '08 Proceedings of the 3rd international conference on Algebraic Biology
Journal of Symbolic Computation
Solution of algebraic riccati equations using the sum of roots
Proceedings of the 2009 international symposium on Symbolic and algebraic computation
Proceedings of the 2009 conference on Symbolic numeric computation
Effective Quantifier Elimination for Presburger Arithmetic with Infinity
CASC '09 Proceedings of the 11th International Workshop on Computer Algebra in Scientific Computing
Interactions Between PVS and Maple in Symbolic Analysis of Control Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Algorithmic algebraic model checking IV: characterization of metabolic networks
AB'07 Proceedings of the 2nd international conference on Algebraic biology
CASC'10 Proceedings of the 12th international conference on Computer algebra in scientific computing
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
ICCS'05 Proceedings of the 5th international conference on Computational Science - Volume Part III
A new verification procedure for partially clairvoyant scheduling
FORMATS'05 Proceedings of the Third international conference on Formal Modeling and Analysis of Timed Systems
New domains for applied quantifier elimination
CASC'06 Proceedings of the 9th international conference on Computer Algebra in Scientific Computing
Proceedings of the 2011 International Workshop on Symbolic-Numeric Computation
Weak integer quantifier elimination beyond the linear case
CASC'07 Proceedings of the 10th international conference on Computer Algebra in Scientific Computing
Theoretical Computer Science
| Hi-index | 0.00 |