BARS: A Term Rewriting System for Boolean Algebra

anderslindman (Anders Lindman) March 9, 2023, 10:26am 1

1 Like

Topic		Replies	Views
Experiments with a boolean rewriting system Ideas logic	5	5320	March 7, 2023
[WSS19] Short Step-by-step Solution of Boolean Algebra Ideas algebra , equation-solving , symbolic-computations , wolfram-summer-research-institute	0	6692	July 10, 2019
[WSRP24] Monoids, string-rewriting, confluence, and the Knuth-Bendix Algorithm Staff Picks computer-science , graphics-and-visualization , graphs-and-networks , group-theory , staff-pick , wolfram-high-school-summer-research-program	1	7858	July 22, 2024
[WSC18] Implementation of Common Axiom Systems and Proof Generation Staff Picks algebra , equation-solving , graphics-and-visualization , graphs-and-networks , logic , computer-based-maths , staff-pick , wolfram-high-school-summer-research-program , mathematics-and-foundations	2	22729	July 20, 2018
[WSRP25] Minimal assumptions for mathematics Staff Picks algebra , graphics-and-visualization , logic , staff-pick , wolfram-high-school-summer-research-program , mathematics-and-foundations	1	3827	July 25, 2025