toutes les options
bookworm  ] [  trixie  ] [  forky  ] [  sid  ]
[ Paquet source : sollya  ]

Paquet : libsollya8 (8.0+ds-3 et autres)

Liens pour libsollya8

Screenshot

Ressources Debian :

Télécharger le paquet source sollya :

Responsables :

Ressources externes :

Paquets similaires :

library for safe floating-point code development -- lib

Sollya is both a tool environment and a library for safe floating-point code development. It offers a convenient way to perform computations with multiple precision interval arithmetic. It is particularly targeted to the automated implementation of mathematical floating-point libraries.

Initially, Sollya was intended more specifically for people implementing numerical functions in mathematical libraries (e.g., exp, arccos, tanh, etc.). Since then, the tool has evolved and has now become interesting not only to developers of mathematical libraries, but also to everyone who needs to perform numerical experiments in an environment that is safe with respect to round-off errors.

This package provides the dynamic library.

Autres paquets associés à libsollya8

  • dépendances
  • recommandations
  • suggestions
  • enhances

Télécharger libsollya8

Télécharger pour toutes les architectures proposées
Architecture Version Taille du paquet Espace occupé une fois installé Fichiers
alpha (portage non officiel) 8.0+ds-3+b1 834,0 ko3 144,0 ko [liste des fichiers]
amd64 8.0+ds-3+b1 877,7 ko2 663,0 ko [liste des fichiers]
arm64 8.0+ds-3+b1 812,4 ko2 691,0 ko [liste des fichiers]
armel 8.0+ds-3+b1 761,9 ko2 434,0 ko [liste des fichiers]
armhf 8.0+ds-3+b1 789,2 ko1 986,0 ko [liste des fichiers]
hppa (portage non officiel) 8.0+ds-3+b1 831,0 ko3 210,0 ko [liste des fichiers]
i386 8.0+ds-3+b1 928,1 ko3 062,0 ko [liste des fichiers]
ia64 (portage non officiel) 8.0+ds-2+b2 934,7 ko4 637,0 ko [liste des fichiers]
loong64 (portage non officiel) 8.0+ds-3+b1 851,4 ko2 819,0 ko [liste des fichiers]
m68k (portage non officiel) 8.0+ds-3+b1 785,3 ko2 426,0 ko [liste des fichiers]
mips64el 8.0+ds-3+b1 753,6 ko3 043,0 ko [liste des fichiers]
ppc64 (portage non officiel) 8.0+ds-3+b1 881,1 ko3 331,0 ko [liste des fichiers]
ppc64el 8.0+ds-3+b1 893,9 ko3 203,0 ko [liste des fichiers]
riscv64 8.0+ds-3+b1 887,3 ko2 283,0 ko [liste des fichiers]
s390x 8.0+ds-3+b1 867,9 ko2 831,0 ko [liste des fichiers]
sh4 (portage non officiel) 8.0+ds-3+b1 974,9 ko2 437,0 ko [liste des fichiers]
sparc64 (portage non officiel) 8.0+ds-3+b1 737,2 ko3 344,0 ko [liste des fichiers]
x32 (portage non officiel) 8.0+ds-3+b1 891,7 ko2 630,0 ko [liste des fichiers]