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 |
