A verified ODE solver and the Lorenz attractor (Q1663218): Difference between revisions

@@ Property / describes a project that uses @@
+gmp
@@ Property / describes a project that uses: gmp / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CakeML
@@ Property / describes a project that uses: CakeML / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Archive Formal Proofs
@@ Property / describes a project that uses: Archive Formal Proofs / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+RODES
@@ Property / describes a project that uses: RODES / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Transfer
@@ Property / describes a project that uses: Transfer / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Isabelle/HOL
@@ Property / describes a project that uses: Isabelle/HOL / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Refinement Monadic
@@ Property / describes a project that uses: Refinement Monadic / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Autoref
@@ Property / describes a project that uses: Autoref / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Lifting
@@ Property / describes a project that uses: Lifting / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Dictionary Construction
@@ Property / describes a project that uses: Dictionary Construction / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Affine Arithmetic
@@ Property / describes a project that uses: Affine Arithmetic / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Ordinary Differential Equations
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q90699726
@@ Property / Wikidata QID: Q90699726 / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s10817-017-9448-y
+Normal rank
@@ Property / OpenAlex ID @@
+W2792892743
@@ Property / OpenAlex ID: W2792892743 / rank @@
+Normal rank
@@ Property / cites work @@
+Refinement Calculus
@@ Property / cites work: Refinement Calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Wave equation numerical resolution: a comprehensive mechanized proof of a C program
+Normal rank
@@ Property / cites work @@
+Designing and proving correct a convex hull algorithm with hypermaps in Coq
+Normal rank
@@ Property / cites work @@
+Affine arithmetic: concepts and applications
@@ Property / cites work: Affine arithmetic: concepts and applications / rank @@
+Normal rank
@@ Property / cites work @@
+Zonotope/Hyperplane Intersection for Hybrid Systems Reachability Analysis
+Normal rank
@@ Property / cites work @@
+A compiled implementation of strong reduction
@@ Property / cites work: A compiled implementation of strong reduction / rank @@
+Normal rank
@@ Property / cites work @@
+Data Refinement in Isabelle/HOL
@@ Property / cites work: Data Refinement in Isabelle/HOL / rank @@
+Normal rank
@@ Property / cites work @@
+Constructive Type Classes in Isabelle
@@ Property / cites work: Constructive Type Classes in Isabelle / rank @@
+Normal rank
@@ Property / cites work @@
+Theorem Proving in Higher Order Logics
@@ Property / cites work: Theorem Proving in Higher Order Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4790670
@@ Property / cites work: Q4790670 / 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 @@
+Singular hyperbolic systems
@@ Property / cites work: Singular hyperbolic systems / rank @@
+Normal rank
@@ Property / cites work @@
+Proving tight bounds on univariate expressions with elementary functions in Coq
+Normal rank
@@ Property / cites work @@
+A Verified Enclosure for the Lorenz Attractor (Rough Diamond)
+Normal rank
@@ Property / cites work @@
+Numerical Analysis of Ordinary Differential Equations in Isabelle/HOL
+Normal rank
@@ Property / cites work @@
+The Flow of ODEs
@@ Property / cites work: The Flow of ODEs / rank @@
+Normal rank
@@ Property / cites work @@
+Axioms and hulls
@@ Property / cites work: Axioms and hulls / rank @@
+Normal rank
@@ Property / cites work @@
+CakeML
@@ Property / cites work: CakeML / rank @@
+Normal rank
@@ Property / cites work @@
+Automatic Data Refinement
@@ Property / cites work: Automatic Data Refinement / rank @@
+Normal rank
@@ Property / cites work @@
+Deterministic Nonperiodic Flow
@@ Property / cites work: Deterministic Nonperiodic Flow / rank @@
+Normal rank
@@ Property / cites work @@
+Formally Verified Approximations of Definite Integrals
+Normal rank
@@ Property / cites work @@
+The Picard Algorithm for Ordinary Differential Equations in Coq
+Normal rank
@@ Property / cites work @@
+Automated Deduction in Geometry
@@ Property / cites work: Automated Deduction in Geometry / rank @@
+Normal rank
@@ Property / cites work @@
+Theorem Proving in Higher Order Logics
@@ Property / cites work: Theorem Proving in Higher Order Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Isabelle/HOL. A proof assistant for higher-order logic
+Normal rank
@@ Property / cites work @@
+Q4226356
@@ Property / cites work: Q4226356 / rank @@
+Normal rank
@@ Property / cites work @@
+Mathematical problems for the next century
@@ Property / cites work: Mathematical problems for the next century / rank @@
+Normal rank
@@ Property / cites work @@
+The Lorenz equations: bifurcations, chaos, and strange attractors
+Normal rank
@@ Property / cites work @@
+The Lorenz attractor exists
@@ Property / cites work: The Lorenz attractor exists / rank @@
+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
@@ Property / cites work @@
+What's new on Lorenz strange attractors?
@@ Property / cites work: What's new on Lorenz strange attractors? / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1663218