Action Exploratoire

Backbone

Manipulation Symbolique Efficace Pour Les Systèmes Creux
Manipulation Symbolique Efficace Pour Les Systèmes Creux

Un problème difficile est d'abord et avant tout un problème mal compris. Une façon (presque universelle) pour s'y attaquer serait d'expliciter sa structure éventuelle et la relation entre ses composants, pour ensuite décider quoi en faire et par quel bout commencer.

Ce projet consiste à appliquer ce principe de base pour accélérer la résolution au sens large des systèmes algébriques (par exemple montrer qu'ils ont des racines, ou les localiser, ou encore les énumérer).

Le défi consiste à trouver automatiquement un bon découpage. En effet, décomposer est toujours possible, mais les décompositions qui respectent la structure permettent souvent un traitement algorithmique plus efficace.

Par exemple, un cylindre est certainement un ensemble de points, mais là, toute la structure est oubliée ; il serait plus judicieux, à plein d'égards, de voir le cylindre comme des cercles identiques superposés.

Équipe(s) impliquée(s)
HYCOMES

Contacts

Khalil Ghorbal

Responsable scientifique