An installation of CoCoA and SINGULAR program on your personal laptop would be good for tutorial sessions of this school. Moreover, the following resources are very useful for preparing yourself for this school.
O
T. de Jong, G. Pfister: Local Analytic Geometry, Vieweg 2000. Also appeared in Springer Series: Advanced Lectures in Mathematics 2013, Chapter 1-5
1. Introduction to signature-based Gröbner basis algorithms 2. Faugère's algorithms F4 and F5 3. Specialized linear algebra tools 4. Applications in cryptography 5. Applications in coding theory
1. Weierstrass division theorem and applications 2. Resolution of plane curve singularities 3. Finite determinancy of hypersurface singularities 4. Normalization 5. Primary decomposition
Andreas Steenpass: A computational approach to the Prym-Green conjecture
1. Introduction: Free resolutions and the Prym-Green conjecture 2. Improved algorithms to compute syzygies 3. The structure of Prym-Green matrices 4. The Berlekamp-Massey algorithm 5. Computational results regarding the Prym-Green conjecture
1. Introduction: Chinese Remainder Theorem (CRT), Hensel lifting 2. Reconstruction methods (incl. LLL-based), guaranteed and heuristic 3. Determinant of matrix over ZZ 4. Modular version of Buchberger-Moeller algorithm 5. Ideals modulo p
For the topics presented by the second and last lecturers, it would be good to have an installation of Singular.jl. Singular.jl is a package to make the computational functionality of Singular available from within the julia programming language. It is still relatively new.
Institute for Advanced Studies in Basic Sciences (IASBS), Prof. Yousef Sobouti Blvd., P. O. Box 45195-1159 Zanjan 45137-66731 Iran. Fax: (+98) 24 3315 5142. Tel: (+98) 24 3315 5047.
Important dates
July 15, 2018 Registration deadline (International applicants)
August 3, 2018 Registration deadline (Iranian applicants)
July 25, 2018 Decision on acceptance (International applicants) August 12, 2018 Decision on acceptance (Iranian applicants)
September 1-12, 2018 The school program
Sponsors
Second Research School on Commutative Algebra and Algebraic Geometry