An environment for Symbolic and Numeric Computation

Gabriel Dos Reis; Bernard Mourrain; Philippe Trebuchet; Fabrice Rouillier

inria-00100984, version 1

An environment for Symbolic and Numeric Computation

Gabriel Dos Reis^a^, 1, Bernard Mourrain ()^b^, 2, Philippe Trebuchet ()^c^, 2, Fabrice Rouillier ()^d^, 3

International Congress of Mathematical Software - ICMS'2002 (2002) 239-249

Abstract: We describe the environment for symbolic and numeric computations, called SYNAPS (Symbolic and Numeric APplicationS) and developed in C++. Its aim is to provide a coherent platform integrating many of the nowadays freely available software in scientific computing. The approach taken here is inspired by the recent paradigm of software developments called active library. In this paper, we explain the design choices of the kernel and their impact on the development of generic and efficient codes for the treatment of algebraic objects, such as vectors, matrices, univariate and multivariate polynomials. Implementation details illustrate the performance of the approach. We describe the environment for symbolic and numeric computations, called SYNAPS (Symbolic and Numeric APplicationS) and developed in C++. Its aim is to provide a coherent platform integrating many of the nowadays freely available software in scientific computing. The approach taken here is inspired by the recent paradigm of software developments called active library. In this paper, we explain the design choices of the kernel and their impact on the development of generic and efficient codes for the treatment of algebraic objects, such as vectors, matrices, univariate and multivariate polynomials. Implementation details illustrate the performance of the approach.

a – ENS CACHAN
b – INRIA-SOPHIA
c – INRAI-SOPHIA
d – INRIA
1: Centre de Mathématiques et de Leurs Applications (CMLA)
CNRS : UMR8536 – École normale supérieure de Cachan - ENS Cachan
2: GALAAD (INRIA Sophia Antipolis)
INRIA – CNRS : UMR6621 – Université Nice Sophia Antipolis [UNS]
3: SPACES (INRIA Lorraine - LORIA)
INRIA – CNRS : UMR7503 – Université Henri Poincaré - Nancy I – Université Nancy II – Institut National Polytechnique de Lorraine (INPL)

inria-00100984, version 1
http://hal.inria.fr/inria-00100984
oai:hal.inria.fr:inria-00100984
From: Publications Loria <>
Submitted on: Tuesday, 26 September 2006 14:53:19
Updated on: Tuesday, 16 October 2012 13:57:58

See detailed view

Export

Bibtex EndNote TEI RefWorks

