Sign in
On the Proof of Elimination of Imaginaries in Algebraically Closed Valued Fields.
Will Johnson
Published in:
Notre Dame J. Formal Log. (2020)
Keyphrases
</>
computer vision
queueing networks
application fields
neural network
theorem prover
linear systems
mathematical proofs
database
data mining
clustering algorithm
relational databases
artificial neural networks
theorem proving
iterative methods