Techniques for natural-style proofs in elementary analysis.

Published in: ACM Commun. Comput. Algebra (2018)

Keyphrases

artificial intelligence
database
three dimensional
wide range
real time
databases
neural network
genetic algorithm
reinforcement learning
data analysis
trade off
mobile robot