Pages that link to "Item:Q2829261"
From MaRDI portal
The following pages link to A Formal Proof of Cauchy’s Residue Theorem (Q2829261):
Displaying 5 items.
- Deciding univariate polynomial problems using untrusted certificates in Isabelle/HOL (Q1725844) (← links)
- Evaluating winding numbers and counting complex roots through Cauchy indices in Isabelle/HOL (Q2303242) (← links)
- An Isabelle/HOL formalisation of Green's theorem (Q2323451) (← links)
- An Isabelle/HOL Formalisation of Green’s Theorem (Q2829238) (← links)
- Non-constructive complex analysis in Coq (Q2957693) (← links)