Andreas Holmstrom

Publication Activity (10 Years)

Years Active: 2016-2017
Publications (10 Years): 2

Top Topics

Regression Analysis

Top Venues

FM4M/MathUI/ThEdu/DP/WIP@CIKM

Publications

Andreas Holmstrom, Torstein Vik
Zeta Types and Tannakian Symbols as a Method for Representing Mathematical Knowledge. CICM (2017)
Andreas Holmstrom
A first step towards automated conjecture-making in higher arithmetic geometry. FM4M/MathUI/ThEdu/DP/WIP@CIKM (2016)