Travelled to:
1 × Japan
Collaborated with:
∅
Talks about:
arbitrari (1) arithmet (1) certifi (1) induct (1) integ (1) exact (1) real (1) base (1) use (1)
Person: Nicolas Julien
DBLP: Julien:Nicolas
Contributed to:
Wrote 1 papers:
- FLOPS-2008-Julien #induction #integer #using
- Certified Exact Real Arithmetic Using Co-induction in Arbitrary Integer Base (NJ), pp. 48–63.