Approximate polynomial greatest common divisors and nearest singular polynomials
ISSAC '96 Proceedings of the 1996 international symposium on Symbolic and algebraic computation
Approaches to parallel quantifier elimination
ISSAC '98 Proceedings of the 1998 international symposium on Symbolic and algebraic computation
Computer algebra handbook
A note on parallel and alternating time
Journal of Complexity
Inclusion dynamics hybrid automata
Information and Computation
Approximability and Parameterized Complexity of Minmax Values
WINE '08 Proceedings of the 4th International Workshop on Internet and Network Economics
Differential dynamic logics: automated theorem proving for hybrid systems
Differential dynamic logics: automated theorem proving for hybrid systems
Hi-index | 0.00 |