钳子
发表于 2025-3-30 12:09:16
http://reply.papertrans.cn/88/8720/871912/871912_51.png
Neonatal
发表于 2025-3-30 15:14:25
http://reply.papertrans.cn/88/8720/871912/871912_52.png
BURSA
发表于 2025-3-30 20:20:05
http://reply.papertrans.cn/88/8720/871912/871912_53.png
alabaster
发表于 2025-3-30 21:35:26
http://reply.papertrans.cn/88/8720/871912/871912_54.png
Soliloquy
发表于 2025-3-31 03:57:39
Automatic Geometry Theorem Proving, geometry theorem proving, Wu Wen Tsun ; the textbook , which integrates one section on this material in a commutative algebra/algebraic geometry course, and the book by Chou , including an impressive collection of computed examples.
吞没
发表于 2025-3-31 08:14:14
http://reply.papertrans.cn/88/8720/871912/871912_56.png
GNAW
发表于 2025-3-31 11:50:21
http://reply.papertrans.cn/88/8720/871912/871912_57.png
把手
发表于 2025-3-31 17:19:57
Computations in Associative and Lie Algebras,he way the algebra is constructed from these building blocks. We describe polynomial time algorithms to find the main components: the Jacobson radical and the simple direct summands of the radical-free part.
身心疲惫
发表于 2025-3-31 17:50:18
978-3-642-08335-8Springer-Verlag Berlin Heidelberg 1999