• Main content
  • Site map
  • Accessibility
EN FR
Inria scientific annual reports
  • 2022
  • 2021
  • 2020
  • Archives
Log in to access more tools Inria
Inria scientific annual reports Inria
  • Log in to access more tools
  • The Inria's Research Teams produce an annual Activity Report presenting their activities and their results of the year. These reports include the team members, the scientific program, the software developed by the team and the new results of the year. The report also describes the grants, contracts and the activities of dissemination and teaching. Finally, the report gives the list of publications of the year.

  • 2022 2021 2020 2019 2018
    All archives
  • Site map
  • Legal notice
  • Accessibility - non conforme
  • FRENCH

    |

    ENGLISH

POLSYS
  • PDF version
  • ePub version
  • PDF version
  • 2019
  • 2018
  • 2017
  • 2016
  • 2015
  • 2014
  • 2013
  • 2012
POLSYS - 2015
POLSYS - 2015
Inria
Project-Team Polsys
Members
Overall Objectives
Research Program
  • Introduction
  • Fundamental Algorithms and Structured Systems
  • Solving Systems over the Reals and Applications.
  • Low level implementation and Dedicated Algebraic Computation and Linear Algebra.
  • Solving Systems in Finite Fields, Applications in Cryptology and Algebraic Number Theory.
Highlights of the Year
New Software and Platforms
  • FGb
  • FGb Light
  • GBLA
  • RAGlib
  • SLV
New Results
  • Fundamental algorithms and structured polynomial systems
  • Solving Polynomial Systems over the Reals and Applications
  • Solving Systems in Finite Fields, Applications in Cryptology and Algebraic Number Theory
Bilateral Contracts and Grants with Industry
  • Bilateral Contracts with Industry
  • Industrial Transfer
Partnerships and Cooperations
  • National Initiatives
  • European Initiatives
  • International Initiatives
  • International Research Visitors
Dissemination
  • Promoting Scientific Activities
  • Teaching - Supervision - Juries
  • Popularization
Bibliography
  • Publications of the year
  • 2019
  • 2018
  • 2017
  • 2016
  • 2015
  • 2014
  • 2013
  • 2012
  • PDF version
  • ePub version
  • PDF version
Inria
Project-Team Polsys
Members
Overall Objectives
Research Program
  • Introduction
  • Fundamental Algorithms and Structured Systems
  • Solving Systems over the Reals and Applications.
  • Low level implementation and Dedicated Algebraic Computation and Linear Algebra.
  • Solving Systems in Finite Fields, Applications in Cryptology and Algebraic Number Theory.
Highlights of the Year
New Software and Platforms
  • FGb
  • FGb Light
  • GBLA
  • RAGlib
  • SLV
New Results
  • Fundamental algorithms and structured polynomial systems
  • Solving Polynomial Systems over the Reals and Applications
  • Solving Systems in Finite Fields, Applications in Cryptology and Algebraic Number Theory
Bilateral Contracts and Grants with Industry
  • Bilateral Contracts with Industry
  • Industrial Transfer
Partnerships and Cooperations
  • National Initiatives
  • European Initiatives
  • International Initiatives
  • International Research Visitors
Dissemination
  • Promoting Scientific Activities
  • Teaching - Supervision - Juries
  • Popularization
Bibliography
  • Publications of the year


previous Previous | up Home | Next next


Section: New Software and Platforms

RAGlib

Functional Description

RAGLib is a Maple library for solving over the reals polynomial systems and computing sample points in semi-algebraic sets.

  • Contact: Mohab Safey El Din

  • URL: http://www-polsys.lip6.fr/~safey/RAGLib



previous Previous | up Home | Next next


  • Site map
  • Legal notice
  • Accessibilité : partiellement conforme

version 2.6.2