Un programme qui vérifie des identités en utilisant le raisonnement par récurrence. (A program that verifies identities using recurrence reasoning). - Martial Vivet (1973)

Expertise mathématique et informatique : CAMELIA, un logiciel pour raisonner et calculer. - Martial Vivet (1984)

Planification Pédagogique: de l'Expertise Humaine à sa Modélisation dans un STI. - Jean-Marc Labat; Michel Futtersack; Martial Vivet (Intelligent Tutoring Systems, 1992)

Teleassistance of trainees in an SME: a case study. - Martial Vivet; Pascal Leroux; Oliver Hubert; Josette Morandeau; C. Parmentier (Teleteaching, 1993)

Evaluating Educational Technologies: Evaluation of Teaching Material Versus Evaluation of Learning? - Martial Vivet (CALISCE, 1996)

Da la modélisation d'un processus de coopération à la conception de systèmes coopératifs d'apprentissage. - Pascal Leroux; Martial Vivet (Intelligent Tutoring Systems, 1996)

The Classroom as ONE Learning Environment of the Future. - Martial Vivet (J. Univers. Comput. Sci., 1996)

A Model Of "Situation of Knowledge Evaluation" for Foreign Language Distance Learning. - Philipe Teutsch; Martial Vivet (Teleteaching, 1998)