@inproceedings(CheJolLau10,
 author       = {Sylvain Chevillard and Jolde{\c s}, Mioara and Christoph Lauter},
 year         = {2010},
 title        = {Sollya: An Environment for the Development of Numerical Codes},
 editor       = {Komei Fukuda and Joris van der Hoeven and Michael Joswig and Nobuki Takayama},
 booktitle    = {3rd International Congress on Mathematical Software (ICMS)},
 series       = {Lecture Notes in Computer Science},
 volume       = {6327},
 address      = {Kobe, Japan},
 pages        = {28--31},
 doi          = {10.1007/978-3-642-15582-6_5},
)
@article(MahMelSib19,
 author       = {Assia Mahboubi and Guillaume Melquiond and Sibut-Pinote, Thomas},
 year         = {2019},
 title        = {Formally Verified Approximations of Definite Integrals},
 journal      = {Journal of Automated Reasoning},
 volume       = {62},
 number       = {2},
 pages        = {281--300},
 doi          = {10.1007/s10817-018-9463-7},
)
@inproceedings(MMPRT13,
 author       = {Martin-Dorel, {\'E}rik and Micaela Mayero and Ioana Pasca and Laurence Rideau and Laurent Th{\'e}ry},
 year         = {2013},
 title        = {Certified, Efficient and Sharp Univariate Taylor Models in {C}oq},
 booktitle    = {15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC)},
 address      = {Timisoara, Romania},
 pages        = {193--200},
 doi          = {10.1109/SYNASC.2013.33},
)
@article(MarMel16,
 author       = {Martin-Dorel, {\'E}rik and Guillaume Melquiond},
 year         = {2016},
 title        = {Proving Tight Bounds on Univariate Expressions with Elementary Functions in {C}oq},
 journal      = {Journal of Automated Reasoning},
 volume       = {57},
 number       = {3},
 pages        = {187--217},
 doi          = {10.1007/s10817-015-9350-4},
)
@inproceedings(OCo08,
 author       = {Russell O'Connor},
 year         = {2008},
 title        = {A Computer Verified Theory of Compact Sets},
 booktitle    = {Symbolic Computation in Software Science Austrian-Japanese Workshop (SCSS)},
 series       = {RISC-Linz Report Series},
 pages        = {148--162},
)
@article(PerGra07,
 author       = {Fernando P{\'e}rez and Brian E. Granger},
 year         = {2007},
 title        = {{IP}ython: a System for Interactive Scientific Computing},
 journal      = {Computing in Science and Engineering},
 volume       = {9},
 number       = {3},
 pages        = {21--29},
 doi          = {10.1109/MCSE.2007.53},
)