-
1
-
2
Polynomial interrupt timed automata: Verification and expressiveness
Veröffentlicht in Information and computation
VolltextArtikel -
3
-
4
-
5
-
6
-
7
Real Solving for Positive Dimensional Systems
Veröffentlicht in Journal of symbolic computation
VolltextArtikel -
8
New Structure Theorem for Subresultants
Veröffentlicht in Journal of symbolic computation
VolltextArtikel