1 paper · 1 filter
Kazuhiko Sakaguchi
Sharing of notations and theories across an inheritance hierarchy of mathematical structures, e.g., groups and rings, is important for productivity when formalizing mathematics in…