See this document in CiteSeerX!

Differential Equations, Spencer Cohomology, and Computing Resolutions  (Make Corrections)  
Larry A. Lambe, Werner M. Seiler
Georgian Math. J.



  Home/Search   Context   Related

 
View or download:
matematik.su.se/~lambe/pub...llws.ps.gz
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  matematik.su.se/~lambe/pub...pubs (more)
Homepages:  L.Lambe  

Rate this article: (best)
  Comment on this article  
(Enter summary)

Abstract: We propose a new point of view of the Spencer cohomology appearing in the formal theory of differential equations based on a dual approach via comodules. It allows us to relate the Spencer cohomology with standard constructions in homological algebra and, in particular, to express it as a Cotor. We discuss concrete methods for its construction based on homological perturbation theory. (Update)

Active bibliography (related documents):   More   All
21.6:   Differential Equations, Spencer Cohomology, and Computing.. - Lambe, Seiler (2002)   (Correct)
2.3:   On Constructing Resolutions Over The Polynomial Algebra - Johansson, Lambe, Sköldberg (2000)   (Correct)
2.3:   On Constructing Resolutions over the Polynomial Algebra - Johansson, Lambe, Sköldberg (2000)   (Correct)

Similar documents based on text:
0.0:   Unknown -   (Correct)

BibTeX entry:   (Update)

@article{ lambe02differential,
  author = "Larry A. Lambe and Werner M. Seiler",
  title = "Differential Equations, Spencer Cohomology, and Computing Resolutions",
  journal = "Georgian Math. J.",
  volume = "9",
  number  "4",
  pages = "723--772",
  year = "2002",
  url = "citeseer.ist.psu.edu/760057.html" }
