An environment for Symbolic and Numeric Computation

Gabriel Dos Reis 1 Bernard Mourrain 2 Philippe Trebuchet 3, 2 Fabrice Rouillier 4, 3
2 GALAAD - Geometry, algebra, algorithms
CRISAM - Inria Sophia Antipolis - Méditerranée , UNS - Université Nice Sophia Antipolis, CNRS - Centre National de la Recherche Scientifique : UMR6621
3 CALFOR - Calcul formel
LIP6 - Laboratoire d'Informatique de Paris 6
4 SPACES - Solving problems through algebraic computation and efficient software
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
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.
Type de document :
Communication dans un congrès
International Congress of Mathematical Software - ICMS'2002, 2002, Beijing, China. World Scientific, pp.239-249, 2002
Liste complète des métadonnées

https://hal.inria.fr/inria-00100984
Contributeur : Publications Loria <>
Soumis le : mardi 26 septembre 2006 - 14:53:19
Dernière modification le : mercredi 21 mars 2018 - 18:58:14

Identifiants

  • HAL Id : inria-00100984, version 1

Citation

Gabriel Dos Reis, Bernard Mourrain, Philippe Trebuchet, Fabrice Rouillier. An environment for Symbolic and Numeric Computation. International Congress of Mathematical Software - ICMS'2002, 2002, Beijing, China. World Scientific, pp.239-249, 2002. 〈inria-00100984〉

Partager

Métriques

Consultations de la notice

309