Talk Keyword Index

TALK KEYWORD INDEX

This page contains an index consisting of author-provided keywords.

Shortcuts: A C D E F G I L N P R S T U

A
automated theorem proving	Towards intuitive reasoning in axiomatic geometry
C
Common Language for Geometric Problems	Rating of Geometric Automated Theorem Provers
D
Declarative Prover	Students' Proof Assistant (SPA)
E
engineering mathematics	Lucas Interpretation from Programmers’ Perspective
F
function package	Lucas Interpretation from Programmers’ Perspective
G
Geometric Automated Theorem Provers	Rating of Geometric Automated Theorem Provers
I
interactive theorem proving	Towards intuitive reasoning in axiomatic geometry
Isabelle	Lucas Interpretation from Programmers’ Perspective
Isabelle Proof Assistant	Proving in the Isabelle Proof Assistant that the Set of Real Numbers is not Countable Students' Proof Assistant (SPA) Natural Deduction Assistant (NaDeA)
L
Logic for Teaching	Towards intuitive reasoning in axiomatic geometry
Logic Tools	Students' Proof Assistant (SPA) Natural Deduction Assistant (NaDeA)
lucas interpretation	Lucas Interpretation from Programmers’ Perspective
N
Natural deduction	Natural Deduction Assistant (NaDeA)
Natural mathematical language	Towards intuitive reasoning in axiomatic geometry
P
proof assistant	Lucas Interpretation from Programmers’ Perspective
R
Rating of Geometric Provers	Rating of Geometric Automated Theorem Provers
Real Numbers	Proving in the Isabelle Proof Assistant that the Set of Real Numbers is not Countable
S
Synthetic Geometry	Towards intuitive reasoning in axiomatic geometry
T
tutoring	Lucas Interpretation from Programmers’ Perspective
U
Uncountability	Proving in the Isabelle Proof Assistant that the Set of Real Numbers is not Countable