Universality of Proofs (Dagstuhl Seminar 16421).

Gilles Dowek Catherine Dubois Brigitte Pientka Florian Rabe

Published in: Dagstuhl Reports (2016)

Keyphrases

cellular automata
theorem proving
equational theories
formal proofs
mathematical proofs
artificial neural networks
theorem prover
mathematical knowledge
image processing
multi agent
pairwise
decision procedures
cut elimination
formal proof
collaborative e learning