Publication | Date of Publication | Type |
---|
Switching controller synthesis for delay hybrid systems under perturbations | 2024-02-21 | Paper |
Deciding first-order formulas involving univariate mixed trigonometric-polynomials | 2023-11-03 | Paper |
Isolating all the real roots of a mixed trigonometric-polynomial | 2023-09-19 | Paper |
Early Ending in Homotopy Path-Tracking for Real Roots | 2023-06-30 | Paper |
Monitoring CTMCs by multi-clock timed automata | 2023-05-26 | Paper |
Choosing better variable orderings for cylindrical algebraic decomposition via exploiting chordal structure | 2022-11-21 | Paper |
Finding Polynomial Loop Invariants for Probabilistic Programs | 2022-08-12 | Paper |
Block SOS decomposition | 2022-03-21 | Paper |
Nonlinear Craig interpolant generation | 2021-02-04 | Paper |
A New Sparse SOS Decomposition Algorithm Based on Term Sparsity | 2020-09-10 | Paper |
An Effective Framework for Constructing Exponent Lattice Basis of Nonzero Algebraic Numbers | 2020-09-10 | Paper |
Logcf: an efficient tool for real root isolation | 2020-01-20 | Paper |
Generic regular decompositions for generic zero-dimensional systems | 2019-11-18 | Paper |
A hybrid procedure for finding real points on a real algebraic set | 2019-03-06 | Paper |
Open weak CAD and its applications | 2019-01-21 | Paper |
Reachability Analysis for Solvable Dynamical Systems | 2018-09-18 | Paper |
A special homotopy continuation method for a class of polynomial systems | 2018-02-23 | Paper |
Generating semi-algebraic invariants for non-autonomous polynomial hybrid systems | 2017-09-06 | Paper |
Barrier certificates revisited | 2017-02-06 | Paper |
Interpolant Synthesis for Quadratic Polynomial Inequalities and Combination with EUF | 2016-09-05 | Paper |
Automated Inequality Proving and Discovering | 2016-07-12 | Paper |
Real Root Isolation of Polynomial Equations Based on Hybrid Computation | 2016-04-12 | Paper |
Generic regular decompositions for parametric polynomial systems | 2016-01-14 | Paper |
Decidability of the Reachability for a Family of Linear Vector Fields | 2016-01-08 | Paper |
Constructing fewer open cells by GCD computation in CAD projection | 2015-11-11 | Paper |
Smaller SDP for SOS decomposition | 2015-10-20 | Paper |
Triangular decomposition of semi-algebraic systems | 2015-09-17 | Paper |
Proving inequalities and solving global optimization problems via simplified CAD projection | 2015-08-19 | Paper |
Stability analysis of biological systems with real solution classification | 2015-07-16 | Paper |
Computing with semi-algebraic sets represented by triangular decomposition | 2015-06-09 | Paper |
Special algorithm for stability analysis of multistable biological regulatory systems | 2015-05-04 | Paper |
Computing the real solutions of polynomial systems with the RegularChains library in Maple | 2015-02-20 | Paper |
Hierarchical Comprehensive Triangular Decomposition | 2014-09-08 | Paper |
Discovering polynomial Lyapunov functions for continuous dynamical systems | 2014-03-03 | Paper |
Generating Non-linear Interpolants by Semidefinite Programming | 2013-11-26 | Paper |
Recent advances in program verification through computer algebra | 2013-07-04 | Paper |
On solving parametric polynomial systems | 2013-04-25 | Paper |
Computing with semi-algebraic sets: relaxation techniques and effective boundaries | 2013-03-11 | Paper |
Triangular decomposition of semi-algebraic systems | 2013-01-10 | Paper |
Non-termination Sets of Simple Linear Loops | 2012-09-21 | Paper |
Computing cylindrical algebraic decomposition via triangular decomposition | 2012-05-13 | Paper |
Zero Decomposition with Multiplicity of Zero-Dimensional Polynomial Systems | 2012-01-27 | Paper |
Stability of Triangular Decomposition and Comprehensive Triangular Decomposition | 2011-10-28 | Paper |
Real solution isolation with multiplicity of zero-dimensional triangular systems | 2011-06-17 | Paper |
Symbolic decision procedure for termination of linear programs | 2011-05-27 | Paper |
Condition number based complexity estimate for solving polynomial systems | 2011-03-09 | Paper |
Termination of linear programs with nonlinear constraints | 2010-11-10 | Paper |
A semi-algebraic approach for asymptotic stability analysis | 2009-11-13 | Paper |
Quantifier Elimination for Quartics | 2009-01-15 | Paper |
Generating Polynomial Invariants with DISCOVERER and QEPCAD | 2008-09-25 | Paper |
Discovering Non-linear Ranking Functions by Solving Semi-algebraic Systems | 2008-09-17 | Paper |
On a cubic system with eight limit cycles | 2008-02-04 | Paper |
Solution to the generalized champagne problem on simultaneous stabilization of linear systems | 2007-12-06 | Paper |
A complete algorithm for automated discovering of a class of inequality-type theorems | 2007-02-20 | Paper |
https://portal.mardi4nfdi.de/entity/Q5718720 | 2006-01-16 | Paper |
A new result on the \(p\)-irreducibility of binding polynomials | 2005-04-07 | Paper |
https://portal.mardi4nfdi.de/entity/Q4810728 | 2004-08-16 | Paper |
A complete algorithm for counting real solutions of polynomial systems of equations and inequalities. | 2003-12-14 | Paper |
https://portal.mardi4nfdi.de/entity/Q4550812 | 2003-04-27 | Paper |
An algorithm for isolating the real solutions of semi-algebraic systems | 2003-03-23 | Paper |
https://portal.mardi4nfdi.de/entity/Q4790442 | 2003-01-28 | Paper |
https://portal.mardi4nfdi.de/entity/Q4946077 | 2000-03-22 | Paper |
https://portal.mardi4nfdi.de/entity/Q4244779 | 1999-06-20 | Paper |
https://portal.mardi4nfdi.de/entity/Q4215323 | 1999-01-06 | Paper |