Ausgabe 4/2012
Constraint Solving and Complex Systems
Inhalt (9 Artikel)
Rational General Solutions of Trivariate Rational Differential Systems
Yanli Huang, L. X. Châu Ngô, Franz Winkler
Automatically Discovering Relaxed Lyapunov Functions for Polynomial Dynamical Systems
Jiang Liu, Naijun Zhan, Hengjun Zhao
Superposition Decides the First-Order Logic Fragment Over Ground Theories
Evgeny Kruglov, Christoph Weidenbach