Download:
by G. Dos Reis, B. Mourrain, F. Rouillier, Ph. Trébuchet
http://www-sop.inria.fr/galaad/logiciels/synaps/whatis.pdf
Add To MetaCart
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.
Citations
|
762
|
On understanding types, data abstraction, and polymorphism
– Cardelli, Wegner
- 1985
|
|
163
|
Typefull programming
– Cardelli
- 1989
|
|
94
|
The STL Tutorial and Reference Guide: C++ Programming with the Standard Template Library
– Musser, Saini
- 1995
|
|
77
|
Efficient incremental algorithms for the sparse resultant and the mixed volume
– Emiris, Canny
- 1995
|
|
47
|
Garbage Collection
– Jones, Lins
- 1996
|
|
35
|
Matrices in elimination theory
– Emiris, Mourrain
- 1999
|
|
30
|
The C++ Programming Language (Special Edition
– Stroustrup
- 2000
|
|
28
|
Algebraic approach of residues and applications
– Cardinal, Mourrain
- 1996
|
|
23
|
A new criterion for normal form algorithms
– Mourrain
- 1999
|
|
23
|
Eigenproblems are at the heart of polynomial system solving
– Stetter
- 1996
|
|
19
|
Multivariate Bezoutians, Kronecker symbol and Eisenbud-Levin formula
– Becker, Cardinal, et al.
- 1996
|
|
15
|
On two iterative methods for approximating the roots of a polynomial
– Cardinal
- 1995
|
|
15
|
Generative Programming And Active Libraries
– Czarnecki, Eisenecker, et al.
- 1998
|
|
14
|
Numerical Polynomial Algebra
– Stetter
- 2004
|
|
12
|
Algorithms for residues and Lojasiewicz exponents
– Elkadi, Mourrain
|
|
11
|
Solving projective complete intersection faster
– Trébuchet
- 2000
|
|
9
|
Algebraic methods for numerical solving
– Trébuchet
- 2002
|
|
3
|
Dualité et algorithmes itératifs pour la résolution de systèmes polynomiaux
– CARDINAL
- 1993
|
|
3
|
Some applications of bezoutians in effective algebraic geometry. Rapport de Recherche 3572, INRIA, Sophia Antipolis
– Elkadi, Mourrain
- 1998
|
|
3
|
Type-based alias analysis
– Mitchell
- 2000
|
|
3
|
Active Libaries: Rethinking the roles of compilers and libraries
– Veldhuizen, Cannon
- 1998
|
|
2
|
Vers une nouvelle approche du calcul scienti que en c++. Rapport de Recherche 3362
– Reis
- 1998
|
|
2
|
Linbox, a C++ library for symbolic linear algebra, particularly using black box matrix methods
– Dumas, Eberly, et al.
|
|
2
|
Challenges of symbolic computation: May favorite open problems
– Kaltofen
|
|
2
|
A mutivariate weierstrass iterative rootfinder
– Ruatta
- 2001
|
|
1
|
Cgal, a c++ library of geometric algorithms. http://www-sop.inria.fr/prisme/CGAL/index.html
– consortium
|
|
1
|
On circular cylinders by four or five points in space. Rapport de Recherche 4195
– Trébuchet
- 2001
|
|
1
|
Algèbre Linéaire pour les Polynmes, 1996-1999. Bibliothèque de structures et algorithmes C++, intervenant dans la résolution d’équations polynomiales, http://www-sop.inria.fr/galaad/logiciels/ALP
– ALP
|
