Hilbert's tau and epsilon in Proof Theoretical Foundations of Mathematics: An Introduction.

V. Michele Abrusci

Published in: FLAP (2017)

Keyphrases

theoretical foundation
mathematical knowledge
theoretical framework
clifford algebra
computer science
theorem prover
computer algebra
linear logic
theorem proving
complexity analysis
information retrieval
neural network
computer vision
scale spaces
proof planning
database
real world
proof search
databases