TALK KEYWORD INDEX

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

A | |

accessibility | |

ACL2s | |

ATP | |

Automated Deduction in Geometry | |

automated geometry proving | |

Automated grading | |

automated reasoning | |

Automatic feedback | |

B | |

Bounded Model Checking | |

C | |

Chromium | |

Counter-example generation | |

D | |

discovery | |

dynamic geometry software | |

Dynamic Geometry Systems | |

E | |

Education | |

Elektron | |

elimination | |

Euclidean planar geometry | |

Exercise Generation | |

explicit | |

F | |

Formal proofs | |

G | |

GATP | |

GeoGebra | |

geometric inequality | |

geometry | |

Geometry automated theorem provers | |

H | |

higher-order logic | |

I | |

IDE | |

intuitionistic logic | |

Isabelle Proof Assistant | |

Isabelle/VSCode | |

J | |

JavaRes | |

L | |

Logic | |

M | |

Mathematica | |

mathematical software | |

mathematics education | |

mathematics for engineers | |

N | |

next step guidance | |

Node.js | |

P | |

proof assistant | |

Proof assistants | |

Property based testing | |

Propositional Logic | |

PyRes | |

Q | |

QEPCAD B | |

R | |

real quantifier elimination | |

resolution | |

ruler and compass constructions | |

S | |

Satisfiability Modulo Theories | |

Secondary schools geometry proofs | |

SUMO | |

T | |

Tactics | |

Tarski | |

TBA1 | |

TBA2 | |

TBA3 | |

theorem proving | |

Theory of Computation | |

TPTP | |

Tracing | |

type systems | |

Typescript | |

U | |

user interface | |

User interfaces |