1. Abdulaziz, M., Paulson, L.C.: An Isabelle/HOL formalisation of Green’s theorem. In: Blanchette, J.C., Merz, S. (eds.) Interactive Theorem Proving—7th International Conference, ITP 2016. pp. 3–19. Springer (2016)
2. Apostol, T.M.: Calculus, vol. 2, 2nd edn. Wiley, New York (1969)
3. Federer, H.: Geometric Measure Theory. Springer, Berlin (2014)
4. Green, G.: An essay on the application of mathematical analysis to the theories of electricity and magnetism. (1828)
arXiv:0807.0088
5. Harrison, J.: Formalizing basic complex analysis. From Insight to Proof: Festschrift in Honour of Andrzej Trybulec. Stud. Logic Gramm. Rhetor. 10(23), 151–165 (2007)