Group Abstract Group Abstract

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

Discussions List Discussions List

Mystery regarding use of Sequence function ...

QUESTION FROM: Mark Tuttle | 11 years ago BY: Mark Tuttle
Logic and Boolean Algebra , Mathematica , Wolfram Language
2
REPLIES
6.6K
VIEWS

Problem with conditionals

QUESTION FROM: Rafael Dettogni | 11 years ago BY: Rafael Dettogni
Compilation , Dynamic Interactivity , High-Performance Computing , ...
2
REPLIES
11.2K
VIEWS

Equivalent and TautologyQ won't(?) work with SameTest on Boolean Functions

QUESTION FROM: Mark Tuttle | 11 years ago BY: Mark Tuttle
Algebra , Logic and Boolean Algebra , Mathematica , ...
2
REPLIES
7.2K
VIEWS

Dirac gamma matrices and non-commutative algebra

CONTRIBUTED BY: Mohammad Bahrami | 1 month ago BY: EDITORIAL BOARD
Staff Picks , Algebra , Logic and Boolean Algebra , Mathematics , ...
1
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 , ...
1
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 , ...
1
REPLIES
1K
VIEWS

Exploring 1D repeating logic gate arrays

CONTRIBUTED BY: Eric Parfitt | 6 months ago BY: EDITORIAL BOARD
Staff Picks , Computational Systems , Computer Science , ...
1
REPLIES
2K
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 , ...
1
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 , ...
1
REPLIES
2.2K
VIEWS

SolvingTruth tables in Wolfram Alpha in natural language

QUESTION FROM: Lorenz Bauer | 1 year ago BY: Lorenz Bauer
Logic and Boolean Algebra , Wolfram|Alpha
1
REPLIES
1.1K
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 , ...
1
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 , ...
1
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 , ...
1
REPLIES
5K
VIEWS

[WSS24] Finding Minimal Axioms for Ring Theory

CONTRIBUTED BY: Tate Allen | 1 year ago BY: EDITORIAL BOARD
Staff Picks , Algebra , Computer-Based Maths , ...
1
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 , ...
1
REPLIES
2K
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 , ...
1
REPLIES
2.6K
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 , ...
1
REPLIES
3.6K
VIEWS

[WSS17] Automated Theorem Proving for Equational Logic

CONTRIBUTED BY: Jonathan Gorard | 2 years ago BY: Eric Archerman
Staff Picks , Discrete Mathematics , Equation Solving , ...
1
REPLIES
11.7K
VIEWS

[WSS23] Towards a homoiconic foundation in the Wolfram Language

CONTRIBUTED BY: Adam Millar | 2 years ago BY: EDITORIAL BOARD
Staff Picks , Discrete Mathematics , Graphics and Visualization , ...
1
REPLIES
3.7K
VIEWS

[WSS23] Exploring minimized reversible circuits for n-bit functions

CONTRIBUTED BY: Benjamin Peter | 2 years ago BY: EDITORIAL BOARD
Staff Picks , Engineering , Graphics and Visualization , ...
1
REPLIES
3.8K
VIEWS
2
3
4
5
6

Group Count Group Count

97 Discussions

Group Branding Group Branding

New Discussion New Discussion

ACTIVE MEMBERS ACTIVE MEMBERS

ACTIVE MEMBERS
mohammadb
Mohammad Bahrami
7 days ago
austinjiangboyu
Austin Jiang
2 months ago
masandlin
Mitchell Sandlin
26 days ago
matthewyu4ever
River Yu
3 months ago
udqbpn
Eric Parfitt
1 month ago
tbarson49
Thomas Barson
8 months ago
lorenzpower2
Lorenz Bauer
1 year ago

RELATED GROUPS RELATED GROUPS

RELATED GROUPS
Staff Picks 1K discussions 806 subscriptions
Wolfram Language 11K discussions 2K subscriptions
Mathematics 6K discussions 4K subscriptions
Physics 1K discussions 3K subscriptions
Symbolic Computations 890 discussions 728 subscriptions
Algebra 996 discussions 1K subscriptions