Lifting proof-relevant unification to higher dimensions.

Jesper Cockx Dominique Devriese

Published in: CPP (2017)

Keyphrases

theorem proving
theorem prover
automated theorem proving
wavelet transform
closely related
neural network
highly relevant
databases
artificial intelligence
digital libraries
higher quality