Skip to content

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

Andreas Holmstrom

VenueACIKM
Year2016
ProceedingsFM4M/MathUI/ThEdu/DP/WIP@CIKM

Browse the full CIKM paper archive.