Personensuche
X
?
Proceedings of the 2024 International Symposium on Symbolic and Algebraic Computation ,
2
Initial Application of SONC to Lyapunov Stability of Dynami..:
, In:
?
Proceedings of the 45th International Symposium on Symbolic and Algebraic Computation ,
8
Global optimization via the dual SONC cone and linear progr..:
, In:
?
Proceedings of the 45th International Symposium on Symbolic and Algebraic Computation ,
10
Computing the real isolated points of an algebraic hypersur..:
, In:
?
11
Mathematical Software – ICMS 2020: 7th International Confer..
Theoretical Computer Science and General Issues, 12097