Group Abstract Group Abstract

«Groups
Logic and Boolean Algebra
Join
Logical operators, Boolean computation and vector operations, mathematical logic...

Discussions List Discussions List

Rule 30 binomial–Lucas lifting II: generating polynomials, PDE limits & ECA symmetry

CONTRIBUTED BY: Tigran Nersissian | 1 day ago BY: EDITORIAL BOARD
Staff Picks , Algebra , Calculus , Computational Systems , ...
1
REPLIES
90
VIEWS

Rule 30 exact binomial-Lucas lifting: boolean logic to integer coefficients, Stirling & support sets

CONTRIBUTED BY: Tigran Nersissian | 5 days ago BY: Tigran Nersissian
Staff Picks , Algebra , Computational Systems , ...
3
REPLIES
395
VIEWS

Uniqueness for the 3-state antiferromagnetic Potts model on the tree

CONTRIBUTED BY: Leslie Ann Goldberg | 25 days ago BY: EDITORIAL BOARD
Staff Picks , Algebra , Calculus , Computer Science , ...
1
REPLIES
268
VIEWS

[WWS26] Ruliology of Boolean networks

CONTRIBUTED BY: Matheo Tripnaux | 3 months ago BY: EDITORIAL BOARD
Staff Picks , Computational Systems , Computer Science , ...
1
REPLIES
532
VIEWS

[BOOK] Introduction to infrared and electro-optical systems

CONTRIBUTED BY: Mel Friedman | 3 months ago BY: EDITORIAL BOARD
Staff Picks , Calculus , Graphics and Visualization , ...
2
REPLIES
7.4K
VIEWS

[BOOK] Introduction to quantum computing: part 2

CONTRIBUTED BY: Mohammad Bahrami | 4 months ago BY: EDITORIAL BOARD
Staff Picks , Computer Science , Graphics and Visualization , ...
1
REPLIES
891
VIEWS

A school of swimming jellyfish: trigonometric and boolean rendering

CONTRIBUTED BY: Vitaliy Kaurov | 4 months ago BY: EDITORIAL BOARD
Staff Picks , Biological Sciences , Calculus , ...
1
REPLIES
1K
VIEWS

Dirac gamma matrices and non-commutative algebra

CONTRIBUTED BY: Mohammad Bahrami | 8 months ago BY: EDITORIAL BOARD
Staff Picks , Algebra , Logic and Boolean Algebra , Mathematics , ...
1
REPLIES
2.1K
VIEWS

Universal bitwise function composition from Church numerals in lambda calculus

CONTRIBUTED BY: Austin Jiang | 9 months ago BY: EDITORIAL BOARD
Staff Picks , Algebra , Calculus , Logic and Boolean Algebra , ...
1
REPLIES
2.9K
VIEWS

[WSRP25] Minimal assumptions for mathematics

CONTRIBUTED BY: River Yu | 9 months ago BY: EDITORIAL BOARD
Staff Picks , Algebra , Graphics and Visualization , ...
1
REPLIES
2.1K
VIEWS

Exploring 1D repeating logic gate arrays

CONTRIBUTED BY: Eric Parfitt | 1 year ago BY: EDITORIAL BOARD
Staff Picks , Computational Systems , Computer Science , ...
1
REPLIES
3K
VIEWS

Using Meta programming + Compile to speed up Backtracking algorithm

CONTRIBUTED BY: Hongyang Cao | 1 year ago BY: Christopher French
Compilation , Computer Science , Logic and Boolean Algebra , ...
1
REPLIES
7.5K
VIEWS

Quantum Games: multi-player CHSH game

CONTRIBUTED BY: Mohammad Bahrami | 1 year ago BY: EDITORIAL BOARD
Staff Picks , Graphics and Visualization , ...
1
REPLIES
3.4K
VIEWS

[WSRP24] Study of Hash Probing on a Graph

CONTRIBUTED BY: David Wang | 2 years ago BY: Steven Verrall
Staff Picks , Computer Science , Dynamic Interactivity , ...
4
REPLIES
7.5K
VIEWS

[WSRP24] Constructing combinators for arithmetic and arbitrary-length bitwise operations

CONTRIBUTED BY: Austin Jiang | 2 years ago BY: EDITORIAL BOARD
Staff Picks , Compilation , Computational Systems , ...
1
REPLIES
10K
VIEWS

[WSRP24] An approximated simulation of fluidic logic gates

CONTRIBUTED BY: Michael Bao | 2 years ago BY: EDITORIAL BOARD
Staff Picks , Graphics and Visualization , ...
1
REPLIES
6.6K
VIEWS

[WSRP24] Minimal universal classical and quantum gates

CONTRIBUTED BY: Christopher Gilbert | 2 years ago BY: EDITORIAL BOARD
Staff Picks , Graphics and Visualization , ...
1
REPLIES
7.3K
VIEWS

[WSS24] Finding Minimal Axioms for Ring Theory

CONTRIBUTED BY: Tate Allen | 2 years ago BY: EDITORIAL BOARD
Staff Picks , Algebra , Computer-Based Maths , ...
1
REPLIES
2.8K
VIEWS

[WSS24] Pre-lie structures of graph rewriting and associated axiom systems

CONTRIBUTED BY: Fernando Olivie Méndez Méndez | 2 years ago BY: EDITORIAL BOARD
Staff Picks , Graphics and Visualization , Graphs and Networks , ...
1
REPLIES
2.5K
VIEWS

[WSS24] Study "Logic Puzzle" axiom/proof graphs from TPTP.org

CONTRIBUTED BY: Arihant Gadgade | 2 years ago BY: EDITORIAL BOARD
Staff Picks , External Programs and Systems , ...
1
REPLIES
3.3K
VIEWS
1
2
3
4

Group Count Group Count

97 Discussions

Group Branding Group Branding

New Discussion New Discussion

ACTIVE MEMBERS ACTIVE MEMBERS

RELATED GROUPS RELATED GROUPS

RELATED GROUPS
Mathematics 6K discussions 4K subscriptions
Optimization 552 discussions 935 subscriptions
Graphics and Visualization 4K discussions 1K subscriptions
Staff Picks 2K discussions 832 subscriptions
Computational Systems 136 discussions 734 subscriptions
Algebra 1K discussions 1K subscriptions
Calculus 1K discussions 2K subscriptions