Login / Signup
A proof complexity conjecture and the Incompleteness theorem.
Jan Krajícek
Published in:
Electron. Colloquium Comput. Complex. (2023)
Keyphrases
</>
interactive theorem proving
computational cost
theorem prover
case study
lower complexity
databases
data mining
machine learning
search algorithm
computational complexity
space complexity
complexity analysis