Sollya
tool environment for safe floating-point code development
Press Enter · cited answer in seconds
0 sources
Sollya
Summary
Sollya is a mathematical software[1].
Key Facts
- Sollya is the creator of Sylvain Chevillard[2].
- Sollya's instance of is recorded as mathematical software[3].
- Sollya's instance of is recorded as software library[4].
- Sollya's instance of is recorded as free software[5].
- Sollya's maintained by is recorded as Institut National de Recherche en Informatique et en Automatique[6].
- Sollya's copyright license is recorded as CeCILL[7].
- Sollya's programmed in is recorded as Q15777[8].
- Sollya's operating system is recorded as Q3251801[9].
- Sollya's contributor to the creative work or subject is recorded as Sylvain Chevillard[10].
- Sollya's contributor to the creative work or subject is recorded as Christoph Lauter[11].
- Sollya's contributor to the creative work or subject is recorded as Mioara Maria Joldes[12].
- Sollya's contributor to the creative work or subject is recorded as Marc Mezzarobba[13].
- Sollya's official website is recorded as https://gitlab.inria.fr/sollya/sollya[14].
- Sollya's official website is recorded as https://www.sollya.org/[15].
- Sollya's source code repository URL is recorded as https://gitlab.inria.fr/sollya/sollya.git[16].
- Sollya's Debian stable package is recorded as libsollya-dev[17].
- Sollya's Debian stable package is recorded as libsollya8[18].
- Sollya's Debian stable package is recorded as sollya[19].
- Sollya's Debian stable package is recorded as sollya-doc[20].
- Sollya's Ubuntu package is recorded as libsollya-dev[21].
- Sollya's Ubuntu package is recorded as libsollya8[22].
- Sollya's Ubuntu package is recorded as sollya[23].
- Sollya's Ubuntu package is recorded as sollya-doc[24].
- Sollya's Launchpad.net project ID is recorded as ubuntu/+source/sollya[25].
- Sollya's copyright status is recorded as copyrighted[26].
Body
Authorship and Creation
Sollya is the creator of Sylvain Chevillard[2].