Inria
/
Raweb 2010
Presentation of the Project salsa
Logo Inria
salsa
Solvers for Algebraic Systems and Applications
2010 Research Team Activity Report
Paris - Rocquencourt
Field :
Algorithmics, Programming, Software and Architecture
Theme : Algorithms, Certification, and Cryptography
Presentation of the Project-Team
- Activity Report in
PDF
or
XML
or
ePub
(
test
) format
Members
Overall Objectives
Introduction
Highlights
Scientific Foundations
Introduction
Gröbner basis and triangular sets
Zero-dimensional systems
Positive-dimensional and parametric systems
Cryptography
Application Domains
Panorama
Robotic
Software
FGb
RS
RAGlib
DV
Epsilon
New Results
Real Solving Polynomial Systems
Solving structured systems
Structured systems and applications to Cryptanalysis
Algebraic Cryptanalysis
Decomposition of Generic Multivariate Polynomials
Triangular Sets - Decomposition
Computer Algebra and Algorithmic Number Theory
Efficient Implementations - High Performance Linear Algebra
Applications in computational geometry and robotics
Polynomial Knots
Contracts and Grants with Industry
WMI (Maple)
Contract with Thalès
Other Grants and Activities
National Initiatives
European Initiatives
International Initiatives
Dissemination
Scientific Animation
Teaching
Bibliography
Major publications
Publications of the year
References in notes
