algpath

Algpath est un package Rust en phase de concept qui permet le calcul rigoureux de la continuation d'une racine régulière d'un polynôme lors de la modification d'un paramètre.

Dépôt de code

https://gitlab.inria.fr/numag/algpath (nouvelle fenêtre)

Cas d'utilisation métiers

Vérification de la certification de zéros de polynômes : rechercher des initiatives proches
Résolution de systèmes d'équations polynomiales : rechercher des initiatives proches
Calcul de chemins de continuation de zéros réguliers de polynômes : rechercher des initiatives proches

Organisation

Administration centrale
- Gouvernement (Premier ministre et ministères)
  - Ministère de l’Économie, des Finances et de la Souveraineté industrielle, énergétique et numérique
    - Organismes rattachés - Ministère chargé de l'Économie et des Finances et de la Souveraineté industrielle et énergétique
      - Institut national de recherche en informatique et en automatique (organisation rattachée)

Outils utilisés

Description générée le lundi 18 mars 2024 à 22:29:08

D'autres initiatives de la même organisation

Insee
insee.fr
Inria
inria.fr
Coq
github.com/coq/coq
Catala
github.com/CatalaLang/catala