Personensuche
X
?
Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation ,
1
The Membership Problem for Hypergeometric Sequences with Qu..:
, In:
?
2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) ,
2
Multiplicity Problems on Algebraic Series and Context-Free ..:
, In:
?
Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science ,
3
Identity Testing for Radical Expressions:
, In:
?
Proceedings of the 2022 International Symposium on Symbolic and Algebraic Computation ,
4
On the Computation of the Zariski Closure of Finitely Gener..:
, In:
?
Proceedings of the 2022 International Symposium on Symbolic and Algebraic Computation ,
5