scientific article
From MaRDI portal
Publication:3813151
zbMath0663.65043MaRDI QIDQ3813151
Publication date: 1988
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
symbolic computationcomputer algebrafloating point arithmeticrounding errorsfinite arithmeticalgebraic manipulation of symbolsconversion errors
Symbolic computation and algebraic computation (68W30) Roundoff error (65G50) Computer aspects of numerical algorithms (65Yxx)
Related Items (3)
A numerically rigorous proof of curve veering in an eigenvalue problem for differential equations ⋮ An effective implementation of symbolic-numeric cylindrical algebraic decomposition for quantifier elimination ⋮ Comprehensive Gröbner bases
This page was built for publication:
