Formalising the h-principle and sphere eversion
F van Doorn, P Massot, O Nash - Proceedings of the 12th ACM SIGPLAN …, 2023 - dl.acm.org
In differential topology and geometry, the h-principle is a property enjoyed by certain
construction problems. Roughly speaking, it states that the only obstructions to the existence …
construction problems. Roughly speaking, it states that the only obstructions to the existence …
General non-linear imitation leads to limit cycles in eco-evolutionary dynamics
Y Liu, L Cao, B Wu - Chaos, Solitons & Fractals, 2022 - Elsevier
Eco-evolutionary dynamics is crucial to understand how individuals' behaviors and the
surrounding environment interplay with each other. Typically, it is assumed that individuals …
surrounding environment interplay with each other. Typically, it is assumed that individuals …
What is the point of computers? A question for pure mathematicians
K Buzzard - International Congress of Mathematicians, 2022 - content.ems.press
What is the point of computers? A question for pure mathematicians Page 1 What is the point of
computers? A question for pure mathematicians Kevin Buzzard Abstract We discuss the idea …
computers? A question for pure mathematicians Kevin Buzzard Abstract We discuss the idea …
Formalizing Pick's Theorem in Isabelle/HOL
S Binder, K Kosaian - International Conference on Intelligent Computer …, 2024 - Springer
We formalize Pick's theorem for finding the area of a simple polygon whose vertices are
integral lattice points. We are inspired by John Harrison's formalization of Pick's theorem in …
integral lattice points. We are inspired by John Harrison's formalization of Pick's theorem in …
A Formal Analysis of Capacity Scaling Algorithms for Minimum Cost Flows
M Abdulaziz, T Ammer - 15th International Conference on …, 2024 - drops.dagstuhl.de
We present a formalisation of the correctness of algorithms to solve minimum-cost flow
problems, in Isabelle/HOL. Two of the algorithms are based on the technique of scaling …
problems, in Isabelle/HOL. Two of the algorithms are based on the technique of scaling …
A Formal Analysis of Capacity Scaling Algorithms for Minimum Cost Flows
MA Mansour, T Ammer - The 15th International Conference on …, 2024 - kclpure.kcl.ac.uk
We present a formalisation of the correctness of algorithms to solve minimum-cost flow
problems, in Isabelle/HOL. Two of the algorithms are based on the technique of scaling …
problems, in Isabelle/HOL. Two of the algorithms are based on the technique of scaling …
A Mechanized Error Analysis Framework for End-to-End Verification of Numerical Programs
M Tekriwal - 2023 - deepblue.lib.umich.edu
The behavior of physical systems is usually modeled by differential equations. For instance,
the aerodynamics of airplanes is modeled by the Navier-Stokes equation; problems of …
the aerodynamics of airplanes is modeled by the Navier-Stokes equation; problems of …
in Isabelle/HOL
S Binder, K Kosaian - … CICM 2024, Montréal, QC, Canada, August …, 2024 - books.google.com
We formalize Pick's theorem for finding the area of a sim-ple polygon whose vertices are
integral lattice points. We are inspired by John Harrison's formalization of Pick's theorem in …
integral lattice points. We are inspired by John Harrison's formalization of Pick's theorem in …