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

Computation of Difference Groebner Bases, and . CoRR, (2012)On the ring of local unitary invariants for mixed X-states of two qubits., , and . CoRR, (2016)Erratum to: Program AEAA_v1_0, "POTHMF: A program for computing potential curves and matrix elements of the coupled adiabatic radial equations for a hydrogen-like atom in a homogeneous magnetic field" Computer Physics Communications 178 (2008) 301., , , , , , , and . Comput. Phys. Commun., 180 (6): 1011 (2009)Consistency Analysis of Finite Difference Approximations to PDE Systems.. MMCP, volume 7125 of Lecture Notes in Computer Science, page 28-42. Springer, (2011)A pommaret division algorithm for computing Grobner bases in boolean rings., and . ISSAC, page 95-102. ACM, (2008)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)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)