Roy Marie-Françoise

Il y a 6 résultats avec cette recherche.

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
2010 Maths A Venir Express. Quel avenir pour les mathématiques financières ? p. 61-63.

Auteur : 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
1999 Bulletin de l’APMEP. N° 421. p. 133-136. André Lichnérowicz.

Auteurs : Mainguené Jean ; Roy Marie-Françoise