Personensuche
X
?
Proceedings of the 2016 ACM International Symposium on Symbolic and Algebraic Computation ,
3
Validating the Completeness of the Real Solution Set of a S..:
, In:
?
Proceedings of the 2015 International Workshop on Parallel Symbolic Computation ,
5
A hybrid symbolic-numeric approach to exceptional sets of g..:
, In:
?
Proceedings of the 39th International Symposium on Symbolic and Algebraic Computation ,
6