共 50 条
- [15] Rewriting input expressions in complex algebraic geometry provers [J]. Annals of Mathematics and Artificial Intelligence, 2019, 85 : 73 - 87
- [20] Applications of Algebraic Combinatorics to Algebraic Geometry [J]. INDAGATIONES MATHEMATICAE-NEW SERIES, 2021, 32 (06): : 1412 - 1428