AIS/IST Gröbner Bases and their Applications (2017)

Venue: Indraprastha Institute of Information Technology,  Delhi, Delhi
Date:  11th, Dec 2017 to 23rd, Dec 2017



School Convener(s)

Name Anuradha Sharma J. K. Verma
Mailing Address Center for Applied Mathematics,
Indraprastha Institute of Information Technology (IIIT), Delhi
 IIT Bombay


Speakers and Syllabus 

A Gr ̈obner basis is a set of multivariate polynomials that has several algorithmic properties. Any set of polynomials can be transformed into a Gr ̈obner basis. Gr ̈obner bases have been used in several ap-
plications such as solving equations, graph theory, optimization, cryptography, coding theory, robotics,control theory, statistics and automatic geometric theorem proving, to name a few. This workshop aims
to introduce some of these applications after covering basics of this beautiful theory. The pre-requisites are linear algebra and a basic course in abstract algebra.

Resource person Affiliation Topics
H. Ananthnarayan (HA) IIT Bombay Introduction to Gr ̈obner bases
Indranath Sengupta (IS) IIT Gandhinagar First applications of Gr ̈obner bases
Dilip Patil (DP) IISc, Bangalore Algebraic varieties and and dimension theory
Manoj Kummini (MK) CMI, Chennai Gr ̈obner bases and multivariate splines
S. R. Ghorpade (SRG) IIT Bombay Gr ̈obner bases and coding theory
A. V. Jayanthan (AVJ) IIT Madras Solving polynomial equations using Gr ̈ obner bases
R. Balasubramanian (RB) IIT Bombay Introduction to Cryptography
M. Prem Laxman Das (PLD) SETS, Chennai Gr ̈obner bases and cryptography
Anurag Singh (AS) University of Utah Computation of integral closure of an ideal
Vivek Mukundan (VM) Univ. of Virginia Lab/Tutorial sessions
Clare D’Cruz (SM) CMI, Chennai Lab/Tutorial sessions
Shreedevi Masuti (SM) Univ. of Genoa Lab/Tutorial sessions
Jugal Verma (JKV) IIT Bombay Tutorial sessions
Shameek Paul CEBS, Mumbai Labs/Tutorial


Syllabi of Courses of Lectures and Lab Sessions

  1. Dilip Patil : Basic Algebraic Geometry: Affine and projective varieties, Hilbert’s Nullstel-lensatz, Noether Normalisation, dimension theory of graded rings and projective and affine varieties and their computation using Gr ̈obner bases.
    Reference: Chapter 1, 8 and 9 of Cox-Little-O’Shea: Ideals, Varieties and Algorithms
  2. H. Ananthnarayan : Basics of Gr ̈obner bases: monomial orders and initial ideals in the polynomial ring S = k[x1 , . . . , xn ], where k is a field, important examples of monomial orderings and their basic properties, Dickson’s Lemma and Hilbert basis Theorem, using initial ideals to find k-basis for S/I, where I is an ideal in S, division algorithm in S, and Buchberger’s algorithm,reduced Gr ̈ obner bases.
    Reference: Chapter 2 of Cox-Little-O’Shea: Ideals, varieties and Algorithms
  3. Indranath Sengupta : First applications of Gr ̈obner Bases: Elimination, computing kernel and image of a polynomial map of affine algebras, resultants, computation of radicals, intersection,colon and saturation of ideals, geometric meaning of elimination, minimal polynomials of algebraic elements over a field.
    Reference: Chapter 2 and 3 of Cox-Little-O’Shea: Ideals, Varieties and Algorithms
  4. Manoj Kummini: Multivariate polynomial splines: Recent applications of Gr ́obner bases to the problem of construction and anaysis of piecewise polynomial splines with specified degree of smoothness. Gr ̈obner bases of modules over polynomial rings will be used in these applications. In particular Schreyer’s algorithm will be discussed for computing syzygies. A conjecture of Strang about dimension of the vector space of C r functions on polyhedral complexes will be discussed.
    Reference: D. Cox, J. Little and D. O’Shea: Using Algebraic Geometry.
  5. Sudhir R. Ghorpade : Gr ̈obner bases and coding theory: Basics of error-correcting codes,cyclic codes, Reed-Solomon code, Reed-Muller codes, Applications of Gr ̈obner bases to determining the minimum distance of Reed-Muller type codes, Footprint bound, Some recent results.
    • C. Carvalho, Applications of results from commutative algebra to the study of certain evaluation codes, Lecture notes of CIMPA Research School on Algebraic Methods in Coding Theory,Sao Paulo, Brazil, July 2017. https : // cimpars/notes/sc40 1.pdf
    • D. Cox, J. Little, D. O’Shea, Ideals, Varieties and Algorithms, 3rd ed., Springer, 2007.
    • D. Cox, J. Little, D. O’Shea,Using Algebraic Geometry, 2nd ed., Springer, 2006.
    • M. Sala et al (Eds), Gr ̈obner Bases, Coding, and Cryptography, Springer 2009.
  6. A. V. Jayanthan: Solving polynomial equations : Checking consistency of a system of polynomial equations using constructive Nullstellensatz, bounding number of solutions, multivariate Lagrange interpolation, eigenvector theorems, Stickelberger’s Theorem, counting real solutions using quadratic forms.
    Reference: Chapter 2 of Cox-Little-O’Shea: Using Algebraic Geometry
  7. R. Balasubramanian: Introduction to cryptography: Introduction to cryptography, symmetric key: block and stream ciphers, public key: elliptic curve based systems, multivariate cryptosystems, hard problems
  8. M. Prem Laxman Das: Gr ̈obner bases in cryptography: Algebraic attacks on block and stream ciphers, attacks on HFE and multivariate cryptosystems, index calculus attacks on elliptic curves
  9. Anurag Singh: Computation of integral closure of ideals: An algorithm for computation of integral closure of ideals will be explained.
    Reference: Anurag K. Singh and Irena Swanson, An algorithm for computing the integral closure.Algebra and Number Theory 3 (2009), no. 5, 587–595.
  10. First Week: Laboratory sessions: Computing Gr ̈obner basis, elimination, saturation, computing kernel and image of algebra homomorphisms, division algorithm, computing basis of a zero-dimensional affine algebra, computation of radicals, colons and intersection of ideals, calculation of Hilbert series and Hilbert polynomial of a graded algebra, minimal polynomial of algebraic elements, resultants and discriminants via elimination.
  11. Second Week: Laboratory sessions: Solving polynomial equations, computing integral closure of ideals, computing splines, computing sygygies and free resolutions, cryptosystems, construction
    of codes using Gr ̈obner bases.

