Serveur d'exploration sur la recherche en informatique en Lorraine

Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.

Sollya: An Environment for the Development of Numerical Codes

Identifieur interne : 003020 ( Main/Exploration ); précédent : 003019; suivant : 003021

Sollya: An Environment for the Development of Numerical Codes

Auteurs : Sylvain Chevillard [France] ; Mioara Jolde [France] ; Christoph Lauter [France]

Source :

RBID : ISTEX:0541CAF242FA04EEF44865B446EF3EE730AB1F58

English descriptors

Abstract

Abstract: Sollya has become a mature tool for the development of numerical software. With about 175 built-in algorithms and a broad extensibility, it offers a complete tool-chain for fixed- and floating-point software and hardware design. Its features include on-the-fly faithful rounding, specialized approximation algorithms and extensive support for floating-point code generation.

Url:
DOI: 10.1007/978-3-642-15582-6_5


Affiliations:


Links toward previous steps (curation, corpus...)


Le document en format XML

<record>
<TEI wicri:istexFullTextTei="biblStruct">
<teiHeader>
<fileDesc>
<titleStmt>
<title xml:lang="en">Sollya: An Environment for the Development of Numerical Codes</title>
<author>
<name sortKey="Chevillard, Sylvain" sort="Chevillard, Sylvain" uniqKey="Chevillard S" first="Sylvain" last="Chevillard">Sylvain Chevillard</name>
</author>
<author>
<name sortKey="Jolde, Mioara" sort="Jolde, Mioara" uniqKey="Jolde M" first="Mioara" last="Jolde">Mioara Jolde</name>
</author>
<author>
<name sortKey="Lauter, Christoph" sort="Lauter, Christoph" uniqKey="Lauter C" first="Christoph" last="Lauter">Christoph Lauter</name>
</author>
</titleStmt>
<publicationStmt>
<idno type="wicri:source">ISTEX</idno>
<idno type="RBID">ISTEX:0541CAF242FA04EEF44865B446EF3EE730AB1F58</idno>
<date when="2010" year="2010">2010</date>
<idno type="doi">10.1007/978-3-642-15582-6_5</idno>
<idno type="url">https://api.istex.fr/ark:/67375/HCB-F92SZ7LK-3/fulltext.pdf</idno>
<idno type="wicri:Area/Istex/Corpus">000107</idno>
<idno type="wicri:explorRef" wicri:stream="Istex" wicri:step="Corpus" wicri:corpus="ISTEX">000107</idno>
<idno type="wicri:Area/Istex/Curation">000107</idno>
<idno type="wicri:Area/Istex/Checkpoint">000782</idno>
<idno type="wicri:explorRef" wicri:stream="Istex" wicri:step="Checkpoint">000782</idno>
<idno type="wicri:doubleKey">0302-9743:2010:Chevillard S:sollya:an:environment</idno>
<idno type="wicri:source">HAL</idno>
<idno type="RBID">Hal:hal-00761644</idno>
<idno type="url">https://hal.inria.fr/hal-00761644</idno>
<idno type="wicri:Area/Hal/Corpus">004621</idno>
<idno type="wicri:Area/Hal/Curation">004621</idno>
<idno type="wicri:Area/Hal/Checkpoint">002319</idno>
<idno type="wicri:explorRef" wicri:stream="Hal" wicri:step="Checkpoint">002319</idno>
<idno type="wicri:Area/Main/Merge">003077</idno>
<idno type="wicri:Area/Main/Curation">003020</idno>
<idno type="wicri:Area/Main/Exploration">003020</idno>
</publicationStmt>
<sourceDesc>
<biblStruct>
<analytic>
<title level="a" type="main" xml:lang="en">Sollya: An Environment for the Development of Numerical Codes</title>
<author>
<name sortKey="Chevillard, Sylvain" sort="Chevillard, Sylvain" uniqKey="Chevillard S" first="Sylvain" last="Chevillard">Sylvain Chevillard</name>
<affiliation wicri:level="3">
<country xml:lang="fr">France</country>
<wicri:regionArea>INRIA, LORIA, Caramel Project-Team, BP 239, 54506, Vandœuvre-lès-Nancy Cedex</wicri:regionArea>
<placeName>
<region type="region" nuts="2">Grand Est</region>
<region type="old region" nuts="2">Lorraine (région)</region>
<settlement type="city">Vandœuvre-lès-Nancy</settlement>
</placeName>
</affiliation>
</author>
<author>
<name sortKey="Jolde, Mioara" sort="Jolde, Mioara" uniqKey="Jolde M" first="Mioara" last="Jolde">Mioara Jolde</name>
<affiliation wicri:level="3">
<country xml:lang="fr">France</country>
<wicri:regionArea>LIP (CNRS/ÉNS de Lyon/INRIA/Université de Lyon), Arénaire Project-Team, 46, allée d’Italie, 69364, Lyon Cedex 07</wicri:regionArea>
<placeName>
<region type="region" nuts="2">Auvergne-Rhône-Alpes</region>
<region type="old region" nuts="2">Rhône-Alpes</region>
<settlement type="city">Lyon</settlement>
</placeName>
</affiliation>
</author>
<author>
<name sortKey="Lauter, Christoph" sort="Lauter, Christoph" uniqKey="Lauter C" first="Christoph" last="Lauter">Christoph Lauter</name>
<affiliation wicri:level="3">
<country xml:lang="fr">France</country>
<wicri:regionArea>LIP (CNRS/ÉNS de Lyon/INRIA/Université de Lyon), Arénaire Project-Team, 46, allée d’Italie, 69364, Lyon Cedex 07</wicri:regionArea>
<placeName>
<region type="region" nuts="2">Auvergne-Rhône-Alpes</region>
<region type="old region" nuts="2">Rhône-Alpes</region>
<settlement type="city">Lyon</settlement>
</placeName>
</affiliation>
</author>
</analytic>
<monogr></monogr>
<series>
<title level="s" type="main" xml:lang="en">Lecture Notes in Computer Science</title>
<idno type="ISSN">0302-9743</idno>
<idno type="eISSN">1611-3349</idno>
<idno type="ISSN">0302-9743</idno>
</series>
</biblStruct>
</sourceDesc>
<seriesStmt>
<idno type="ISSN">0302-9743</idno>
</seriesStmt>
</fileDesc>
<profileDesc>
<textClass>
<keywords scheme="mix" xml:lang="en">
<term>computer algebra</term>
<term>development tool</term>
<term>faithful rounding</term>
<term>function approximation</term>
<term>numerical software</term>
</keywords>
</textClass>
</profileDesc>
</teiHeader>
<front>
<div type="abstract" xml:lang="en">Abstract: Sollya has become a mature tool for the development of numerical software. With about 175 built-in algorithms and a broad extensibility, it offers a complete tool-chain for fixed- and floating-point software and hardware design. Its features include on-the-fly faithful rounding, specialized approximation algorithms and extensive support for floating-point code generation.</div>
</front>
</TEI>
<affiliations>
<list>
<country>
<li>France</li>
</country>
<region>
<li>Auvergne-Rhône-Alpes</li>
<li>Grand Est</li>
<li>Lorraine (région)</li>
<li>Rhône-Alpes</li>
</region>
<settlement>
<li>Lyon</li>
<li>Vandœuvre-lès-Nancy</li>
</settlement>
</list>
<tree>
<country name="France">
<region name="Grand Est">
<name sortKey="Chevillard, Sylvain" sort="Chevillard, Sylvain" uniqKey="Chevillard S" first="Sylvain" last="Chevillard">Sylvain Chevillard</name>
</region>
<name sortKey="Jolde, Mioara" sort="Jolde, Mioara" uniqKey="Jolde M" first="Mioara" last="Jolde">Mioara Jolde</name>
<name sortKey="Lauter, Christoph" sort="Lauter, Christoph" uniqKey="Lauter C" first="Christoph" last="Lauter">Christoph Lauter</name>
</country>
</tree>
</affiliations>
</record>

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Exploration
HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 003020 | SxmlIndent | more

Ou

HfdSelect -h $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd -nk 003020 | SxmlIndent | more

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Main
   |étape=   Exploration
   |type=    RBID
   |clé=     ISTEX:0541CAF242FA04EEF44865B446EF3EE730AB1F58
   |texte=   Sollya: An Environment for the Development of Numerical Codes
}}

Wicri

This area was generated with Dilib version V0.6.33.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022