On the proof of the theorems of foundations of geometry using Isabelle/HOL
Isabelle/HOL is a generic proof assistant. Using Isabelle/HOL requires insight into procedures as well as into the concepts involved. In addition, how a computer manages procedures can affect mathematical concepts. Use of Isabelle/HOL can correct a current weakness in mathematical studies. The advan...
Saved in:
Main Authors: | , |
---|---|
Format: | Article |
Language: | English |
Published: |
UUM Press
2022
|
Subjects: | |
Online Access: | https://repo.uum.edu.my/id/eprint/29088/1/JCIA%2001%2002%202022%2045-69.pdf https://doi.org/10.32890/jcia2022.1.2.3 https://repo.uum.edu.my/id/eprint/29088/ https://doi.org/10.32890/jcia2022.1.2.3 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|