Add to ORKGAbstract. This paper gives an overview of three case studies in developing pure mathematical theory using ProofPower-HOL. The case studies cover real analysis, group theory and topology and expose some interesting issues for formalising mathematics
This paper continues the work entitled On Proof Techniques and Technology [see paper for reference],...
In the recent years, numerous proof systems have improved enough to be used for formally verifying n...
This study explores mathematicians’ views on 1) knowledge and skills students need in order to succe...
Without having a clear definition of what proof is, mathematicians distinguish proofs from other typ...
This document is one of a series of mathematical case studies in ProofPower-HOL. It gives a construc...
Some knowledge of what it means to construct a proof is an extremely important part of mathematics. ...
The Practice of Mathematics: An Introduction to Proof Techniques and Number Systems is designed to h...
This document is one of a series of mathematical case studies in ProofPower-HOL. It gives a construc...
Definitions of the complex numbers and their arithmetic operators in ProofPower-HOL with proofs of s...
International audienceIn the recent years, numerous proof systems have improved enough to be used fo...
Designed to facilitate the transition from undergraduate calculus and differential equations to lear...
This paper is an attempt to review the historically existing types of demonstration of mathematical ...
This thesis consists of three overlapping parts, where the first one centers around the possibility ...
There is overwhelming evidence that students face serious challenges in learning mathematical proof....
The aim of the paper is to study the role and features of proofs in mathematics. Formal and informal...
This paper continues the work entitled On Proof Techniques and Technology [see paper for reference],...
In the recent years, numerous proof systems have improved enough to be used for formally verifying n...
This study explores mathematicians’ views on 1) knowledge and skills students need in order to succe...
Without having a clear definition of what proof is, mathematicians distinguish proofs from other typ...
This document is one of a series of mathematical case studies in ProofPower-HOL. It gives a construc...
Some knowledge of what it means to construct a proof is an extremely important part of mathematics. ...
The Practice of Mathematics: An Introduction to Proof Techniques and Number Systems is designed to h...
This document is one of a series of mathematical case studies in ProofPower-HOL. It gives a construc...
Definitions of the complex numbers and their arithmetic operators in ProofPower-HOL with proofs of s...
International audienceIn the recent years, numerous proof systems have improved enough to be used fo...
Designed to facilitate the transition from undergraduate calculus and differential equations to lear...
This paper is an attempt to review the historically existing types of demonstration of mathematical ...
This thesis consists of three overlapping parts, where the first one centers around the possibility ...
There is overwhelming evidence that students face serious challenges in learning mathematical proof....
The aim of the paper is to study the role and features of proofs in mathematics. Formal and informal...
This paper continues the work entitled On Proof Techniques and Technology [see paper for reference],...
In the recent years, numerous proof systems have improved enough to be used for formally verifying n...
This study explores mathematicians’ views on 1) knowledge and skills students need in order to succe...