- Formalization of QFT
2026/03/16 by Michael R. Douglas, Sarah Hoback, Anna Mei +1 · 1 voice
Computer Science · Physics and Astronomy · #Algebra over a field #Axiom #Constructive #Constructive proof #Euclidean geometry #Field (mathematics) #Logic, programming, and type systems #Mathematical proof #Noncommutative and Quantum Gravity Theories #Property (philosophy) #Quantum Mechanics and Applications #Quantum field theory #cs.LO #hep-th #math-ph
- A New Constructive Proof of the Malgrange-Ehrenpreis Theorem
2009/05/01 by Peter Wagner · 1 citation
Mathematics · Medicine · #History and Theory of Mathematics #Constructive proof #Constructive #Calculus (dental) #Computer-assisted proof #Proof of concept #Mathematics #Computer science #Discrete mathematics #Programming language #Automated theorem proving #Medicine
- On the solution of linear differential equations in Lie groups
1999/04/15 by Arieh Iserles, Syvert P. Nørsett · 2 citations
Computer Science · Physics and Astronomy · Mathematics · #Polynomial and algebraic computation #Nonlinear Waves and Solitons #Numerical methods for differential equations #Mathematics #Lie group #Constructive #Lie algebra #Algebra over a field #Binary number #Quadrature (astronomy) #Series (stratigraphy) #Adjoint representation #Constructive proof #Differential equation #Pure mathematics #Mathematical analysis #Discrete mathematics #Computer science #Arithmetic #Physics
- Proof Theory
1989/01/01 by Wolfram Pohlers · 6 citations
Computer Science · Mathematics · Medicine · #Algebra over a field #Algorithm #Axiom #Axiom of choice #Calculus (dental) #Computer science #Constructive #Constructive proof #Discrete mathematics #History and Theory of Mathematics #Logic, programming, and type systems #Mathematical economics #Mathematical proof #Mathematics #Medicine #Orthodontics #Programming language #Proof theory #Pure mathematics #Set theory #Sketch