共 50 条
- [34] CONVOLUTION AND SECOND DUAL OF A BANACH ALGEBRA PROCEEDINGS OF THE CAMBRIDGE PHILOSOPHICAL SOCIETY-MATHEMATICAL AND PHYSICAL SCIENCES, 1969, 65 : 597 - &
- [35] The Second Conference "Computer Algebra" in Moscow ACM COMMUNICATIONS IN COMPUTER ALGEBRA, 2018, 51 (04): : 103 - 110
- [40] An interactive algebra course with formalised proofs and definitions MATHEMATICAL KNOWLEDGE MANAGEMENT, 2006, 3863 : 315 - 329