BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Germany
Collaborated with:
M.Leeser J.Ramachandran T.Wahl
Talks about:
arithmet (1) reason (1) effect (1) point (1) float (1) exact (1) real (1) make (1)

Person: Saoni Mukherjee

DBLP DBLP: Mukherjee:Saoni

Contributed to:

DATE 20142014

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.