Now showing items 1-1 of 1

    • An Isabelle/HOL formalisation of Green’s theorem 

      Abdulaziz, M; Paulson, Lawrence Charles (Springer, Springer, 2016-08-07)
      We formalise a statement of Green’s theorem in Isabelle/ HOL, which is its first formalisation to our knowledge. The theorem statement that we formalise is enough for most applications, especially in physics and engineering. ...