Numerical Software with Result Verification

DOI10.1007/B96498MaRDI QIDQ5308348zbMATH OpenOpenAlexFDO

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

Mathematics Subject Classification ID

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)

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

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
• MOBILE
• Toward verified modelling and simulation of closed loop systems in SMARTMOBILE
• 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

Describes a project that uses

Uses Software

• TADIFF
• Neweul
• PROFIL/BIAS

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)