A framework for Symbolic and Numeric Computations

Bernard Mourrain 1 Hélène Prieto 1
1 SAGA - Algebraic Systems, Geometry and Applications
CRISAM - Inria Sophia Antipolis - Méditerranée
Abstract : The need to combine symbolic and numeric computations is ubiquitous is many problems such as the forward and inverse kinematics of robots, motion planning, the analysis of the geometric structure of molecules, computational geometry, geometric and solid modelling, graphics, computer-aided design, computer vision, signal processing ... Starting with an exact or approximate description of the equations, we will eventually have to compute a numerical approximation of the solutions. This leads to new, interesting and challenging questions either from a theoretical or practical point of view at the frontier between algebra and analysis. The objective of this report is to describe a framework for symbolic and numeric computations, called ALP, which can be used to validate these new developments and to build devoted applications or solvers. This environment allows us to define parameterised but efficient classes of basic algebraic objects such as vectors, matrices, monomials and polynomials, ... which can be used easily in the construction of more elaborated algorithms. We pay a special attention to genericity and to reusability of external libraries such as LAPACK, SUPERLU, GMP ... In this report, we describe the structure of the software and the main tools or classes which are available.
Type de document :
[Research Report] RR-4013, INRIA. 2000, pp.96
Liste complète des métadonnées

Contributeur : Rapport de Recherche Inria <>
Soumis le : mercredi 24 mai 2006 - 10:26:44
Dernière modification le : samedi 27 janvier 2018 - 01:31:05
Document(s) archivé(s) le : dimanche 4 avril 2010 - 23:16:12



  • HAL Id : inria-00072629, version 1



Bernard Mourrain, Hélène Prieto. A framework for Symbolic and Numeric Computations. [Research Report] RR-4013, INRIA. 2000, pp.96. 〈inria-00072629〉



Consultations de la notice


Téléchargements de fichiers