Computation in Real Closed Infinitesimal and Transcendental Extensions of the Rationals
From MaRDI portal
Publication:4928437
DOI10.1007/978-3-642-38574-2_12zbMath1381.68278OpenAlexW2145377870MaRDI QIDQ4928437
Leonardo de Moura, Grant Olney Passmore
Publication date: 14 June 2013
Published in: Automated Deduction – CADE-24 (Search for Journal in Brave)
Full work available at URL: https://www.pure.ed.ac.uk/ws/files/17472207/Moura_and_Passmore_2013_Computation_in_real_closed_infinitesimal.pdf
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (8)
Formally-verified decision procedures for univariate polynomial computation based on Sturm's and Tarski's theorems ⋮ Decidability of Univariate Real Algebra with Predicates for Rational and Integer Powers ⋮ Global optimization advances in mixed-integer nonlinear programming, MINLP, and constrained derivative-free optimization, CDFO ⋮ The ksmt calculus is a \(\delta \)-complete decision procedure for non-linear constraints ⋮ Time-bounded termination analysis for probabilistic programs with delays ⋮ Deciding univariate polynomial problems using untrusted certificates in Isabelle/HOL ⋮ A conflict-driven solving procedure for poly-power constraints ⋮ The \texttt{ksmt} calculus is a \(\delta \)-complete decision procedure for non-linear constraints
Uses Software
This page was built for publication: Computation in Real Closed Infinitesimal and Transcendental Extensions of the Rationals
