Pages that link to "Item:Q4928437"
From MaRDI portal
The following pages link to Computation in Real Closed Infinitesimal and Transcendental Extensions of the Rationals (Q4928437):
Displayed 8 items.
- Formally-verified decision procedures for univariate polynomial computation based on Sturm's and Tarski's theorems (Q287269) (← links)
- Global optimization advances in mixed-integer nonlinear programming, MINLP, and constrained derivative-free optimization, CDFO (Q322958) (← links)
- Deciding univariate polynomial problems using untrusted certificates in Isabelle/HOL (Q1725844) (← links)
- The \texttt{ksmt} calculus is a \(\delta \)-complete decision procedure for non-linear constraints (Q2055849) (← links)
- Time-bounded termination analysis for probabilistic programs with delays (Q2216132) (← links)
- A conflict-driven solving procedure for poly-power constraints (Q2303230) (← links)
- Decidability of Univariate Real Algebra with Predicates for Rational and Integer Powers (Q3454091) (← links)
- The ksmt calculus is a \(\delta \)-complete decision procedure for non-linear constraints (Q6076350) (← links)