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