Login / Signup
Toward a Combinatorial Proof of the Jacobian Conjecture!
Dan Singer
Published in:
Electron. J. Comb. (2011)
Keyphrases
</>
theorem prover
mathematical proofs
genetic algorithm
information systems
automated theorem proving
image based visual servoing
database
neural network
real world
machine learning
mobile robot
first order logic
vector field
theorem proving