scientific article; zbMATH DE number 1543332

zbMath0963.03053MaRDI QIDQ4520808

Stefan Ratschan

Publication date: 27 February 2001

Full work available at URL: http://www.jucs.org/jucs_6_9/uncertainty_propagation_in_heterogeneous

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

computational logicinterval computationapproximate computationuncertainty propagationheterogeneous algebraquantified constraints

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Logic in computer science (03B70) Applications of universal algebra in computer science (08A70) Mechanization of proofs and logical operations (03B35) Heterogeneous algebras (08A68)

Related Items (5)

Combining interval analysis with flatness theory for state estimation of sailboat robots ⋮ Interval-based projection method for under-constrained numerical systems ⋮ On a decision procedure for quantified linear programs ⋮ Quantifier elimination supported proofs in the numerical treatment of fluid flows ⋮ Quantified constraints under perturbation

Uses Software

• QEPCAD
• AQCS

This page was built for publication: