scientific article; zbMATH DE number 1440927
From MaRDI portal
Publication:4949370
zbMath1097.65526MaRDI QIDQ4949370
Publication date: 28 August 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Numerical computation of solutions to systems of equations (65H10) Interval and finite arithmetic (65G30)
Related Items (4)
An effective implementation of symbolic-numeric cylindrical algebraic decomposition for quantifier elimination ⋮ Cylindrical algebraic decomposition using validated numerics ⋮ Precise numerical computation ⋮ Combining logical and algebraic techniques for natural style proving in elementary analysis
Uses Software
This page was built for publication:
