Pages that link to "Item:Q5848362"
From MaRDI portal
The following pages link to An Approximation To a Rectifiable Plane Curve (Q5848362):
Displaying 5 items.
- An Isabelle/HOL formalisation of Green's theorem (Q2323451) (← links)
- An Isabelle/HOL Formalisation of Green’s Theorem (Q2829238) (← links)
- An n-dimensional analogue of Cauchy's integral theorem (Q3281184) (← links)
- The Parametric Gauss-Green Theorem (Q3739432) (← links)
- A general form of Green’s Formula and the Cauchy Integral Theorem (Q5179391) (← links)
