Canadian Mathematical Society Summer Meeting: Winnipeg, June 6-9, 2014

Special Session on Grobner Bases and Computer Algebra

Slides from the presentations:

- Chen: Gröbner-Shirshov bases for semirings
- Kinyon: Loops and automated deduction
- Liu: Algorithms for finding the Lie superalgebra structure of super differential equations
- Madariaga: Jordan quadruple systems
- Moreno Maza: On Fulton's algorithm for computing intersection multiplicities in higher dimension
- Padmanabhan: Algebra and geometry with computers
- Phillips: On Bol (Bruck) loops
- Reid: Approximate symmetry analysis
- Sit: On Rota's problem, differential type and Rota-Baxter type algebras
- Zhao: Gelfand-Kirillov dimension of differential difference modules