Login / Signup
On the Existence of Algebraically Natural Proofs.
Prerona Chatterjee
Mrinal Kumar
C. Ramya
Ramprasad Saptharishi
Anamay Tengse
Published in:
Electron. Colloquium Comput. Complex. (2020)
Keyphrases
</>
real world
artificial systems
database
multi agent
wide range
multiresolution
theorem proving
learning algorithm
expert systems
linear systems