Login / Signup
Another Elementary Proof of the Nullstellensatz.
Enrique Arrondo
Published in:
Am. Math. Mon. (2006)
Keyphrases
</>
theorem prover
data sets
theorem proving
natural deduction
school children
high level
database systems
multiscale
real world
multimedia
face recognition
linear logic
automated theorem proving
logical rules
automated theorem provers