Group Abstract

«Groups

Logic and Boolean Algebra

Join

Logical operators, Boolean computation and vector operations, mathematical logic...

Discussions List

Dirac gamma matrices and non-commutative algebra

CONTRIBUTED BY: Mohammad Bahrami | 1 month ago BY: EDITORIAL BOARD

LIKES

REPLIES

931

VIEWS

Universal bitwise function composition from Church numerals in lambda calculus

CONTRIBUTED BY: Austin Jiang | 2 months ago BY: EDITORIAL BOARD

Staff Picks , Algebra , Calculus , Logic and Boolean Algebra , ...

LIKES

REPLIES

1.8K

VIEWS

[WSRP25] Minimal assumptions for mathematics

CONTRIBUTED BY: River Yu | 2 months ago BY: EDITORIAL BOARD

Staff Picks , Algebra , Graphics and Visualization , ...

LIKES

REPLIES

VIEWS

Exploring 1D repeating logic gate arrays

CONTRIBUTED BY: Eric Parfitt | 6 months ago BY: EDITORIAL BOARD

Staff Picks , Computational Systems , Computer Science , ...

LIKES

REPLIES

VIEWS

Using Meta programming + Compile to speed up Backtracking algorithm

CONTRIBUTED BY: Hongyang Cao | 6 months ago BY: Christopher French

Compilation , Computer Science , Logic and Boolean Algebra , ...

LIKES

REPLIES

6.3K

VIEWS

Quantum Games: multi-player CHSH game

CONTRIBUTED BY: Mohammad Bahrami | 7 months ago BY: EDITORIAL BOARD

Staff Picks , Graphics and Visualization , ...

LIKES

REPLIES

2.2K

VIEWS

[WSRP24] Study of Hash Probing on a Graph

CONTRIBUTED BY: David Wang | 0 months ago BY: Steven Verrall

Staff Picks , Computer Science , Dynamic Interactivity , ...

LIKES

REPLIES

5.9K

VIEWS

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

CONTRIBUTED BY: Austin Jiang | 1 year ago BY: EDITORIAL BOARD

Staff Picks , Compilation , Computational Systems , ...

LIKES

REPLIES

7.5K

VIEWS

[WSRP24] An approximated simulation of fluidic logic gates

CONTRIBUTED BY: Michael Bao | 1 year ago BY: EDITORIAL BOARD

Staff Picks , Graphics and Visualization , ...

LIKES

REPLIES

5.3K

VIEWS

[WSRP24] Minimal universal classical and quantum gates

CONTRIBUTED BY: Christopher Gilbert | 1 year ago BY: EDITORIAL BOARD

Staff Picks , Graphics and Visualization , ...

LIKES

REPLIES

VIEWS

[WSS24] Finding Minimal Axioms for Ring Theory

CONTRIBUTED BY: Tate Allen | 1 year ago BY: EDITORIAL BOARD

Staff Picks , Algebra , Computer-Based Maths , ...

LIKES

REPLIES

2.2K

VIEWS

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

CONTRIBUTED BY: Fernando Olivie Méndez Méndez | 1 year ago BY: EDITORIAL BOARD

Staff Picks , Graphics and Visualization , Graphs and Networks , ...

LIKES

REPLIES

VIEWS

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

CONTRIBUTED BY: Arihant Gadgade | 1 year ago BY: EDITORIAL BOARD

Staff Picks , External Programs and Systems , ...

LIKES

REPLIES

2.6K

VIEWS

Set Theory exercise: How to Prove It by Daniel J. Velleman

CONTRIBUTED BY: Emerson Alex Villafuerte Jara | 1 year ago BY: Ahmed Elbanna

Staff Picks , Curated Data , Group Theory , ...

LIKES

REPLIES

VIEWS

[WWS24] Lean Exploration: A Deep Dive into the Wolfram Axiom

CONTRIBUTED BY: Shriya Thakur | 1 year ago BY: EDITORIAL BOARD

Staff Picks , Computer-Based Maths , Computer Science , ...

LIKES

REPLIES

3.6K

VIEWS

[WSG23] Daily Study Group: Introduction to Discrete Mathematics

CONTRIBUTED BY: Marc Vicuna | 1 year ago BY: Marc Vicuna

Discrete Mathematics , Education , Events & Media , ...

LIKES

REPLIES

20.4K

VIEWS

[WSS17] Automated Theorem Proving for Equational Logic

CONTRIBUTED BY: Jonathan Gorard | 2 years ago BY: Eric Archerman

Staff Picks , Discrete Mathematics , Equation Solving , ...

LIKES

REPLIES

11.7K

VIEWS

Draw & Simulate Logic Circuits

CONTRIBUTED BY: Benjamin Goodman | 2 years ago BY: Dielianhua Dielianhua

Staff Picks , Dynamic Interactivity , Electrical Engineering , ...

LIKES

REPLIES

33.8K

VIEWS

[WSRP23] Base N computer simulation: visual analysis and Collatz conjecture

CONTRIBUTED BY: Tyler Rose | 2 years ago BY: EDITORIAL BOARD

Staff Picks , Compilation , Computational Systems , ...

LIKES

REPLIES

8.6K

VIEWS

[WSRP23] Solving logic puzzles based on logical statements

CONTRIBUTED BY: Nishnath Polavarapu | 2 years ago BY: EDITORIAL BOARD

Staff Picks , Challenges , Logic and Boolean Algebra , ...

LIKES

REPLIES

8.7K

VIEWS

Group Count

97 Discussions

Group Branding

New Discussion

ACTIVE MEMBERS

2 days ago

2 months ago

26 days ago

3 months ago

1 month ago

8 months ago

1 year ago

RELATED GROUPS

Wolfram Language 11K discussions 2K subscriptions

Physics 1K discussions 3K subscriptions

Mathematics 6K discussions 4K subscriptions

Staff Picks 1K discussions 806 subscriptions

Symbolic Computations 890 discussions 728 subscriptions

Algebra 996 discussions 1K subscriptions

Feedback