A first step towards automated conjecture-making in higher arithmetic geometry.

Andreas Holmstrom

Published in: FM4M/MathUI/ThEdu/DP/WIP@CIKM (2016)

Keyphrases

post processing
fully automated
higher quality
semi automated
data sets
real world
artificial intelligence
case study
feature extraction
data driven
semi automatic
computer assisted
floating point