#sympy — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #sympy, aggregated by home.social.
-
[New Blog Post] Gauss and Groebner Egraphs: Intrinsic Linear and Polynomial Equations https://philipzucker.com/linear_grobner_egraph/ #logic #egraph #sympy