共 50 条
- [1] A∞-modules over A∞-algebras and Hochschild cohomology for modules over algebras Mathematical Notes, 2006, 79 : 664 - 674
- [2] Formalising Lie Algebras PROCEEDINGS OF THE 11TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON CERTIFIED PROGRAMS AND PROOFS (CPP '22), 2022, : 239 - 250
- [3] LIE *DOUBLE DERIVATIONS ON LIE C*-ALGEBRAS INTERNATIONAL JOURNAL OF NONLINEAR ANALYSIS AND APPLICATIONS, 2010, 1 (02): : 63 - 71