Login / Signup
A Unified Proof of Two Classical Theorems on CNS Polynomials.
Horst Brunotte
Published in:
Integers (2012)
Keyphrases
</>
theorem proving
sequent calculus
proof search
linear logic
theorem prover
database
neural network
machine learning
image processing
learning environment
probabilistic model
scheduling problem
proof theory
digital topology
geometry theorem proving
interactive theorem proving