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
A New Approach for Automatic Theorem Proving in Real Geometry
Journal of Automated Reasoning
Computer algebra handbook
Convergent approximate solving of first-order constraints by approximate quantifiers
ACM Transactions on Computational Logic (TOCL)
Optimally-stable second-order accurate difference schemes for non-linear conservation laws in 3D
Applied Numerical Mathematics
Conditions for determinantal formula for resultant of a polynomial system
Proceedings of the 2006 international symposium on Symbolic and algebraic computation
The Optimal H∞ Norm of a Parametric System Achievable Using a Static Feedback Controller
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
The Optimal H∞ Norm of a Parametric System Achievable by an Output Feedback Controller
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
Variant real quantifier elimination: algorithm and application
Proceedings of the 2009 international symposium on Symbolic and algebraic computation
Optimally-stable second-order accurate difference schemes for non-linear conservation laws in 3D
Applied Numerical Mathematics
Algebraic Approach to the Computation of the Defining Polynomial of the Algebraic Riccati Equation
CASC '09 Proceedings of the 11th International Workshop on Computer Algebra in Scientific Computing
CASC'10 Proceedings of the 12th international conference on Computer algebra in scientific computing
Algebraic analysis on asymptotic stability of continuous dynamical systems
Proceedings of the 36th international symposium on Symbolic and algebraic computation
Semi-algebraic description of the equilibria of dynamical systems
CASC'11 Proceedings of the 13th international conference on Computer algebra in scientific computing
Mathematics and Computers in Simulation
Cylindrical decomposition for systems transcendental in the first variable
Journal of Symbolic Computation
Compiler-enforced memory semantics in the SACLIB computer algebra library
CASC'05 Proceedings of the 8th international conference on Computer Algebra in Scientific Computing
New domains for applied quantifier elimination
CASC'06 Proceedings of the 9th international conference on Computer Algebra in Scientific Computing
Variant quantifier elimination
Journal of Symbolic Computation
On the computation of the defining polynomial of the algebraic Riccati equation
CASC'07 Proceedings of the 10th international conference on Computer Algebra in Scientific Computing
Robust stability for parametric linear ODEs
CASC'07 Proceedings of the 10th international conference on Computer Algebra in Scientific Computing
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
Hi-index | 0.00 |