Grobner / Buchberger / Knuth Bendix for Semirings and Seven Trees in One

There is a neat paper https://arxiv.org/abs/math/9405205 Seven Trees in One, where it is shown that there is a nice isomorphism between 7 trees and one tree.

添加评论
点赞收藏
点踩分享查看原文
评论
?
参与讨论