corpus.blog
41554 blogs · 4,417,066 posts Claim your blog
Record · corpus.blog/posts/01a087c2-0ac1-71a5-ba67-2e14fd2f521b

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

Hey There Buddo! | Hot Leaves in a Cold Worlds. · published 21 August 2026

A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.

Read the post at philipzucker.com Wayback capture
0blogs citing
First cited
—
Most recent
—
Rank this month
not ranked
Links from this post
29
Words captured
35,617

Cited by

No blog we hold has cited this post yet.

Links from this post

Link
Host
https://www.philipzucker.com/multiset_rw/
philipzucker.com
https://en.wikipedia.org/wiki/Buchberger%27s_algorithm
en.wikipedia.org
https://en.wikipedia.org/wiki/Knuth%E2%80%93Bendix_completion_algorithm
en.wikipedia.org
https://en.wikipedia.org/wiki/Greatest_common_divisor
en.wikipedia.org
https://en.wikipedia.org/wiki/Polynomial_greatest_common_divisor
en.wikipedia.org
https://docs.oscar-system.org/v1/TropicalGeometry/groebner_theory/
docs.oscar-system.org
https://arxiv.org/abs/math/9405205
arxiv.org
https://arxiv.org/abs/1208.0538
arxiv.org
https://codewords.recurse.com/issues/three/algebra-and-calculus-of-algebraic-data-types
codewords.recurse.com
https://mattpap.github.io/masters-thesis/html/src/groebner.html
mattpap.github.io
https://proofassistants.stackexchange.com/questions/1814/seven-trees-in-one-or-how-to-formalie-the-semiring-of-types
proofassistants.stackexchange.com
https://ncatlab.org/nlab/show/seven+trees+in+one
ncatlab.org
http://cl-informatik.uibk.ac.at/software/kbcv/
cl-informatik.uibk.ac.at
https://dl.acm.org/doi/10.1145/120694.120701
dl.acm.org
https://github.com/sdiehl/groebner
github.com
https://www.sciencedirect.com/science/article/pii/S0747717188800488
sciencedirect.com
https://link.springer.com/article/10.1007/s11424-017-6337-8
link.springer.com
https://arxiv.org/abs/math/0212377
arxiv.org
https://kar.kent.ac.uk/98022/1/LIPIcs-ECOOP-2022-5.pdf
kar.kent.ac.uk
https://www.sciencedirect.com/science/article/pii/S0021869313001592
sciencedirect.com
What is cosh(List(Bool))? Or beyond algebra: analysis of data types. Read at the source ↗
cofault.com
https://drops.dagstuhl.de/storage/00lipics/lipics-vol141-itp2019/LIPIcs.ITP.2019.6/LIPIcs.ITP.2019.6.pdf
drops.dagstuhl.de
https://proofassistants.stackexchange.com/questions/1814/seven-trees-in-one-or-how-to-formalize-the-semiring-of-types
proofassistants.stackexchange.com
https://arxiv.org/pdf/math/9405205
arxiv.org
https://arxiv.org/abs/0903.5044
arxiv.org
https://arxiv.org/pdf/2401.05731
arxiv.org
https://www.sciencedirect.com/science/article/pii/S0747717116000183
sciencedirect.com
https://arxiv.org/pdf/1609.03838
arxiv.org
https://www.philipzucker.com/dump-of-nonlinear-algebra-algebraic-geometry-notes-good-links-though/
philipzucker.com