Thomas Bächler

Publication Activity (10 Years)

Years Active: 2010-2012
Publications (10 Years): 0

Top Topics

Systems Require

Top Venues

J. Symb. Comput.

Publications

Thomas Bächler, Vladimir P. Gerdt, Markus Lange-Hegermann, Daniel Robertz
Algorithmic Thomas decomposition of algebraic and differential systems. J. Symb. Comput. 47 (10) (2012)
Thomas Bächler, Vladimir P. Gerdt, Markus Lange-Hegermann, Wilhelm Plesken, Daniel Robertz
Thomas decomposition and its applications. ACM Commun. Comput. Algebra 44 (3/4) (2010)
Thomas Bächler, Vladimir P. Gerdt, Markus Lange-Hegermann, Daniel Robertz
Thomas Decomposition of Algebraic and Differential Systems. CASC (2010)