Verified Solution of Nonlinear Dynamic Models in Epidemiology (Q3006992): Difference between revisions

@@ Property / cites work @@
+Verified integration of ODEs and flows using differential algebraic methods on high-order Taylor models
+Normal rank
@@ Property / cites work @@
+Q4673635
@@ Property / cites work: Q4673635 / rank @@
+Normal rank
@@ Property / cites work @@
+Verified Solution Method for Population Epidemiology Models with Uncertainty
+Normal rank
@@ Property / cites work @@
+Q4445267
@@ Property / cites work: Q4445267 / rank @@
+Normal rank
@@ Property / cites work @@
+Validated solutions of initial value problems for parametric ODEs
+Normal rank
@@ Property / cites work @@
+Q4036851
@@ Property / cites work: Q4036851 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3125536
@@ Property / cites work: Q3125536 / rank @@
+Normal rank
@@ Property / cites work @@
+Validated solutions of initial value problems for ordinary differential equations
+Normal rank
@@ Property / cites work @@
+An effective high-order interval method for validating existence and uniqueness of the solution of an IVP for an ODE
+Normal rank
@@ Property / cites work @@
+On Taylor Model Based Integration of ODEs
@@ Property / cites work: On Taylor Model Based Integration of ODEs / rank @@
+Normal rank
@@ Property / cites work @@
+Taylor forms -- use and limits.
@@ Property / cites work: Taylor forms -- use and limits. / rank @@
+Normal rank