客观 发表于 2025-3-28 17:26:14
Symbolic Computation and Complexity Theory Transcript of My Talkd at the Tenth Asian Symposium on Computer Mathematics (ASCM) in Beijing, China, on October 26, 2012 on the complexity theoretic hardness of many problems that the discipline of symbolic computation tackles.