`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:

### Wrote 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.