CADE-28: THE 28TH INTERNATIONAL CONFERENCE ON AUTOMATED DEDUCTION

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

A
accessibility	Make Isabelle Accessible!
ACL2s	Automated Grading of Automata with ACL2s
ATP	Learning Theorem Proving by Example - Implementing JavaRes
Automated Deduction in Geometry	Four Geometry Problems to Introduce Automated Deduction in Secondary Schools
automated geometry proving	Symbolic Comparison of Geometric Quantities in GeoGebra
Automated grading	Automated Grading of Automata with ACL2s
automated reasoning	Automated Discovery of Geometrical Theorems in GeoGebra
Automatic feedback	Automated Grading of Automata with ACL2s
B
Bounded Model Checking	Automated Instantiation of Control Flow Tracing Exercises
C
Chromium	Make Isabelle Accessible!
Counter-example generation	Automated Grading of Automata with ACL2s
D
discovery	Automated Discovery of Geometrical Theorems in GeoGebra
dynamic geometry software	Symbolic Comparison of Geometric Quantities in GeoGebra
Dynamic Geometry Systems	Four Geometry Problems to Introduce Automated Deduction in Secondary Schools
E
Education	Automated Instantiation of Control Flow Tracing Exercises
Elektron	Make Isabelle Accessible!
elimination	Symbolic Comparison of Geometric Quantities in GeoGebra
Euclidean planar geometry	Symbolic Comparison of Geometric Quantities in GeoGebra
Exercise Generation	Automated Instantiation of Control Flow Tracing Exercises
explicit	Evolution of SASyLF 2008-2021
F
Formal proofs	A Drag-and-Drop Proof Tactic
G
GATP	Towards Next Step Guidance in Triangle Construction Problems
GeoGebra	Automated Discovery of Geometrical Theorems in GeoGebra Symbolic Comparison of Geometric Quantities in GeoGebra
geometric inequality	Symbolic Comparison of Geometric Quantities in GeoGebra
geometry	Towards Next Step Guidance in Triangle Construction Problems
Geometry automated theorem provers	Four Geometry Problems to Introduce Automated Deduction in Secondary Schools
H
higher-order logic	Prooftoys: a Proof Assistant for Beginners
I
IDE	Evolution of SASyLF 2008-2021
intuitionistic logic	Teaching Intuitionistic Propositional Logic Using Isabelle
Isabelle Proof Assistant	Teaching Intuitionistic Propositional Logic Using Isabelle
Isabelle/VSCode	Make Isabelle Accessible!
J
JavaRes	Learning Theorem Proving by Example - Implementing JavaRes
L
Logic	Learning Theorem Proving by Example - Implementing JavaRes A Drag-and-Drop Proof Tactic
M
Mathematica	Symbolic Comparison of Geometric Quantities in GeoGebra
mathematical software	Symbolic Comparison of Geometric Quantities in GeoGebra
mathematics education	Prooftoys: a Proof Assistant for Beginners Make Isabelle Accessible!
mathematics for engineers	Make Isabelle Accessible!
N
next step guidance	Towards Next Step Guidance in Triangle Construction Problems
Node.js	Make Isabelle Accessible!
P
proof assistant	Prooftoys: a Proof Assistant for Beginners
Proof assistants	A Drag-and-Drop Proof Tactic
Property based testing	Automated Grading of Automata with ACL2s
Propositional Logic	Teaching Intuitionistic Propositional Logic Using Isabelle
PyRes	Learning Theorem Proving by Example - Implementing JavaRes
Q
QEPCAD B	Symbolic Comparison of Geometric Quantities in GeoGebra
R
real quantifier elimination	Symbolic Comparison of Geometric Quantities in GeoGebra
resolution	Learning Theorem Proving by Example - Implementing JavaRes
ruler and compass constructions	Towards Next Step Guidance in Triangle Construction Problems
S
Satisfiability Modulo Theories	Automated Instantiation of Control Flow Tracing Exercises
Secondary schools geometry proofs	Four Geometry Problems to Introduce Automated Deduction in Secondary Schools
SUMO	Learning Theorem Proving by Example - Implementing JavaRes
T
Tactics	A Drag-and-Drop Proof Tactic
Tarski	Symbolic Comparison of Geometric Quantities in GeoGebra
TBA1	How can we make Formal Proof Teachable?
TBA2	How can we make Formal Proof Teachable?
TBA3	How can we make Formal Proof Teachable?
theorem proving	Make Isabelle Accessible!
Theory of Computation	Automated Grading of Automata with ACL2s
TPTP	Learning Theorem Proving by Example - Implementing JavaRes
Tracing	Automated Instantiation of Control Flow Tracing Exercises
type systems	Evolution of SASyLF 2008-2021
Typescript	Make Isabelle Accessible!
U
user interface	Prooftoys: a Proof Assistant for Beginners
User interfaces	A Drag-and-Drop Proof Tactic

Disclaimer | Powered by EasyChair Smart Program