Context aware calculation and deduction -- Ring equalities via Gröbner Bases in Isabelle (2007)

by Amine Chaieb , Makarius Wenzel
Venue:TOWARDS MECHANIZED MATHEMATICAL ASSISTANTS (CALCULEMUS AND MKM 2007), LNAI
Citations:6 - 5 self

Document Versions

Context aware calculation and deduction -- Ring equalities via Gröbner Bases in Isabelle –Amine Chaieb, Makarius Wenzel — 2007 — TOWARDS MECHANIZED MATHEMATICAL ASSISTANTS (CALCULEMUS AND MKM 2007), LNAI
Context aware calculation and deduction — ring equalities via Gröbner Bases in Isabelle –Amine Chaieb, Makarius Wenzel, Technische Universität München — 2007 — Towards Mechanized Mathematical Assistants (CALCULEMUS and MKM 2007), LNAI