Implementation of Interval Arithmetic in CORA 2016

@inproceedings{Althoff2016ImplementationOI,
  title={Implementation of Interval Arithmetic in CORA 2016},
  author={Matthias Althoff and Dmitry Grebenyuk},
  booktitle={ARCH@CPSWeek},
  year={2016}
}
Highly Cited
This paper has 17 citations. REVIEW CITATIONS

From This Paper

Figures, tables, results, connections, and topics extracted from this paper.