list | abstracts | bib ]

On Rigorous Numerical Computation as a Scala Library

Citation

Eva Darulova and Viktor Kuncak. On rigorous numerical computation as a scala library. Technical Report EPFL-REPORT-158754, EPFL, 2010.

BibTex Entry

@TECHREPORT{DarulovaKuncak10OnRigorousNumericalComputationasScalaLibrary,
  author = {Eva Darulova and Viktor Kuncak},
  title = {On Rigorous Numerical Computation as a Scala Library},
  institution = {EPFL},
  year = 2010,
  number = {EPFL-REPORT-158754}
}

list | abstracts | bib ]