| 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 |
| 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 |
| 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 |
 |
Victor
S. Adamchik,
Computer Science Department, Carnegie Mellon University, Pittsburgh, PA. |