@article{oai:tsukuba.repo.nii.ac.jp:00015047,
 author = {西村, 泰一 and Nishimura, Hirokazu and Osoekawa, Takeshi},
 issue = {11},
 journal = {INTERNATIONAL JOURNAL OF THEORETICAL PHYSICS},
 month = {Nov},
 note = {application/pdf, Synthetic di¤erential geometry occupies a unique position in topos-theoretic
physics. Nevertheless it has appeared somewhat too conceptual to physicists
in general, partly because it has appeared to lack computational aspects. Its
computational facets are really concerned with computation of the quasi-colimit
of a …nite diagram of in…nitesimal spaces, or equivalently, with computation of
the limit of a …nite diagram of Weil algebras. Indeed we have been forced to
do a highly invovled computation of the above kind by hand in our previous
papers ([International Journal of Theoretical Physics, 36 (1997) , 1099-1131]
and [International Journal of Theoretical Physics, 38 (1999) , 2163-2174]). The
principal objective in this paper is to show that Gröbner bases techniques pro-
vide us with means that relegate such computations to computers.},
 pages = {2843--2862},
 title = {General Jacobi identity revisited again - Grobner bases in differential geometry},
 volume = {46},
 year = {2007}
}