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), pp. 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},
     pages = {69--78},
     publisher = {Soci\'et\'e math\'ematique de France},
     number = {192},
     year = {1990},
     language = {en},
     url = {http://archive.numdam.org/item/AST_1990__192__69_0/}
}
TY  - CHAP
AU  - Shibata, Katsuyuki
TI  - Micro-computer prolog as a handy tool for formal algebraic computations
BT  - Algorithmique, topologie et géométrie algébriques - Sévilla,1987, Toulouse 1988
AU  - Collectif
ED  - Hayat-Legrand Claude
ED  - Sergeraert Francis
T3  - Astérisque
PY  - 1990
SP  - 69
EP  - 78
IS  - 192
PB  - Société mathématique de France
UR  - http://archive.numdam.org/item/AST_1990__192__69_0/
LA  - en
ID  - AST_1990__192__69_0
ER  - 
%0 Book Section
%A Shibata, Katsuyuki
%T Micro-computer prolog as a handy tool for formal algebraic computations
%B Algorithmique, topologie et géométrie algébriques - Sévilla,1987, Toulouse 1988
%A Collectif
%E Hayat-Legrand Claude
%E Sergeraert Francis
%S Astérisque
%D 1990
%P 69-78
%N 192
%I Société mathématique de France
%U http://archive.numdam.org/item/AST_1990__192__69_0/
%G en
%F AST_1990__192__69_0
Shibata, Katsuyuki. Micro-computer prolog as a handy tool for formal algebraic computations, dans Algorithmique, topologie et géométrie algébriques - Sévilla,1987, Toulouse 1988, Astérisque, no. 192 (1990), pp. 69-78. http://archive.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.