Micro-computer prolog as a handy tool for formal algebraic computations
Algorithmique, topologie et géométrie algébriques - Sévilla,1987, Toulouse 1988, Astérisque no. 192  (1990), p. 69-78
@incollection{AST_1990__192__69_0,
     author = {Shibata, Katsuyuki},
     title = {Micro-computer prolog as a handy tool for formal algebraic computations},
     booktitle = {Algorithmique, topologie et g\'eom\'etrie alg\'ebriques - S\'evilla,1987, Toulouse 1988},
     editor = {Hayat-Legrand Claude and Sergeraert Francis},
     series = {Ast\'erisque},
     publisher = {Soci\'et\'e math\'ematique de France},
     number = {192},
     year = {1990},
     pages = {69-78},
     language = {en},
     url = {http://www.numdam.org/item/AST_1990__192__69_0}
}
Shibata, Katsuyuki. Micro-computer prolog as a handy tool for formal algebraic computations, in Algorithmique, topologie et géométrie algébriques - Sévilla,1987, Toulouse 1988, Astérisque, no. 192 (1990), pp. 69-78. http://www.numdam.org/item/AST_1990__192__69_0/

[1] I. Gelfand and D. Fuks, The cohomology of the Lie algebra of tangent vector fields on a smooth manifolds (1), Functional Analysis, 3 (1969), 32-52.

[2] A. Haefliger, Sur la cohomologie de l'algèbre de Lie des champs de vecteurs, Ann. Sci. de l'École Normale Supérieure, 9 (1976), 503-532.

[3] K. Shibata, Remarque sur la cohomologie de l'algèbre de Lie des champs de vecteurs sur la sphère, Bulletin de la Société Mathématique de France, 108 (1980), 117-136.

[4] K. Shibata. On Haefliger's model for the Gelfand-Fuks cohomology, Japanese Journal of Mathematics, 7 (1981), 397-415.

[5] K. Shibata, Applications of the programming language Prolog to linear and homological algebras (3), (in Japanese), Journal of Saitama University, College of Liberal Arts, 4 (1986), 43-73.

[6] K. Shibata, Introduction to Prolog for mathematicians, preprint.