scientific article; zbMATH DE number 589124
From MaRDI portal
Publication:4295433
zbMath0822.68118MaRDI QIDQ4295433
Publication date: 14 June 1994
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (14)
Curtains in CAD: Why Are They a Problem and How Do We Fix Them? ⋮ Variable Ordering Selection for Cylindrical Algebraic Decomposition with Artificial Neural Networks ⋮ Lazard-style CAD and Equational Constraints ⋮ Levelwise construction of a single cylindrical algebraic cell ⋮ On using Lazard's projection in CAD construction ⋮ Abstractions for hybrid systems ⋮ Deciding the consistency of non-linear real arithmetic constraints with a conflict driven search using cylindrical algebraic coverings ⋮ Validity proof of Lazard's method for CAD construction ⋮ Improved projection for cylindrical algebraic decomposition ⋮ Truth table invariant cylindrical algebraic decomposition ⋮ Fully incremental cylindrical algebraic decomposition ⋮ Cylindrical algebraic decomposition with equational constraints ⋮ Quantifier elimination for trigonometric polynomials by cylindrical trigonometric decomposition ⋮ Cooperating techniques for solving nonlinear real arithmetic in the \texttt{cvc5} SMT solver (system description)
This page was built for publication:
