Travelled to:
1 × Germany
Collaborated with:
M.Leeser S.Mukherjee T.Wahl
Talks about:
arithmet (1) reason (1) effect (1) point (1) float (1) exact (1) real (1) make (1)
Person: Jaideep Ramachandran
DBLP: Ramachandran:Jaideep
Contributed to:
Wrote 1 papers:
- DATE-2014-LeeserMRW #effectiveness #float #reasoning
- Make it real: Effective floating-point reasoning via exact arithmetic (ML, SM, JR, TW), pp. 1–4.