Annuaire des initiatives
Pertinence
Vous ne trouvez pas l'initiative qui correspond à votre besoin ? Notre assistant peut vous aider.
- Ce projet propose deux prototypes implémentant le calcul des Rational Univariate Representations (RUR) pour la résolution de systèmes d'équations polynomiales à dimensions nulles et à coefficients rationnels. Un RUR est une forme linéaire t=a1x1+..+anxn et un ensemble de n+1 polynômes univariés f(T),f1(T), ... ,fn(T), tels que les racines de S soient en bijection avec les racines de f.
- Givaro est une bibliothèque C++ dédiée aux calculs arithmétiques et algébriques. Elle fournit des implémentations de divers types mathématiques tels que les champs finis, les corps finis, les anneaux, les polynômes, les nombres algébriques, les entiers et rationnels de précision arbitraire, ainsi que des structures de données pour la manipulation de ces objets. Givaro est compatible avec les bibliothèques FFLAS-FFPACK et LinBox pour le calcul linéaire.
10 initiatives
10