Add to ORKGThis paper continues the work entitled On Proof Techniques and Technology [see paper for reference], which discusses strategies on how technology may be used to explore and understand mathematical ideas, and develop different kinds of proofs
Part III: Introduction to Section C: Technology in the Mathematics CurriculumThe eight chapters in S...
The article is an attempt at collecting and systematising views on the role and place of computers i...
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 this paper, we discuss ways on how technology enables students to investigate mathematical ideas,...
Some knowledge of what it means to construct a proof is an extremely important part of mathematics. ...
As computers become a more prevalent commodity in mathematical research and mathematical proof, the ...
The concept of proof is briefly illuminated from mathematical, philosophical and historical perspect...
This paper is an attempt to review the historically existing types of demonstration of mathematical ...
In this paper I will discuss the fundamental ideas behind proof assistants: What are they and what i...
A proof is a successful demonstration that a conclusion necessarily follows by logical reasoning fro...
With the advent of powerful, widely-available mathematical software, combined with ever-faster compu...
With the advent of powerful, widely-available mathematical software, combined with ever-faster compu...
Without having a clear definition of what proof is, mathematicians distinguish proofs from other typ...
This book is for graduate students and researchers, introducing modern foundational research in math...
Part III: Introduction to Section C: Technology in the Mathematics CurriculumThe eight chapters in S...
The article is an attempt at collecting and systematising views on the role and place of computers i...
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 this paper, we discuss ways on how technology enables students to investigate mathematical ideas,...
Some knowledge of what it means to construct a proof is an extremely important part of mathematics. ...
As computers become a more prevalent commodity in mathematical research and mathematical proof, the ...
The concept of proof is briefly illuminated from mathematical, philosophical and historical perspect...
This paper is an attempt to review the historically existing types of demonstration of mathematical ...
In this paper I will discuss the fundamental ideas behind proof assistants: What are they and what i...
A proof is a successful demonstration that a conclusion necessarily follows by logical reasoning fro...
With the advent of powerful, widely-available mathematical software, combined with ever-faster compu...
With the advent of powerful, widely-available mathematical software, combined with ever-faster compu...
Without having a clear definition of what proof is, mathematicians distinguish proofs from other typ...
This book is for graduate students and researchers, introducing modern foundational research in math...
Part III: Introduction to Section C: Technology in the Mathematics CurriculumThe eight chapters in S...
The article is an attempt at collecting and systematising views on the role and place of computers i...
The aim of the paper is to study the role and features of proofs in mathematics. Formal and informal...