%% inria-00100984, version 1
%% http://hal.inria.fr/inria-00100984
@inproceedings{dosreis:inria-00100984,
    hal_id = {inria-00100984},
    url = {http://hal.inria.fr/inria-00100984},
    title = {{An environment for Symbolic and Numeric Computation}},
    author = {Dos Reis, Gabriel and Mourrain, Bernard and Trebuchet, Philippe and Rouillier, Fabrice},
    abstract = {{We describe the environment for symbolic and numeric computations, called SYNAPS (Symbolic and Numeric APplicationS) and developed in C++. Its aim is to provide a coherent platform integrating many of the nowadays freely available software in scientific computing. The approach taken here is inspired by the recent paradigm of software developments called active library. In this paper, we explain the design choices of the kernel and their impact on the development of generic and efficient codes for the treatment of algebraic objects, such as vectors, matrices, univariate and multivariate polynomials. Implementation details illustrate the performance of the approach. We describe the environment for symbolic and numeric computations, called SYNAPS (Symbolic and Numeric APplicationS) and developed in C++. Its aim is to provide a coherent platform integrating many of the nowadays freely available software in scientific computing. The approach taken here is inspired by the recent paradigm of software developments called active library. In this paper, we explain the design choices of the kernel and their impact on the development of generic and efficient codes for the treatment of algebraic objects, such as vectors, matrices, univariate and multivariate polynomials. Implementation details illustrate the performance of the approach.}},
    keywords = {software integration; symbolic computations; numeric computations; applications || int{\'e}gration logicielle; calul symbolique; calcul num{\'e}rique; applications},
    language = {English},
    affiliation = {Centre de Math{\'e}matiques et de Leurs Applications - CMLA , GALAAD - INRIA Sophia Antipolis , SPACES - INRIA Lorraine - LORIA},
    booktitle = {{International Congress of Mathematical Software - ICMS'2002}},
    publisher = {World Scientific},
    pages = {239-249},
    address = {Beijing, China, China},
    audience = {international },
    year = {2002},
}

%F inria-00100984, version 1
%0 Conference Proceedings
%U http://hal.inria.fr/inria-00100984
%2 INFO:INFO_OH
%T An environment for Symbolic and Numeric Computation
%A Dos Reis, Gabriel
%A Mourrain, Bernard
%A Trebuchet, Philippe
%A Rouillier, Fabrice
%+ Centre de Mathématiques et de Leurs Applications - CMLA , GALAAD - INRIA Sophia Antipolis , SPACES - INRIA Lorraine - LORIA
%X We describe the environment for symbolic and numeric computations, called SYNAPS (Symbolic and Numeric APplicationS) and developed in C++. Its aim is to provide a coherent platform integrating many of the nowadays freely available software in scientific computing. The approach taken here is inspired by the recent paradigm of software developments called active library. In this paper, we explain the design choices of the kernel and their impact on the development of generic and efficient codes for the treatment of algebraic objects, such as vectors, matrices, univariate and multivariate polynomials. Implementation details illustrate the performance of the approach. We describe the environment for symbolic and numeric computations, called SYNAPS (Symbolic and Numeric APplicationS) and developed in C++. Its aim is to provide a coherent platform integrating many of the nowadays freely available software in scientific computing. The approach taken here is inspired by the recent paradigm of software developments called active library. In this paper, we explain the design choices of the kernel and their impact on the development of generic and efficient codes for the treatment of algebraic objects, such as vectors, matrices, univariate and multivariate polynomials. Implementation details illustrate the performance of the approach.
%G English
%8 2002-00-00
%2 international
%B International Congress of Mathematical Software - ICMS'2002
%2 Beijing, China
%2 China
%8 2002
%I World Scientific
%P 239-249
%K software integration; symbolic computations; numeric computations; applications || intégration logicielle; calul symbolique; calcul numérique; applications

<?xml version="1.0" encoding="UTF-8"?>
<listBibl xmlns="http://www.tei-c.org/ns/1.0" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:mml="http://www.w3.org/1998/Math/MathML">
<listBibl type="inproceedings"><head>Peer-reviewed conferences/proceedings</head>
<biblStruct type="inproceedings" xml:id="inria-00100984"><analytic>
<author><persName><forename>Gabriel</forename><surname>Dos Reis</surname></persName>
<affiliation>
<orgName type="laboratory">CMLA</orgName>
<orgName type="team">Centre de Mathématiques et de Leurs Applications</orgName>
<country>FR</country>
<orgName type="institution">CNRS : UMR8536</orgName>
<orgName type="institution">École normale supérieure de Cachan - ENS Cachan</orgName>
</affiliation>
</author>
<author><persName><forename>Bernard</forename><surname>Mourrain</surname></persName>
<affiliation>
<orgName type="laboratory">INRIA Sophia Antipolis</orgName>
<orgName type="team">GALAAD</orgName>
<country>FR</country>
<orgName type="institution">INRIA</orgName>
<orgName type="institution">CNRS : UMR6621</orgName>
<orgName type="institution">Université Nice Sophia Antipolis [UNS]</orgName>
</affiliation>
</author>
<author><persName><forename>Philippe</forename><surname>Trebuchet</surname></persName>
<affiliation>
<orgName type="laboratory">INRIA Sophia Antipolis</orgName>
<orgName type="team">GALAAD</orgName>
<country>FR</country>
<orgName type="institution">INRIA</orgName>
<orgName type="institution">CNRS : UMR6621</orgName>
<orgName type="institution">Université Nice Sophia Antipolis [UNS]</orgName>
</affiliation>
</author>
<author><persName><forename>Fabrice</forename><surname>Rouillier</surname></persName>
<affiliation>
<orgName type="laboratory">INRIA Lorraine - LORIA</orgName>
<orgName type="team">SPACES</orgName>
<country>FR</country>
<orgName type="institution">INRIA</orgName>
<orgName type="institution">CNRS : UMR7503</orgName>
<orgName type="institution">Université Henri Poincaré - Nancy I</orgName>
<orgName type="institution">Université Nancy II</orgName>
<orgName type="institution">Institut National Polytechnique de Lorraine (INPL)</orgName>
</affiliation>
</author>
<title type="main" level="a">An environment for Symbolic and Numeric Computation</title></analytic><monogr><meeting>International Congress of Mathematical Software - ICMS'2002</meeting><imprint><publisher>World Scientific</publisher><pubPlace><settlement>Beijing, China</settlement><country>China</country></pubPlace><biblScope type="publicationDate">2002-00-00</biblScope><biblScope type="pp">239-249</biblScope></imprint></monogr><idno type="HALid">http://hal.inria.fr/inria-00100984</idno></biblStruct>
</listBibl>
</listBibl>