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.
User
philzook
- Profile checked
- 21 Aug 2026
- Feed refreshed
- 27 Aug 2026
Recent
Posts from discovered feeds
An Intuitionistic Micro Proof Assistant
I’ve been tinkering on a solver-oriented interactive proof assistant as a library called Knuckledragger https://github.com/philzook58/knuckledragger .
Finite Algebraic Effects as dicts and such
Algebraic effects are a style / mathematical framework for modelling mutation, search, and some other things. They are another attempt to bridge the gap between mathy looking stuff and our crass world of mud and time.