Author of the publication

Thomas Decomposition of Algebraic and Differential Systems.

, , , and . CASC, volume 6244 of Lecture Notes in Computer Science, page 31-54. Springer, (2010)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

On the ring of local unitary invariants for mixed X-states of two qubits., , and . CoRR, (2016)Computation of Difference Groebner Bases, and . CoRR, (2012)Completion of Linear Differential Systems to Involution.. CASC, page 115-137. Springer, (1999)Construction of Involutive Monomial Sets for Different Involutive Divisions., , , and . CASC, page 147-157. Springer, (1999)On the Partial Analytical Solution of the Kirchhoff Equation., , , , and . CASC, volume 9301 of Lecture Notes in Computer Science, page 322-333. Springer, (2015)Computer classification of integrable seventh order MKdV-like equations., and . EUROCAL, volume 378 of Lecture Notes in Computer Science, page 93-94. Springer, (1987)Comprehensive Involutive Systems., and . CASC, volume 7442 of Lecture Notes in Computer Science, page 98-116. Springer, (2012)A Mathematica Package for Simulation of Quantum Computation., , and . CASC, volume 5743 of Lecture Notes in Computer Science, page 106-117. Springer, (2009)A pommaret division algorithm for computing Grobner bases in boolean rings., and . ISSAC, page 95-102. ACM, (2008)Consistency Analysis of Finite Difference Approximations to PDE Systems.. MMCP, volume 7125 of Lecture Notes in Computer Science, page 28-42. Springer, (2011)