The following pages link to Bican Xia (Q351969):
Displayed 50 items.
- Recent advances in program verification through computer algebra (Q351971) (← links)
- Proving inequalities and solving global optimization problems via simplified CAD projection (Q492036) (← links)
- Barrier certificates revisited (Q507352) (← links)
- Symbolic decision procedure for termination of linear programs (Q539162) (← links)
- Real solution isolation with multiplicity of zero-dimensional triangular systems (Q543162) (← links)
- Termination of linear programs with nonlinear constraints (Q604395) (← links)
- Condition number based complexity estimate for solving polynomial systems (Q629539) (← links)
- Smaller SDP for SOS decomposition (Q746820) (← links)
- A complete algorithm for automated discovering of a class of inequality-type theorems (Q865930) (← links)
- Generic regular decompositions for parametric polynomial systems (Q905159) (← links)
- A semi-algebraic approach for asymptotic stability analysis (Q1036644) (← links)
- A complete algorithm for counting real solutions of polynomial systems of equations and inequalities. (Q1416272) (← links)
- A special homotopy continuation method for a class of polynomial systems (Q1699346) (← links)
- Open weak CAD and its applications (Q1711996) (← links)
- A hybrid procedure for finding real points on a real algebraic set (Q1730309) (← links)
- A new result on the \(p\)-irreducibility of binding polynomials (Q1770695) (← links)
- An algorithm for isolating the real solutions of semi-algebraic systems (Q1864897) (← links)
- Computing with semi-algebraic sets: relaxation techniques and effective boundaries (Q1940931) (← links)
- On solving parametric polynomial systems (Q1949089) (← links)
- Choosing better variable orderings for cylindrical algebraic decomposition via exploiting chordal structure (Q2100061) (← links)
- Nonlinear Craig interpolant generation (Q2225119) (← links)
- Logcf: an efficient tool for real root isolation (Q2287381) (← links)
- Generic regular decompositions for generic zero-dimensional systems (Q2335932) (← links)
- Special algorithm for stability analysis of multistable biological regulatory systems (Q2343243) (← links)
- Generating semi-algebraic invariants for non-autonomous polynomial hybrid systems (Q2402231) (← links)
- Discovering polynomial Lyapunov functions for continuous dynamical systems (Q2437283) (← links)
- Solution to the generalized champagne problem on simultaneous stabilization of linear systems (Q2463841) (← links)
- On a cubic system with eight limit cycles (Q2469080) (← links)
- Real Root Isolation of Polynomial Equations Based on Hybrid Computation (Q2799571) (← links)
- Interpolant Synthesis for Quadratic Polynomial Inequalities and Combination with EUF (Q2817919) (← links)
- Generating Non-linear Interpolants by Semidefinite Programming (Q2864839) (← links)
- Hierarchical Comprehensive Triangular Decomposition (Q2879158) (← links)
- Computing cylindrical algebraic decomposition via triangular decomposition (Q2883805) (← links)
- Non-termination Sets of Simple Linear Loops (Q2915099) (← links)
- Zero Decomposition with Multiplicity of Zero-Dimensional Polynomial Systems (Q3110295) (← links)
- Automated Inequality Proving and Discovering (Q3178360) (← links)
- Constructing fewer open cells by GCD computation in CAD projection (Q3452400) (← links)
- Decidability of the Reachability for a Family of Linear Vector Fields (Q3460586) (← links)
- Discovering Non-linear Ranking Functions by Solving Semi-algebraic Systems (Q3525073) (← links)
- Generating Polynomial Invariants with DISCOVERER and QEPCAD (Q3526926) (← links)
- (Q4215323) (← links)
- (Q4244779) (← links)
- (Q4550812) (← links)
- Reachability Analysis for Solvable Dynamical Systems (Q4682245) (← links)
- (Q4790442) (← links)
- (Q4810728) (← links)
- (Q4946077) (← links)
- Block SOS decomposition (Q5064244) (← links)
- Finding Polynomial Loop Invariants for Probabilistic Programs (Q5096098) (← links)
- A New Sparse SOS Decomposition Algorithm Based on Term Sparsity (Q5121129) (← links)