Validated Numerics for Algebraic Path Tracking - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2024

Validated Numerics for Algebraic Path Tracking

Résumé

Using validated numerical methods, interval arithmetic and Taylor models, we propose a certified predictor-corrector loop for tracking zeros of polynomial systems with a parameter. We provide a Rust implementation which shows tremendous improvement over existing software for certified path tracking.
Fichier principal
Vignette du fichier
path-continuation.pdf (632.58 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04697800 , version 1 (14-09-2024)

Licence

Identifiants

Citer

Alexandre Guillemot, Pierre Lairez. Validated Numerics for Algebraic Path Tracking. ISSAC 2024 - International Symposium on Symbolic and Algebraic Computation, Jul 2024, Raleigh NC, United States. pp.36-45, ⟨10.1145/3666000.3669673⟩. ⟨hal-04697800⟩
0 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Mastodon Facebook X LinkedIn More