Étude formelle d'algorithmes efficaces en algèbre linéaire

Similar Works

Action	Title	Year	Authors
+	Algorithmique efficace pour des opérations de base en calcul formel.	2003	Alin Bostan
+ PDF Chat	Algorithmes Efficaces en Calcul Formel	2017	Alin Bostan Frédéric Chyzak M Giusti Romain Lebreton Grégoire Lecerf Bruno Salvy Éric Schost
+	Composants mathématiques pour la théorie des groupes	2010	Sidi Ould Biha
+ PDF Chat	Algorithmes efficaces en géométrie algébrique réelle	2015	Mohab Safey El Din
+	Algorithmes combinatoires pour le calcul des caractères de groupes non compacts intervenant en physique	1999	Frédéric Toumazet
+	Arithmétique et algorithmique en algèbre linéaire exacte pour la bibliothèque LinBox	2004	Pascal Giorgi
+	Méthodes explicites pour les groupes arithmétiques	2014	Aurel Page
+	Elements de geometrie algebrique approchee : etude du pgcd et de la factorisation	2000	David Rupprecht
+ PDF Chat	Contributions au développement des méthodes formelles de preuves et applications à la géométrie	2020	Nicolas Magaud
+	Contributions à l'algorithmique détendue et à la résolution des systèmes polynomiaux	2012	Romain Lebreton
+	Contribution à l'algèbre linéaire formelle : formes normales de matrices et applications	1993	Isabelle M Gil
+	Arithmétrique en différentes caractéristiques	2016	Pierre Jalinière
+	Méthodes algébriques pour la résolution d’équations différentielles matricielles d’ordre arbitraire	2011	Carole El Bacha
+	Etude de la complexite et transformation symbolique des programmes de calculs de formes lineaires	1994	Nathalie Delamare-Eyssette
+	Contributions théoriques et algorithmiques à l'étude des équations différencielles-algébriques : Approche par le calcul formel	1997	Thomas Gabriel
+	Interaction entre algèbre linéaire et analyse en formalisation des mathématiques	2014	Guillaume Cano
+	Polynômes Étude algébrique	1998	Bernard Randé
+	Contribution a l'etude des systemes lineaires generalises : approches geometrique et structurelle	1991	Guy Lebret
+	Algorithmes pour la décomposition primaire des idéaux polynomiaux de dimension nulle donnés en évaluation	2008	Clémence Durvye
+	Algèbre linéaire exacte efficace : le calcul du polynôme caractéristique	2006	Clément Pernet

Works That Cite This (1)

Action	Title	Year	Authors
+	Interaction entre algèbre linéaire et analyse en formalisation des mathématiques	2014	Guillaume Cano

Works Cited by This (0)

Action	Title	Year	Authors