scientific article
From MaRDI portal
Publication:3012165
zbMath1221.65002MaRDI QIDQ3012165
Publication date: 5 July 2011
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
computer-assisted proofsinterval functionsarbitrary precisionC-XSC\texttt{intpakX}extension of \texttt{Maple}self-verifying methods
Symbolic computation and algebraic computation (68W30) Packaged methods for numerical algorithms (65Y15) Software, source code, etc. for problems pertaining to numerical analysis (65-04)
Uses Software
This page was built for publication:
