Open AccessON THE PROOF OF THE THEOREMS OF FOUNDATIONS OF GEOMETRY USING ISABELLE/HOL
Author(s) -
Tadashi Takahashi,
Fumiya Iwama
Publication year - 2022
Publication title -
journal of computational innovation and analytics (jcia)
Language(s) - English
Resource type - Journals
eISSN - 2821-3416
pISSN - 2821-3408
DOI - 10.32890/jcia2022.1.2.3
Subject(s) - hol , mathematical proof , proof assistant , automated theorem proving , axiom , computer science , correctness , certification , euclidean geometry , programming language , calculus (dental) , debugging , algebra over a field , theoretical computer science , mathematics , pure mathematics , geometry , medicine , dentistry , law , political science