CONTENT OUTLINE
Proving Combinatorial Identities
Lect | Date | Topic | Distribution |
Jan 11 | Course Overview | [PDF] |
|
Jan 13 | Wolfram Language | [NB] [PDF] | |
Jan 18 | Martin Luther King Day |
||
1 | Jan 20 | Solving Recurrence Equations HW 1 OUT |
[NB] [PDF] |
2 | Jan 25 | Sister Celine’s Algorithm | [NB] [PDF] |
3 | Jan 27 | Gosper’s Algorithm HW 2 OUT |
[NB] [PDF] |
4 | Feb 01 | Gosper’s Algorithm | |
5 | Feb 03 | Wilf-Zeilberger’s Algorithm | [NB] [PDF] |
6 | Feb 08 | Zeilberger’s Algorithm HW 3 OUT |
[NB] [PDF] |
7 | Feb 10 | Petkovsek’s Algorithm | [NB] [PDF] |
8 | Feb 15 | Proving Combinatorial Identities Harmonic Number Identities |
[NB] [PDF] |
Feb 17 | Exam – I |
Gröbner Bases
Lect | Date | Topic | Distribution |
9 | Feb 22 | Polynomial Ideals Monomial Order HW 4 OUT |
[NB] [PDF] |
10 | Feb 24 | Monomial Ideals Gröbner Bases |
[NB] [PDF] |
11 | Feb 29 | Buchberger’s Algorithm Reduced Gröbner Bases |
[NB] [PDF] |
12 | Mar. 02 | More on Buchberger’s Algorithm | [NB] [PDF] |
Mar 07 | SPRING BREAK |
||
Mar 09 | SPRING BREAK |
||
Mar. 14 | Applications of Gröbner bases in geometry HW 5 OUT |
||
13 | Mar 16 | Lagrange Multipliers | [NB] [PDF] |
14 | Mar 21 | Graph Coloring with Gröbner bases Solving Sudoku with Gröbner bases |
[NB] [PDF] [NB] [PDF] |
15 | Mar 23 | Integer Relation Algorithms | [NB] [PDF] |
16 | Mar 28 | Online Mathematical Tools | [NB] [PDF] |
Mar 30 | Exam – II |
Symbolic Integration
Lect | Date | Topic | Distribution |
17 | Apr. 04 | Differential Algebra Squarefree Factorization |
[NB] [PDF] |
18 | Apr. 06 | Squarefree Factorization Hermite-Ostrogradsky’s Algorithm Milestone-1 |
[NB] [PDF] |
19 | Apr. 11 | Rothstein-Trager’s Algorithm Resultants |
[NB] [PDF] |
20 | Apr 13 | Computing Resultants Sylvester Matrix |
[NB] [PDF] |
21 | Apr 18 | Rioboo’s Algorithm Milestone-2 |
[NB] [PDF] |
22 | Apr 20 | Logarithmic Extension | [NB] [PDF] |
23 | Apr 25 | Logarithmic Extension | [NB] [PDF] |
24 | Apr 27 | Exponential Extension | [NB] [PDF] |
May. 05 | Project Due |