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)
Stability analysis of biological systems with real solution classification
Proceedings of the 2005 international symposium on Symbolic and algebraic computation
A robust algorithm for finding the real intersections of three quadric surfaces
Computer Aided Geometric Design
Global dynamics of an epidemic model with an unspecified degree
Computers & Mathematics with Applications
The complete root classification of a parametric polynomial on an interval
Proceedings of the twenty-first international symposium on Symbolic and algebraic computation
Program Verification by Using DISCOVERER
Verified Software: Theories, Tools, Experiments
Real algebraic numbers and polynomial systems of small degree
Theoretical Computer Science
Automatic computation of the complete root classification for a parametric polynomial
Journal of Symbolic Computation
A robust algorithm for finding the real intersections of three quadric surfaces
Computer Aided Geometric Design
A new result on the p-irreducibility of binding polynomials
Computers & Mathematics with Applications
Discovering non-linear ranking functions by solving semi-algebraic systems
ICTAC'07 Proceedings of the 4th international conference on Theoretical aspects of computing
Generating polynomial invariants with DISCOVERER and QEPCAD
Formal methods and hybrid real-time systems
APLAS'10 Proceedings of the 8th Asian conference on Programming languages and systems
Semi-algebraic description of the equilibria of dynamical systems
CASC'11 Proceedings of the 13th international conference on Computer algebra in scientific computing
Program verification through computer algebra
ICFEM'06 Proceedings of the 8th international conference on Formal Methods and Software Engineering
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
| Hi-index | 0.00 |