# Author:Jesse Alama

### Keyphrases

automated reasoning, automated theorem proving^{2}, axiom, dialogical logic^{3}, dialogue game^{2}, dialogue games, discrete mathematics, finite models, heuristic, incidence structures, interactive theorem proving, intuitionistic logic, Mizar, natural deduction, object-oriented programming, polyhedra, proof search, proof theory, proof transformation, resolution, theorem provers, web mathematics.