FORMAL ALGEBRAIC MODELS OF GRADED DIFFERENTIAL GEOMETRY

被引：0

作者：

BOYER, CP

机构：

来源：

JOURNAL OF PURE AND APPLIED ALGEBRA | 1980年 / 18卷 / 01期

关键词：

D O I：

10.1016/0022-4049(80)90112-7

中图分类号：

O29 [应用数学];

学科分类号：

070104 ;

摘要：

引用

页码：1 / 16

页数：16

共 50 条

[31] Noncommutative geometry with graded differential Lie algebras
Wulkenhaar, R
JOURNAL OF MATHEMATICAL PHYSICS, 1997, 38 (06) : 3358 - 3390
[32] Noncommutative geometry with graded differential Lie algebras
Wulkenhaar, R.
Journal of Mathematical Physics, 38 (06):
[33] A differential graded model for derived analytic geometry
Pridham, J. P.
ADVANCES IN MATHEMATICS, 2020, 360
[34] Lectures on graded differential algebras and noncommutative geometry
Dubois-Violette, M
NONCOMMUTATIVE DIFFERENTIAL GEOMETRY AND ITS APPLICATIONS TO PHYSICS, PROCEEDINGS, 2001, 23 : 245 - 306
[35] Differential Graded Contact Geometry and Jacobi Structures
Mehta, Rajan Amit
LETTERS IN MATHEMATICAL PHYSICS, 2013, 103 (07) : 729 - 741
[36] FORMAL POWER SERIES AS INTEGRALS OF ALGEBRAIC DIFFERENTIAL EQUATIONS
MAHLER, K
ATTI DELLA ACCADEMIA NAZIONALE DEI LINCEI RENDICONTI-CLASSE DI SCIENZE FISICHE-MATEMATICHE & NATURALI, 1971, 50 (02): : 76 - &
[37] Differential graded Lie algebras and formal deformation theory
Manetti, Marco
PROCEEDINGS OF SYMPOSIA IN PURE MATHEMATICS: ALGEBRAIC GEOMETRY SEATTLE 2005, VOL 80, PTS 1 AND 2, 2009, 80 : 785 - 810
[38] NERON MODELS IN THE SETTING OF FORMAL AND RIGID GEOMETRY
BOSCH, S
SCHLOTER, K
MATHEMATISCHE ANNALEN, 1995, 301 (02) : 339 - 362
[39] Formal Verification of Arithmetic Datapaths using Algebraic Geometry and Symbolic Computation
Kalla, Priyank
PROCEEDINGS OF THE 15TH CONFERENCE ON FORMAL METHODS IN COMPUTER-AIDED DESIGN (FMCAD 2015), 2015, : 2 - 2
[40] Formal Verification of Error Correcting Circuits Using Computational Algebraic Geometry
Lvov, Alexey
Lastras-Montano, Luis A.
Paruthi, Viresh
Shadowen, Robert
El-Zein, Ali
PROCEEDINGS OF THE 12TH CONFERENCE ON FORMAL METHODS IN COMPUTER-AIDED DESIGN (FMCAD 2012), 2012, : 141 - 148

← 1 2 3 4 5 →