Solving systems of strict polynomial inequalities

Improved projection for cylindrical algebraic decomposition

Journal of Symbolic Computation

A generic projection operator for partial cylindrical algebraic decomposition

ISSAC '03 Proceedings of the 2003 international symposium on Symbolic and algebraic computation

QEPCAD B: a program for computing with semi-algebraic sets using CADs

ACM SIGSAM Bulletin

A procedure for proving special function inequalities involving a discrete parameter

Proceedings of the 2005 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

Model Checking Logic WCTL with Multi Constrained Modalities on One Clock Priced Timed Automata

FORMATS '09 Proceedings of the 7th International Conference on Formal Modeling and Analysis of Timed Systems

Typing linear constraints

ACM Transactions on Programming Languages and Systems (TOPLAS)

Computation with semialgebraic sets represented by cylindrical algebraic formulas

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

When can we detect that a P-finite sequence is positive?

Proceedings of the 2010 International Symposium on Symbolic and Algebraic Computation

Parametric qualitative analysis of ordinary differential equations: computer algebra methods for excluding oscillations

CASC'10 Proceedings of the 12th international conference on Computer algebra in scientific computing

Computing with semi-algebraic sets represented by triangular decomposition

Proceedings of the 36th international symposium on Symbolic and algebraic computation

Dominance in the family of Sugeno--Weber t-norms

Fuzzy Sets and Systems

Original article: Computing integrals over polynomially defined regions and their boundaries in 2 and 3 dimensions

Mathematics and Computers in Simulation

Trading order for degree in creative telescoping

Journal of Symbolic Computation

An effective implementation of a symbolic-numeric cylindrical algebraic decomposition for optimization problems

Proceedings of the 2011 International Workshop on Symbolic-Numeric Computation

Real algebraic strategies for metitarski proofs

CICM'12 Proceedings of the 11th international conference on Intelligent Computer Mathematics

Triangular decomposition of semi-algebraic systems

Journal of Symbolic Computation

Computing with semi-algebraic sets: Relaxation techniques and effective boundaries

Journal of Symbolic Computation

Solving polynomial systems over semialgebraic sets represented by cylindrical algebraic formulas

Proceedings of the 37th International Symposium on Symbolic and Algebraic Computation

An effective implementation of symbolic-numeric cylindrical algebraic decomposition for quantifier elimination

Theoretical Computer Science

Termination conditions for positivity proving procedures

Proceedings of the 38th international symposium on International symposium on symbolic and algebraic computation

Constructing a single open cell in a cylindrical algebraic decomposition

Proceedings of the 38th international symposium on International symposium on symbolic and algebraic computation

Discovering polynomial Lyapunov functions for continuous dynamical systems

Journal of Symbolic Computation

A local Fourier convergence analysis of a multigrid method using symbolic computation

Journal of Symbolic Computation