swMATH ID: 597
Software Authors: Revol, Nathalie; Rouillier, Fabrice
Description: Motivations for an arbitrary precision interval arithmetic and the MPFI library. This paper justifies why an arbitrary precision interval arithmetic is needed. To provide accurate results, interval computations require small input intervals; this explains why bisection is so often employed in interval algorithms. The MPFI library has been built in order to fulfill this need. Indeed, no existing library met the required specifications. The main features of this library are briefly given and a comparison with a fixed-precision interval arithmetic, on a specific problem, is presented. It shows that the overhead due to the multiple precision is completely acceptable. Eventually, some applications based on MPFI are given: robotics, isolation of polynomial real roots (by an algorithm combining symbolic and numerical computations) and approximation of real roots with arbitrary accuracy.
Homepage: http://perso.ens-lyon.fr/nathalie.revol/software.html
Programming Languages: C
Keywords: Multiple Precision Floating-point Reliable Arithmetic Libraryarithmetic library
Related Software: MPFR; ISOLATE; gmp; C-XSC 2.0; SageMath; PROFIL/BIAS; INTLAB; INTOPT_90; Algorithm 524; PNM; intpakX; kepler98; Arb; iRRAM; mctoolbox; C-XSC; filib++; Kronecker; HOM4PS; Maple
Cited in: 43 Publications
all top 5

Cited by 83 Authors

5 Rouillier, Fabrice
4 Revol, Nathalie
3 Cordero, Alicia
3 Platt, David John
3 Torregrosa Sanchez, Juan Ramón
2 Bouzidi, Yacine
2 de Oliveira Filho, Fernando Mário
2 Figueras, Jordi-Lluís
2 Galatolo, Stefano
2 Haro, Àlex
2 Jaulin, Luc
2 Krämer, Walter
2 Luque, Alejandro
2 Melquiond, Guillaume
2 Nisoli, Isaia
2 Trudgian, Timothy S.
1 Andreu, Carlos
1 Bahsoun, Wael
1 Beliakov, Gleb
1 Brönnimann, Hervé
1 Brunie, Nicolas
1 Cable, Jacob
1 Caluza Machado, Fabrício
1 Cambil, Noelia
1 Chabert, Gilles
1 Daney, David
1 de Dinechin, Florent
1 De Maesschalck, Peter
1 Dostert, Maria
1 Gómez-Serrano, Javier
1 Graillat, Stef
1 Granvilliers, Laurent
1 Grimmer, Markus
1 Gu, Nong
1 Guzmán, Cristóbal
1 Hales, Thomas Callister
1 Hueso, José Luis
1 Imbach, Rémi
1 Jeannerod, Claude-Pierre
1 Jézéquel, Fabienne
1 Joldeş, Mioara
1 Kreinovich, Vladik Yakovlevich
1 Kuliamin, Victor V.
1 Lasserre, Jean-Bernard
1 Laurent, Monique
1 Lazard, Daniel
1 Lebbah, Yahia
1 Lefèvre, Vincent
1 Martel, Matthieu
1 Martínez, Eulalia
1 Matiyasevich, Yuriĭ Vladimirovich
1 McLaughlin, Sean
1 Merlet, Jean-Pierre
1 Michel, Claude
1 Monge, Maurizio
1 Moore, Ramon E.
1 Moroz, Guillaume
1 Muller, Jean-Michel
1 Nipkow, Tobias
1 Niu, Xiaolong
1 Obua, Steven
1 Petras, Knut
1 Pion, Sylvain
1 Popović, Nikola
1 Pouget, Marc
1 Quadrat, Alban
1 Rohou, Simon
1 Rostalski, Philipp
1 Rueher, Michel
1 Rump, Siegfried Michael
1 Rusu, David
1 Santoprete, Manuele
1 Saouter, Yannick
1 Spandl, Christoph
1 Süss, Hendrik
1 Torres, Serge
1 Vallentin, Frank
1 van der Hoeven, Joris
1 Vassileva, María P.
1 Wang, Shiyue
1 Xiang, Yong
1 Zhu, Yuxiang
1 Zumkeller, Roland

Citations by Year