Pages that link to "Item:Q2829238"
From MaRDI portal
The following pages link to An Isabelle/HOL Formalisation of Green’s Theorem (Q2829238):
Displaying 5 items.
- Reliable reconstruction of fine-grained proofs in a proof assistant (Q2055877) (← links)
- An Isabelle/HOL formalisation of Green's theorem (Q2323451) (← links)
- A Coq formalization of Lebesgue integration of nonnegative functions (Q2673304) (← links)
- A Formal Proof of Cauchy’s Residue Theorem (Q2829261) (← links)
- Formalising Knot Theory in Isabelle/HOL (Q2945656) (← links)