Proof Verification Technology and Elementary Physics
From MaRDI portal
Publication:3296311
DOI10.1007/978-1-4939-9051-1_4zbMath1454.68162OpenAlexW2912968835MaRDI QIDQ3296311
Publication date: 7 July 2020
Published in: Algorithms and Complexity in Mathematics, Epistemology, and Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-1-4939-9051-1_4
Physics (00A79) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- The scope and limits of simulation in automated reasoning
- How does a box work? A study in the qualitative dynamics of solid objects
- The axiomatic method. With special reference to geometry and physics. Proceedings of an International Symposium held at the University of California, Berkeley, December 26, 1957 -- January 4, 1958
- The kinematics of cutting solid objects
- Solution of the Robbins problem
- Isabelle/HOL. A proof assistant for higher-order logic
- Physics and proof theory
- David Hilbert and the axiomatization of physics (1898--1918). From Grundlagen der Geometrie to Grundlagen der Physik.
- Pouring liquids: a study in commonsense physical reasoning
- Commonsense reasoning about containers using radically incomplete information
- From Boltzmann to Euler: Hilbert's 6th problem revisited
- Formalizing an analytic proof of the prime number theorem
- How to Grow a Mind: Statistics, Structure, and Abstraction
- Struktur der Materie
- Probability Theory
- Mathematics, Substance and Surmise
- A formally verified proof of the prime number theorem
- The Bayesian Treatment of Auxiliary Hypotheses: Reply to Fitelson and Waterman
- A Machine-Checked Proof of the Odd Order Theorem
- Logical Formalizations of Commonsense Reasoning: A Survey
- Geometry Revealed
This page was built for publication: Proof Verification Technology and Elementary Physics