Thomas Bächler

According to our database, Thomas Bächler authored at least 3 papers between 2010 and 2012.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2012

Algorithmic Thomas decomposition of algebraic and differential systems.

Thomas Bächler, Vladimir P. Gerdt, Markus Lange-Hegermann, Daniel Robertz

J. Symb. Comput., 2012

2010

Thomas decomposition and its applications.

Thomas Bächler, Vladimir P. Gerdt, Markus Lange-Hegermann, Wilhelm Plesken, Daniel Robertz

ACM Commun. Comput. Algebra, 2010

Thomas Decomposition of Algebraic and Differential Systems.

Thomas Bächler, Vladimir P. Gerdt, Markus Lange-Hegermann, Daniel Robertz

Proceedings of the Computer Algebra in Scientific Computing - 12th International Workshop, 2010