Home | Quick Search | Advanced Search | Bibliography submission | Bibliography submission using bibtex | Bibliography submission using bibtex file | Links | Help | Internal

Details:

   
TitleGeneral Jacobi identity revisited again.
Author(s) Hirokazu Nishimura, Takeshi Osoekawa
TypeArticle in Journal
AbstractSynthetic differential 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 finite diagram of infinitesimal spaces, or equivalently, with computation of the limit of a finite diagram of Weil algebras. Indeed we have been forced to do a highly involved computation of the above kind by hand in our previous papers (Nishimura, H. in Int. J. Theor. Phys. 36:10991131, 1997 and Nishimura, H. in Int. J. Theor. Phys. 38:21632174, 1999). The principal objective in this paper is to show that Grö bner bases techniques provide us with means that relegate such computations to computers.
KeywordsWeil algebra, Limit ,Equalizer
ISSN0020-7748; 1572-9575/e
URL http://link.springer.com/article/10.1007%2Fs10773-007-9397-z
LanguageEnglish
JournalInt. J. Theor. Phys.
Volume46
Number11
Pages2843--2862
PublisherSpringer US, New York, NY
Year2007
Edition0
Translation No
Refereed No
Webmaster