Personensuche
X
?
Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation ,
1
Isolating clusters of zeros of analytic systems using arbit..:
, In:
?
Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation ,
2
Certified simultaneous isotopic approximation of pairs of c..:
, In:
?
Proceedings of the 2019 on International Symposium on Symbolic and Algebraic Computation ,
7
Effective Certification of Approximate Solutions to Systems..:
, In:
?
Proceedings of the 2018 ACM International Symposium on Symbolic and Algebraic Computation ,
8
An Approach for Certifying Homotopy Continuation Paths :..:
, In:
?
Proceedings of the 2017 ACM on International Symposium on Symbolic and Algebraic Computation ,
11