SmartMOBILE and its Applications to Guaranteed Modeling and Simulation of Mechanical Systems (Q3564542): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-540-85640-5_11
+Normal rank
@@ Property / OpenAlex ID @@
+W171434551
@@ Property / OpenAlex ID: W171434551 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5566070
@@ Property / cites work: Q5566070 / rank @@
+Normal rank
@@ Property / cites work @@
+Affine arithmetic: concepts and applications
@@ Property / cites work: Affine arithmetic: concepts and applications / 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 @@
+Q2765424
@@ Property / cites work: Q2765424 / rank @@
+Normal rank
@@ Property / cites work @@
+Validated Modeling of Mechanical Systems with SmartMOBILE: Improvement of Performance by ValEncIA-IVP
+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 @@
+FILIB++, a fast interval library supporting containment computations
+Normal rank
@@ Property / cites work @@
+Q5286655
@@ Property / cites work: Q5286655 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4835644
@@ Property / cites work: Q4835644 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3813179
@@ Property / cites work: Q3813179 / rank @@
+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 @@
+Q4954403
@@ Property / cites work: Q4954403 / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithm 755: ADOL-C
@@ Property / cites work: Algorithm 755: ADOL-C / rank @@
+Normal rank
@@ Property / cites work @@
+Q4949367
@@ Property / cites work: Q4949367 / rank @@
+Normal rank
@@ Property / cites work @@
+Interval modeling of dynamics for multibody systems
+Normal rank
@@ Property / cites work @@
+Numerical Software with Result Verification
@@ Property / cites work: Numerical Software with Result Verification / rank @@
+Normal rank
@@ Property / cites work @@
+The Monte Carlo Method
@@ Property / cites work: The Monte Carlo Method / rank @@
+Normal rank