Citations (may not include all citations):
442   Concrete Mathematics (context) - Graham, Knuth et al. - 1989
201   Commutative Algebra with a View Toward Algebraic Geometry (context) - Eisenbud - 1995
67   Princeton University Press (context) - Cartan, Eilenberg - 1956
66   A Computational Approach to Commutative Algebra (context) - Becker, Weispfennig et al. - 1993
38   An Introduction to Grobner Bases (context) - Adams, Loustaunau - 1994
37   Perturbation theory in di erential homological algebra (context) - Gugenheim, Lambe et al. - 1991
37   Perturbation theory in di erential homological algebra (context) - Gugenheim, Lambe - 1989
29   London Mathematical Society Lecture Notes Series (context) - Saunders, of - 1989
29   A criterion for detecting unnecessary reductions in the cons.. (context) - Buchberger - 1979
24   erential Algebra and Algebraic Groups (context) - Kolchin - 1973
22   Twisted tensor products (context) - Brown - 1959
19   Monomial resolutions - Bayer, Peeva et al. - 1998
19   the chain-complex of a bration (context) - Gugenheim - 1972
19   Resolutions via homological perturbation - Lambe - 1991
18   Classics in Mathematics (context) - Lane - 1995
17   the extended functoriality of Tor and Cotor (context) - Gugenheim, Munkholm - 1974
17   Springer-Verlag (context) - Bourbaki, Chapters - 1998
16   Applications of perturbation theory to iterated brations (context) - Lambe, Stashe - 1987
14   Algorithmic methods for Lie pseudogroups - Sch, Seiler et al. - 1993
14   Ideals Generated by Monomials in an R-Sequence (context) - Taylor - 1960
10   A xed point approach to homological perturbation theory (context) - Barnes, Lambe - 1991
10   Projective modules over polynomial rings are free (context) - Suslin - 1976
9   The twisted Eilenberg-Zilber theorem (context) - Brown - 1964
9   Projective modules over polynomial rings (context) - Quillen - 1976
9   Transferring algebra structures up to homology equivalence - Johansson, Lambe - 2001
9   the cobar construction (context) - Adams - 1956
8   Resolutions which split o of the bar construction (context) - Lambe - 1993
8   Homological perturbation theory - Lambe - 1990
8   Homology theory: An introduction to algebraic topology (context) - Hilton, Wylie - 1960
8   erential Algebra (context) - Ritt - 1966
8   ebras d'Eilenberg-MacLane et homotopie (context) - Cartan, Moore et al. - 1956
8   Systems of Partial Di erential Equations and Lie Pseudogroup.. (context) - Pommaret - 1978
7   Next generation computer algebra systems AXIOM and the scrat.. - Lambe - 1992
7   Integrability criteria for systems of non-linear partial di .. (context) - Goldschmidt - 1969
6   Involutive bases of polynomial ideals - Gerdt, Blinkov - 1998
6   Die Berechnung von Syzygien mit dem verallgemeinerten Weiers.. (context) - Schreyer - 1980
6   The complex and symplectic cases (context) - ubschmann, type - 1983
6   On constructing resolutions over the polynomial algebra - Johansson, Lambe et al. - 2002
5   Some complex constructions with applications to Poincare se.. (context) - Fr - 1979
5   An introduction to Grobner bases (context) - Fr - 1997
5   A combinatorial approach to involution and -regularity II: S.. (context) - Seiler - 2002
5   A new explicit nite free resolution of ideals generated by m.. (context) - Lyubeznik - 1988
5   Minimal involutive bases - Gerdt, Blinkov - 1998
5   A combinatorial approach to involution and -regularity I: In.. (context) - Seiler - 2002
4   Small models for chain algebras (context) - ubschmann, Kadeishvili - 1991
4   Sur les invariants di erentiels des groupes continus de tra.. (context) - Tresse
4   Les prolongements d'une variete di erentiable (context) - Ehresmann - 1951
4   Les prolongements d'une variete di erentiable (context) - Ehresmann - 1951
4   Homology and brations (context) - Eilenberg, Moore - 1966
4   Entry on homological perturbation theory in the Encyclopaedi.. (context) - Lambe - 2000
4   Introduction to the quantum Yang-Baxter equation and quantum.. (context) - Lambe, Radford - 1997
4   Sur une theorie nouvelle des problemes generaux d`integr.. (context) - Vessiot - 1924
4   Equations aux Derivees Partielles (context) - Riquier, emes - 1910
4   On ecient sparse integer matrix Smith normal form computatio.. (context) - Dumas, Saunders et al. - 2001
4   cons sur les Systemes d'  Equations aux Derivees Partiel.. (context) - Janet - 1929
4   Correction to \a xed point approach to homological perturbat.. (context) - Barnes, Lambe - 2001
3   erential Systems (context) - Thomas - 1937
3   erieurs et leurs applications geometriques (context) - Cartan, emes et al. - 1945
3   The theory of overdetermined linear systems and its applicat.. (context) - Dubois-Violette - 1984
3   An algebraic model of transitive di erential geometry (context) - Guillemin, Sternberg - 1964
3   Sur les algebres de Lie lineaires semi-involutives (context) - Matsushima
3   An ecient algebraic algorithm for the geometric completion t.. (context) - Hausdorf, Seiler - 2002
3   Formal Properties of Over-Determined Systems of Linear Parti.. (context) - Quillen - 1964
3   Completion to involution and semi-discretisations (context) - Seiler - 2002
3   An Introduction to Partial Di erential Equations (context) - Renardy, Rogers - 1993
3   Standard bases for general coecient rings and a new construc.. (context) - Jacobsson, ofwall - 1991
3   Computations in algebraic geometry with Macaulay (context) - Eisenbud, Grayson et al. - 2001
3   computation system (context) - Jenks, Sutor et al. - 1992
3   uhrung in die Theorie der Systeme von Di erentialgleichungen (context) - ahler - 1934
2   Algorithmen zur Berechnung der Smith-Normalform und deren Im.. (context) - ager - 2001
2   the formal theory of di erential equations and its applicati.. (context) - Seiler - 2001
2   Applying axiom to partial di erential equations (context) - Seiler - 1995
2   Homology of the Koszul complex of a partial di erential equa.. (context) - Ruiz - 1985
2   A simple criterion for involutivity (context) - eld - 1996
2   The Formal Theory of Di erential Equations (context) - Chrastina - 1998
2   Overdetermined systems of linear partial di erential equatio.. (context) - Spencer - 1969
2   Geometry of Jet Spaces and Nonlinear Partial Di erential Equ.. (context) - Krasilshik, Lychagin et al. - 1986
2   Sur les espaces bres associes a une variete di erentiab.. (context) - Ehresmann - 1943
2   Core exive coalgebras (context) - Radford - 1973
2   Translated from the French by P (context) - Bourbaki, Springer-Verlag - 1990
2   Cartan's prolongation theorem of exterior di erential system.. (context) - Kuranishi - 1957
2   Existence theorems for analytic linear partial di erential e.. (context) - Goldschmidt - 1967
2   erential Equations I-VI (context) - Forsyth, Di
2   Variationsrechnung und Partielle Di erentialgleichungen erst.. (context) - Carath - 1956
2   Deformation of structures on manifolds de ned by transitive (context) - Spencer - 1962
2   Taylor and Lyubeznik resolutions via Grobner bases (context) - Seiler
2   Mathematical Sciences Research Institute (context) - Bryant, Chern et al. - 1991

Documents on the same site (http://www.matematik.su.se/~lambe/public/pubs.html):   More
Object-Oriented Mathematical Programming and Symbolic/Numeric.. - Lambe, Luczak (1993)   (Correct)
Construction of Quantum Groups and the Yang Baxter.. - Cotta-Ramusino.. (1993)   (Correct)
Perturbation Theory in Differential Homological Algebra I - Gugenheim, Lambe (1989)   (Correct)

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC