Practical Exact Proofs from Lattices: New Techniques to Exploit Fully-Splitting Rings.

Muhammed F. Esgin Ngoc Khanh Nguyen Gregor Seiler

Published in: ASIACRYPT (2) (2020)

Keyphrases

real world
metadata
practical application
practical problems
real time
information retrieval
search engine
decision making
image processing
knowledge representation
theorem prover
theorem proving
natural deduction
formal proof