Publication:3012165

zbMath1221.65002MaRDI QIDQ3012165

Walter Krämer

Publication date: 5 July 2011

zbMATH Keywords

computer-assisted proofs; interval functions; arbitrary precision; C-XSC; \texttt{intpakX}; extension of \texttt{Maple}; self-verifying methods

Mathematics Subject Classification ID

68W30: Symbolic computation and algebraic computation

65Y15: Packaged methods for numerical algorithms

65-04: Software, source code, etc. for problems pertaining to numerical analysis

Uses Software

• C-XSC
• C-XSC 2.0
• intpakX
• Maple
• Mathematica
• MPFI
• PNM