|
|
Seminar on Computational Algebra
Prof. Dr. Eva Zerz
Dr. Viktor Levandovskyy
|
Time and Place: Thursday, 17-15 - 18-30, Room 203 of the Lehrstuhl D
|
|
Plan and Schedule:
|
Bibliography
|
Articles
|
[T99] |
H.Tsai Weyl Closure of a Linear Differential Operator (1999)
|
[OT99] |
T. Oaku, N. Takayama An algorithm for de Rham cohomology groups of the complement of an affine variety via D-module computation (1999)
|
[W00] |
U. Walther Algorithmic Computation of de Rham Cohomology of Complements of Complex Affine Varieties (2000)
|
[OTW00] |
T. Oaku, N. Takayama, U. Walther A Localization Algorithm for D-modules (2000)
|
[OT01] |
T. Oaku, N. Takayama Algorithms for D-modules: restriction, tensor product, localization, and local cohomology groups (2001)
|
[TW01] |
H. Tsai, U. Walther Computing Homomorphisms Between Holonomic D-modules (2001)
|
[OTT01] |
T. Oaku, N. Takayama, H. Tsai Polynomial and rational solutions of holonomic systems (2001)
|
[OST03] |
T. Oaku, Y. Shiraki, N. Takayama, Algebraic algorithms for D-modules and numerical analysis. (2003)
|
|
Books and Theses
|
[SST] |
B. Sturmfels, M. Saito, N. Takayama. "Gröbner Deformations of Hypergeometric
Differential Equations" (Springer, 2000)
|
[GPS] |
G.-M. Greuel, G. Pfister "A
SINGULAR
Introduction to Commutative Algebra" (Springer, 2002; 2nd edition 2007)
|
[VL05] |
(Thesis) V. Levandovskyy,
"Non-commutative Computer Algebra for polynomial algebras: Gröbner bases, applications and implementation" (2005)
|
[T00] |
(Thesis) H. Tsai, "Algorithms for Algebraic Analysis" (2000)
|
|
Software
|
[S] |
SINGULAR: www.singular.uni-kl.de, see dmod.lib in
PLURAL
Libraries
|
[M2] |
Macaulay2: http://www.math.uiuc.edu/Macaulay2/
|
[M2D] |
D-modules for Macaulay2: http://www.ima.umn.edu/~leykin/Dmodules/
|
[OXM] |
OpenXM (includes kan/sm1 and Risa/Asir): http://www.math.kobe-u.ac.jp/OpenXM/
|
|