共 50 条
- [32] Formalizing Factorization on Euclidean Domains and Abstract Euclidean Algorithms ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2024, (402):
- [36] On perturbation bounds of eigenvalues in Euclidean Jordan Algebras LINEAR & MULTILINEAR ALGEBRA, 2015, 63 (07): : 1379 - 1389