1{ 2 "key": "numeric/interval", 3 "name": "Interval", 4 "authors": [ 5 "Guillaume Melquiond", 6 "Hervé Brönnimann", 7 "Sylvain Pion" 8 ], 9 "description": "Extends the usual arithmetic functions to mathematical intervals.", 10 "documentation": "doc/interval.htm", 11 "category": [ 12 "Math" 13 ], 14 "maintainers": [ 15 "Sylvain Pion <Sylvain.Pion -at- sophia.inria.fr>", 16 "Herve Bronnimann <hbr -at- poly.edu>", 17 "Guillaume Melquiond <guillaume.melquiond -at- ens-lyon.fr>" 18 ] 19} 20