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: | Takahashi, Tadashi, Iwama, Fumiya |
---|---|
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!
|
Similar Items
-
Dynamical system proof of Fermat's little theorem: an alternative approach
by: Florence, Olamide Funmilayo, et al.
Published: (2018) -
The fundamental basis theorem of geometry from an algebraic point of view
by: Bekbaev, Ural
Published: (2017) -
Dynamical system proof of Fermat’s little theorem: an alternative approach
by: Florence, Olamide Funmilayo, et al.
Published: (2018) -
3 proofs of 2 well-known theorems on starlike and convex
functions
by: Maslina Darus,, et al.
Published: (2022) -
Proof of Kochen¨CSpecker Theorem: conversion of product Rule to sum rule
by: Toh, Sing Poh, et al.
Published: (2009)