Validated Modeling of Mechanical Systems with SmartMOBILE: Improvement of Performance by ValEncIA-IVP (Q5302762): Difference between revisions

Latest revision as of 22:48, 28 June 2024

scientific article; zbMATH DE number 5490489

Language	Label	Description	Also known as
English	Validated Modeling of Mechanical Systems with SmartMOBILE: Improvement of Performance by ValEncIA-IVP	scientific article; zbMATH DE number 5490489

Statements

instance of

scholarly article

0 references

title

Validated Modeling of Mechanical Systems with SmartMOBILE: Improvement of Performance by ValEncIA-IVP (English)

0 references

0 references

0 references

0 references

0 references

Reliable Implementation of Real Number Algorithms: Theory and Practice

0 references

publication date

13 January 2009

0 references

describes a project that uses

0 references

0 references

0 references

0 references

0 references

0 references

0 references

MaRDI publication profile

0 references

full work available at URL

https://doi.org/10.1007/978-3-540-85521-7_1

0 references

cites work

Numerical Software with Result Verification

0 references

Interval modeling of dynamics for multibody systems

0 references

Verified integration of ODEs and flows using differential algebraic methods on high-order Taylor models

0 references

Consistency techniques in ordinary differential equations

0 references

Q4954403

0 references

Q2713275

0 references

Q2771497

0 references

PROFIL/BIAS - A fast interval library

0 references

Q2765424

0 references

Q5444070

0 references

Q4949367

0 references

Taylor forms -- use and limits.

0 references

Q4855495

0 references

Reduction of overestimation in interval arithmetic simulation of biological wastewater treatment processes

0 references

Taylor models and floating-point arithmetic: proof that arithmetic operations are validated in COSY

0 references

Q4949347

0 references

Identifiers

zbMATH Open document ID

1165.65307

0 references

DOI

10.1007/978-3-540-85521-7_1

0 references

Mathematics Subject Classification ID

0 references

0 references

0 references

0 references

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:5302762

@@ Property / cites work @@
+Numerical Software with Result Verification
@@ Property / cites work: Numerical Software with Result Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Interval modeling of dynamics for multibody systems
+Normal rank
@@ Property / cites work @@
+Verified integration of ODEs and flows using differential algebraic methods on high-order Taylor models
+Normal rank
@@ Property / cites work @@
+Consistency techniques in ordinary differential equations
+Normal rank
@@ Property / cites work @@
+Q4954403
@@ Property / cites work: Q4954403 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2713275
@@ Property / cites work: Q2713275 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2771497
@@ Property / cites work: Q2771497 / rank @@
+Normal rank
@@ Property / cites work @@
+PROFIL/BIAS - A fast interval library
@@ Property / cites work: PROFIL/BIAS - A fast interval library / rank @@
+Normal rank
@@ Property / cites work @@
+Q2765424
@@ Property / cites work: Q2765424 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5444070
@@ Property / cites work: Q5444070 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4949367
@@ Property / cites work: Q4949367 / rank @@
+Normal rank
@@ Property / cites work @@
+Taylor forms -- use and limits.
@@ Property / cites work: Taylor forms -- use and limits. / rank @@
+Normal rank
@@ Property / cites work @@
+Q4855495
@@ Property / cites work: Q4855495 / rank @@
+Normal rank
@@ Property / cites work @@
+Reduction of overestimation in interval arithmetic simulation of biological wastewater treatment processes
+Normal rank
@@ Property / cites work @@
+Taylor models and floating-point arithmetic: proof that arithmetic operations are validated in COSY
+Normal rank
@@ Property / cites work @@
+Q4949347
@@ Property / cites work: Q4949347 / rank @@
+Normal rank