Time Table

Day Dec 9.00 10.15 11.30 11.45 1.00 2.30 (Tutorial ) 3.30 4.00 Comp. Lab
Mon 11 DP HA Tea IS Lunch 1 (DP, JKV, SM)   2 (HA, IS, SM)
Tue 12 DP HA   IS   3 (HA, JKV, SM)   4 (IS, HA, SM)
Wed 13 DP HA   IS   5 (IS, JKV, SM)   6 (HA, IS, SM)
Thu 14 DP HA   IS   7 (DP, JKV, SM)   8 (IS, HA, SM)
Fri 15 DP HA   IS   9 (HA, JKV, SM)   10 (IS, HA, SM)
Sat 16 DP MK   MK   11 (IS, JKV, SM) (HA, IS, SM) 12
Sun 17 Delhi Darshan
Mon 18 AVJ MK   RB   13 (MK, HA, AVJ)   14 (MK, CD, AVJ)
Tue 19 AVJ MK   RB   15 (AVJ, HA, MK)   16 (AVJ, CD, MK)
Wed 20 AVJ PLD   (RB, PLD, SP)   17 (MK, HA, VM)   18 (MK, CD, VM)
Thu 21 AVJ PLD   (PLD, CD, SP)   19 (AVJ, HA, VM)   20 (AVJ, CD, VM)
Fri 22 SRG AS   SRG   21 (SRG, CD, SP)   22 (SRG, CD, SP)
Sat 23 SRG AS   SRG   23 (AS, JKV, VM)   Val function.



Actual Participants 





Avijit Panja


Venkatesh R.


Narasimha Charry B.


Amith Shastri K.


Pritam Majumdar


Ambily A A


Rosna Paul


Arpita Nayek


Arijit Mukherjee




Arunkumar G.


Amit Kumar Singh


Jayakumar R.


Prasant Singh


Shraddha Srivastava


Krishanu Roy


Ravinder B.


Biswajit Ransingh


Vijay Kodiyalam


Sarjick Bakshi


Aditya Subramanian


Pinakiranth Saha


Digjoy Paul


Mrigendra Singh Kushwaha


Sruthy Murali


Sudhir R. Ghorpade


Amritsanshu Prasad


Shameek Paul


Narayaanan P.A.


Sardamini Nayak


Nitin Darkunde


Avijit Nath


How to reach

Indraprastha Institute of Information Technology, Delhi (IIIT-Delhi) campus is located in Okhla, near Nehru Place, New Delhi.

To reach the campus, coming from Nehru Place on outer ring road, follow these directions:

  • After about half KM, turn Right from under the first flyover (it is oneway).
  • After about 300 m, turn Left from under the Govind Puri Metro station (there is a IIITD sign at this turn).
  • After about 300 m, there will be a 'Y' - take the left road of the 'Y'.
  • Follow signs for IIIT-D - the main gate is after about 500 m.