Travelled to:1 × Japan
Collaborated with:∅ T.Matsuzaki H.Iwane M.Kobayashi Y.Zhan R.Fukasaku J.Kudo N.H.Arai
Talks about:benchmark (1) geometri (1) univers (1) problem (1) practic (1) algebra (1) against (1) mechan (1) comput (1) teen (1)
Person: Hirokazu Anai
DBLP: Anai:Hirokazu
Contributed to:
2012
2016Wrote 2 papers:
- RTA-2012-Anai #algebra #geometry
- Computational Real Algebraic Geometry in Practice (HA), p. 1.
- IJCAR-2016-MatsuzakiIKZFKA #benchmark #metric #problem
- Race Against the Teens - Benchmarking Mechanized Math on Pre-university Problems (TM, HI, MK, YZ, RF, JK, HA, NHA), pp. 213–227.