An application of Taylor models to the Nakao method on ODEs (Q849188): Difference between revisions

@@ Property / describes a project that uses @@
+Cosy
@@ Property / describes a project that uses: Cosy / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q3925093
@@ Property / cites work: Q3925093 / rank @@
+Normal rank
@@ Property / cites work @@
+Verified integration of dynamics in the solar system.
+Normal rank
@@ Property / cites work @@
+Rigorously computed orbits of dynamical systems without the wrapping effect
+Normal rank
@@ Property / cites work @@
+Q2765424
@@ Property / cites work: Q2765424 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3125536
@@ Property / cites work: Q3125536 / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient control of the dependency problem based on Taylor model methods
+Normal rank
@@ Property / cites work @@
+Q4808034
@@ Property / cites work: Q4808034 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5444070
@@ Property / cites work: Q5444070 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5566070
@@ Property / cites work: Q5566070 / rank @@
+Normal rank
@@ Property / cites work @@
+NUMERICAL VERIFICATION METHODS FOR SOLUTIONS OF ORDINARY AND PARTIAL DIFFERENTIAL EQUATIONS
+Normal rank
@@ Property / cites work @@
+Q4284595
@@ Property / cites work: Q4284595 / rank @@
+Normal rank
@@ Property / cites work @@
+Taylor models and floating-point arithmetic: proof that arithmetic operations are validated in COSY
+Normal rank
@@ Property / cites work @@
+Q4321538
@@ Property / cites work: Q4321538 / rank @@
+Normal rank