Verified interactive computation of definite integrals (Q2055881): Difference between revisions

@@ Property / cites work @@
+Q4790649
@@ Property / cites work: Q4790649 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3503410
@@ Property / cites work: Q3503410 / rank @@
+Normal rank
@@ Property / cites work @@
+A heuristic prover for real inequalities
@@ Property / cites work: A heuristic prover for real inequalities / rank @@
+Normal rank
@@ Property / cites work @@
+Q4227289
@@ Property / cites work: Q4227289 / rank @@
+Normal rank
@@ Property / cites work @@
+A certificate-based approach to formally verified approximations
+Normal rank
@@ Property / cites work @@
+Theorema 2.0: Computer-Assisted Natural-Style Mathematics
+Normal rank
@@ Property / cites work @@
+Q3497626
@@ Property / cites work: Q3497626 / rank @@
+Normal rank
@@ Property / cites work @@
+Formalization of camera pose estimation algorithm based on Rodrigues formula
+Normal rank
@@ Property / cites work @@
+A Computer-Algebra-Based Formal Proof of the Irrationality of ζ(3)
+Normal rank
@@ Property / cites work @@
+The Misfortunes of a Trio of Mathematicians Using Computer Algebra Systems. Can We Trust in Them?
+Normal rank
@@ Property / cites work @@
+Verified Real Asymptotics in Isabelle/HOL
@@ Property / cites work: Verified Real Asymptotics in Isabelle/HOL / rank @@
+Normal rank
@@ Property / cites work @@
+Automated and readable simplification of trigonometric expressions
+Normal rank
@@ Property / cites work @@
+KeYmaera X: An Axiomatic Tactical Theorem Prover for Hybrid Systems
+Normal rank
@@ Property / cites work @@
+Q4231030
@@ Property / cites work: Q4231030 / rank @@
+Normal rank
@@ Property / cites work @@
+HOL Light: An Overview
@@ Property / cites work: HOL Light: An Overview / rank @@
+Normal rank
@@ Property / cites work @@
+Formal proofs of hypergeometric sums. Dedicated to the memory of Andrzej Trybulec
+Normal rank
@@ Property / cites work @@
+A Skeptic's approach to combining HOL and Maple
@@ Property / cites work: A Skeptic's approach to combining HOL and Maple / rank @@
+Normal rank
@@ Property / cites work @@
+Three Chapters of Measure Theory in Isabelle/HOL
@@ Property / cites work: Three Chapters of Measure Theory in Isabelle/HOL / rank @@
+Normal rank
@@ Property / cites work @@
+A verified ODE solver and the Lorenz attractor
@@ Property / cites work: A verified ODE solver and the Lorenz attractor / rank @@
+Normal rank
@@ Property / cites work @@
+The Flow of ODEs
@@ Property / cites work: The Flow of ODEs / rank @@
+Normal rank
@@ Property / cites work @@
+Formalization of geometric algebra in HOL Light
@@ Property / cites work: Formalization of geometric algebra in HOL Light / rank @@
+Normal rank
@@ Property / cites work @@
+Formally verified approximations of definite integrals
+Normal rank
@@ Property / cites work @@
+On the Formalization of the Lebesgue Integration Theory in HOL
+Normal rank
@@ Property / cites work @@
+Isabelle/HOL. A proof assistant for higher-order logic
+Normal rank
@@ Property / cites work @@
+Q3328350
@@ Property / cites work: Q3328350 / rank @@
+Normal rank
@@ Property / cites work @@
+Differential dynamic logic for hybrid systems
@@ Property / cites work: Differential dynamic logic for hybrid systems / rank @@
+Normal rank
@@ Property / cites work @@
+A complete uniform substitution calculus for differential dynamic logic
+Normal rank
@@ Property / cites work @@
+Hybrid Systems: Computation and Control
@@ Property / cites work: Hybrid Systems: Computation and Control / rank @@
+Normal rank
@@ Property / cites work @@
+On the Formalization of Fourier Transform in Higher-order Logic
+Normal rank
@@ Property / cites work @@
+Formal analysis of continuous-time systems using Fourier transform
+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 @@
+Hybrid Systems: Computation and Control
@@ Property / cites work: Hybrid Systems: Computation and Control / rank @@
+Normal rank
@@ Property / cites work @@
+The gauge integral theory in HOL4
@@ Property / cites work: The gauge integral theory in HOL4 / rank @@
+Normal rank
@@ Property / cites work @@
+Formal analysis of the kinematic Jacobian in screw theory
+Normal rank
@@ Property / cites work @@
+A Heuristic Program that Solves Symbolic Integration Problems in Freshman Calculus
+Normal rank
@@ Property / cites work @@
+Formalization of Laplace Transform Using the Multivariable Calculus Theory of HOL-Light
+Normal rank
@@ Property / cites work @@
+Q5219926
@@ Property / cites work: Q5219926 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Lean
@@ Property / describes a project that uses: Lean / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+jsCoq
@@ Property / describes a project that uses: jsCoq / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Isabelle/Isar
@@ Property / describes a project that uses: Isabelle/Isar / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+PVS
@@ Property / describes a project that uses: PVS / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Python
@@ Property / describes a project that uses: Python / 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 @@
+HOL
@@ Property / describes a project that uses: HOL / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-030-79876-5_28
+Normal rank
@@ Property / OpenAlex ID @@
+W3183042468
@@ Property / OpenAlex ID: W3183042468 / rank @@
+Normal rank