Search for persons
X
?
Mathematics Mechanization and Applications ,
7
Conversion between implicit and parametric representations ..:
, In:
?
Mathematics Mechanization and Applications ,
8
Geometric theorem provers and algebraic equation solvers:
, In:
?
Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation ,
10
New Sparse Multivariate Polynomial Factorization Algorithms..:
, In:
?
Communications in Computer and Information Science; Neural Information Processing ,
12