An Elementary Proof of a Partial Improvement to the Ax-Katz Theorem.

Oscar Moreno Carlos J. Moreno

Published in: AAECC (1993)

Keyphrases

interactive theorem proving
significant improvement
data sets
information systems
database systems
theorem proving
linear equations
von neumann
real time
knowledge base
expert systems
linear systems
set theory
condition numbers