Pages that link to "Item:Q5938543"
From MaRDI portal
The following pages link to Simple CAD construction and its applications (Q5938543):
Displaying 12 items.
- Computing integrals over polynomially defined regions and their boundaries in 2 and 3 dimensions (Q417963) (← links)
- Fast simplifications for Tarski formulas based on monomial inequalities (Q420752) (← links)
- Constraint Markov chains (Q554215) (← links)
- Solving parametric piecewise polynomial systems (Q651936) (← links)
- Real zeros of the zero-dimensional parametric piecewise algebraic variety (Q1041521) (← links)
- From simplification to a partial theory solver for non-linear real polynomial constraints (Q2307623) (← links)
- Special algorithm for stability analysis of multistable biological regulatory systems (Q2343243) (← links)
- Algorithmic methods for investigating equilibria in epidemic modeling (Q2457392) (← links)
- Real quantifier elimination for the synthesis of optimal numerical algorithms (case study: square root computation) (Q2635072) (← links)
- A Simple Quantifier-Free Formula of Positive Semidefinite Cyclic Ternary Quartic Forms (Q2799565) (← links)
- A DECISION PROCEDURE FOR PROBABILITY CALCULUS WITH APPLICATIONS (Q3580663) (← links)
- Numerical and Symbolic Studies of the Peaceable Queens Problem (Q5070655) (← links)