Ramanujan Auditorium, IMSc, Chennai Monday 01st July 2013 1400 -- 1500 Manoj Kummini "From linear algebra to robotic arm design via Groebner bases" chair: Jugal Verma medium: chalk Abstract: We will give a brief introduction to Groebner bases, with an application to automatic geometric theorem proving and to robotics.