@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, in 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] The cohomology of the Lie algebra of tangent vector fields on a smooth manifolds (1), Functional Analysis, 3 (1969), 32-52.
and ,[2] 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] 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] On Haefliger's model for the Gelfand-Fuks cohomology, Japanese Journal of Mathematics, 7 (1981), 397-415.
.[5] 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] Introduction to Prolog for mathematicians, preprint.
,