A Heuristic Prover for Elementary Analysis in Theorema.

Published in: CICM (2021)

Keyphrases

neural network
image analysis
databases
data mining
machine learning
information retrieval
artificial intelligence
search engine
information systems
decision making
web services
three dimensional
search algorithm
data analysis