| ARB |
C library |
IA |
Johansson, Fredrik |
2012 |
Bordeaux, France |
🔗 |
| CAMPARY — CudA Multiple Precision ARithmetic librarY |
Cuda C library |
AP |
Mioara JoldeÅŸ, Olivier Marty, Jean-Michel Muller, Valentina Popescu, Warwick Tucker |
|
Lyon (LIP), France |
🔗 |
| CAPD — Computer Assisted Proofs in Dynamics |
C++ library |
|
Grzegorz Jablonski; Kapela, T., Mrozek, M., Pilarczyk, P., Wilczak, D., Zgliczyński, P. |
2007? |
Krakow, Poland |
🔗 |
| COSY |
|
TM, $$ |
|
|
Michigan, USA |
🔗 |
| FLINT — Fast LIbrary for Number Theory |
C library |
NT |
Hart, William |
2007 |
Kaiserslautern, Germany |
🔗 |
| GMP — GNU Multiple Precision arithmetic library |
C library |
AP |
GNU Project |
1991 |
|
🔗 |
| INTLAB — INTerval LABoratory |
Matlab/Octave module |
IA, $$ |
Rump, Siegfried M. |
1998 |
Hamburg, Germany |
🔗 |
| MAGMA |
Software |
|
|
1993 |
Sydney, Australia |
🔗 |
| GNU MPFR |
C library |
AP |
Guillaume Hanrot, Vincent Lefèvre, Patrick Pélissier, Philippe Théveny and Paul Zimmermann |
2006? |
Lyon (LIP) and Nancy (LORIA), France |
🔗 |
| MPFI |
C library |
IA |
Revol, Nathalie |
|
Lyon (LIP), France |
🔗 |
| MPIR — Multiple Precision Integers and Rationals |
Assembly and C |
AP |
Hart, William |
2008 |
Kaiserslautern, Germany |
🔗 |
| PARI/GP |
C library |
NT |
|
1985 |
Bordeaux, France |
🔗 |
| Sollya |
Software |
AP |
Christoph Lauter, Sylvain Chevillard, M. JoldeÈ™, N. Jourdan. |
2006 |
France |
🔗 |