Context aware calculation and deduction – Ring equalities via Gröbner bases in (2007)

by A Chaieb, M Wenzel
Venue:eds, ‘Proceedings of the 14th Symposium Calculemus 2007, Towards Mechanized Mathematical Assistants