Showing 1–13 of 13 results
/ Date/ Name
Dec 29, 2012Trusting Computations: a Mechanized Proof from Partial Differential Equations to Actual ProgramOct 4, 2005Diophantus' 20th Problem and Fermat's Last Theorem for n=4: Formalization of Fermat's Proofs in the Coq Proof AssistantDec 4, 2025A Rocq Formalization of Monomial and Graded OrdersApr 22, 2026A Rocq Formalization of Simplicial Lagrange Finite ElementsSep 22, 2006The Three Gap Theorem (Steinhauss Conjecture)May 9, 2025Maths with Coq in L1, a pedagogical experimentApr 19, 2024Teaching Divisibility and Binomials with CoqApr 28, 2010Formal Proof of SCHUR Conjugate FunctionMay 5, 2010Formal Proof of a Wave Equation Resolution Scheme: the Method ErrorDec 8, 2011Wave Equation Numerical Resolution: a Comprehensive Mechanized Proof of a C ProgramJan 27, 2010Formal Proof of a Wave Equation Resolution Scheme: the Method ErrorApr 12, 2021A Coq Formalization of Lebesgue Integration of Nonnegative FunctionsFeb 10, 2022Lebesgue Induction and Tonelli's Theorem in Coq