Search for persons
X
?
Computer Algebra in Scientific Computing; Lecture Notes in Computer Science ,
4
On Boundary Conditions Parametrized by Analytic Functions:
, In:
?
Algebraic and Symbolic Computation Methods in Dynamical Systems; Advances in Delays and Dynamics ,
10
Thomas Decomposition and Nonlinear Control Systems:
, In:
?
Proceedings of the 2019 International Symposium on Symbolic and Algebraic Computation ,
12
Algorithmic Approach to Strong Consistency Analysis of Fini..:
, In:
?
Proceedings of the 2016 ACM International Symposium on Symbolic and Algebraic Computation ,
14