Login / Signup
A New Proof of Warning's Second Theorem.
Shamil Asgarli
Published in:
Am. Math. Mon. (2018)
Keyphrases
</>
interactive theorem proving
three dimensional
special case
theorem proving
neural network
case study
theorem prover
real time
databases
information retrieval
genetic algorithm
decision making
clustering algorithm
database systems
multiresolution