Show simple item record

dc.contributor.authorAbdulaziz, Men
dc.contributor.authorPaulson, Lawrenceen
dc.date.accessioned2017-02-08T14:19:28Z
dc.date.available2017-02-08T14:19:28Z
dc.date.issued2016-08-07en
dc.identifier.issn0302-9743
dc.identifier.urihttps://www.repository.cam.ac.uk/handle/1810/262376
dc.description.abstractWe 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. An interesting aspect of our formalisation is that we neither formalise orientations nor region boundaries explicitly, with respect to the outwards-pointing normal vector. Instead we refer to equivalences between paths.
dc.language.isoenen
dc.publisherSpringer
dc.titleAn Isabelle/HOL formalisation of Green’s theoremen
dc.typeArticle
prism.endingPage19
prism.publicationDate2016en
prism.publicationNameLecture Notes in Computer Scienceen
prism.startingPage3
prism.volume9807en
dc.identifier.doi10.17863/CAM.7640
dcterms.dateAccepted2016-05-27en
rioxxterms.versionofrecord10.1007/978-3-319-43144-4_1en
rioxxterms.versionAMen
rioxxterms.licenseref.urihttp://www.rioxx.net/licenses/all-rights-reserveden
rioxxterms.licenseref.startdate2016-08-07en
dc.contributor.orcidPaulson, Lawrence [0000-0003-0288-4279]
dc.identifier.eissn1611-3349
rioxxterms.typeJournal Article/Reviewen


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record