Author of the publication

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

Plural: a computer algebra system for noncommutative polynomial algebras., and . ISSAC, page 176-183. ACM, (2003)Factoring linear differential operators in n variables., , and . ISSAC, page 194-201. ACM, (2014)Letterplace: a subsystem of singular for computations with free algebras via letterplace embedding., , and . ISSAC, page 305-311. ACM, (2020)Formally Verifying Proofs for Algebraic Identities of Matrices., and . CICM, volume 12236 of Lecture Notes in Computer Science, page 222-236. Springer, (2020)A Constructive Approach to Arithmetics in Ore Localizations., and . ISSAC, page 197-204. ACM, (2017)Foreword from the Editor.. J. Symb. Comput., 42 (11-12): 1001-1002 (2007)Principal intersection and bernstein-sato polynomial of an affine variety., , and . ISSAC, page 231-238. ACM, (2009)Existence of Quantum Symmetries for Graphs on Up to Seven Vertices: A Computer based Approach., , , , , and . ISSAC, page 311-318. ACM, (2022)Enhanced computations of gröbner bases in free algebras as a new application of the letterplace paradigm., , and . ISSAC, page 259-266. ACM, (2013)Computational D-module theory with singular, comparison with other systems and two new algorithms., and . ISSAC, page 173-180. ACM, (2008)