Numerical Software with Result Verification
From MaRDI portal
Publication:5308348
DOI10.1007/b96498zbMath1126.65311OpenAlexW203078251MaRDI QIDQ5308348
Ekaterina Auer, Andrés Kecskeméthy, Holger Traczinski
Publication date: 28 September 2007
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b96498
Computational methods for problems pertaining to mechanics of particles and systems (70-08) Interval and finite arithmetic (65G30) Algorithms with automatic result verification (65G20) Dynamics of multibody systems (70E55)
Related Items (4)
Validated Modeling of Mechanical Systems with SmartMOBILE: Improvement of Performance by ValEncIA-IVP ⋮ Interval modeling of dynamics for multibody systems ⋮ SmartMOBILE and its Applications to Guaranteed Modeling and Simulation of Mechanical Systems ⋮ MOBILE
Uses Software
This page was built for publication: Numerical Software with Result Verification
