Isometry group, words and proofs of geometric theorems.

Dominique Michelucci

Published in: SAC (2008)

Keyphrases

related words
keywords
vector field
theorem prover
theorem proving
lie group
n gram
sequent calculus
cut elimination