Constructive D-module Theory with Singular,
with
Michael Brickenstein,
Viktor Levandovskyy,
Jorge Martín-Morales
and
Hans Schönemann,
Mathematics in Computer Science, 4(2–3):359–383, 2010.
Effective Methods for the Computation of Bernstein-Sato Polynomials for Hypersurfaces and Affine Varieties,
with
Viktor Levandovskyy
and
Jorge Martín-Morales,
preprint, 2010.
Principal Intersection and Bernstein-Sato Polynomial of an Affine Variety,
with
Viktor Levandovskyy
and
Jorge Martín-Morales,
in: Proceedings of the International Symposium on Symbolic and Algebraic Computation (ISSAC'09), ACM Press, 231–238, 2009.
Noncommutative Computer Algebra with Applications in Algebraic Analysis, 2014.
Algorithms for the computation of Sato's b-functions in algebraic D-module theory, 2010.
ncpreim.lib: Non-commutative elimination and preimage computations, 2012.
dmodloc.lib: Localization of algebraic D-modules and applications, 2012.
dmodvar.lib:
Algebraic D-modules for varieties,
with
Viktor Levandovskyy
and
Jorge Martín-Morales,
2010.
dmodapp.lib:
Applications of algebraic D-modules,
with Viktor Levandovskyy, 2009.
bfun.lib:
Algorithms for b-functions and Bernstein-Sato polynomials,
with Viktor Levandovskyy, 2009.