Numerical Software with Result Verification
DOI10.1007/B96498zbMATH Open1126.65311OpenAlexW203078251MaRDI QIDQ5308348FDOQ5308348
Authors: Ekaterina Auer, Andrés Kecskeméthy, Martin Tändl, 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
Recommendations
- Interval modeling of dynamics for multibody systems
- Modeling of multibody systems with interval arithmetic
- SmartMOBILE and its applications to guaranteed modeling and simulation of mechanical systems
- Validated Modeling of Mechanical Systems with SmartMOBILE: Improvement of Performance by ValEncIA-IVP
- Interval analysis: Theory and applications
Dynamics of multibody systems (70E55) Interval and finite arithmetic (65G30) Algorithms with automatic result verification (65G20) Computational methods for problems pertaining to mechanics of particles and systems (70-08)
Cited In (7)
- Interval uncertain method for multibody mechanical systems using Chebyshev inclusion functions
- Interval modeling of dynamics for multibody systems
- Modeling of multibody systems with interval arithmetic
- Toward verified modelling and simulation of closed loop systems in SMARTMOBILE
- MOBILE
- Validated Modeling of Mechanical Systems with SmartMOBILE: Improvement of Performance by ValEncIA-IVP
- SmartMOBILE and its applications to guaranteed modeling and simulation of mechanical systems
Uses Software
This page was built for publication: Numerical Software with Result Verification
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5308348)
