The Flow of ODEs (Q2829258): Difference between revisions

@@ Property / cites work @@
+Q2885005
@@ Property / cites work: Q2885005 / rank @@
+Normal rank
@@ Property / cites work @@
+Type Classes and Filters for Mathematical Analysis in Isabelle/HOL
+Normal rank
@@ Property / cites work @@
+Lifting and Transfer: A Modular Design for Quotients in Isabelle/HOL
+Normal rank
@@ Property / cites work @@
+Numerical Analysis of Ordinary Differential Equations in Isabelle/HOL
+Normal rank
@@ Property / cites work @@
+Isabelle/HOL. A proof assistant for higher-order logic
+Normal rank
@@ Property / cites work @@
+A rigorous ODE solver and Smale's 14th problem
@@ Property / cites work: A rigorous ODE solver and Smale's 14th problem / rank @@
+Normal rank