Mots-clés – Auteurs

Roy Marie-Françoise

Il y a 6 résultats pour cette recherche

2010 Maths A Venir Express. Quel avenir pour les mathématiques financières ? p. 61-63.
Auteur : Roy Marie-Françoise
2001 Calcul formel et apprentissage des mathématiques. Calculer avec des inégalités. Introduction aux algorithmes de la géométrie algébrique réelle. p. 35-47.
Auteurs : Rouillier Fabrice ; Roy Marie-Françoise
1999 Bulletin de l’APMEP. N° 421. p. 177-188. Démonstration automatique en géométrie. Une approche par la géométrie analytique.
Auteurs : Mainguené Jean ; Roy Marie-Françoise
1999 Bulletin de l’APMEP. N° 421. p. 133-136. André Lichnérowicz.
Auteurs : Mainguené Jean ; Roy Marie-Françoise
1995 Bulletin de l’APMEP. N° 401. p. 937-941. La recherche universitaire en calcul formel.
Auteur : Roy Marie-Françoise
1993 Quadrature. N° 16. p. 45-52. Démonstration automatique en géométrie : une approche par l’algèbre.
Auteur : Roy Marie-Françoise