Group Abstract Group Abstract

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

Discussions List Discussions List

[WSG23] Daily Study Group: Introduction to Discrete Mathematics

CONTRIBUTED BY: Marc Vicuna | 2 years ago BY: Marc Vicuna
Discrete Mathematics , Education , Events & Media , ...
60
REPLIES
24.1K
VIEWS

LinearProgramming approach for "best teams" algorithm

CONTRIBUTED BY: Anton Antonov | 9 years ago BY: Peter Parker
Staff Picks , Calculus , Discrete Mathematics , Equation Solving , ...
12
REPLIES
22.4K
VIEWS

Chess queen armies with SAT solvers

CONTRIBUTED BY: Christopher Wolfram | 4 years ago BY: Brad Klee
Staff Picks , Dynamic Interactivity , Game Development , ...
7
REPLIES
10.7K
VIEWS

Programming approach to solving "One Tough Puzzle"

CONTRIBUTED BY: Wilson Kan | 8 years ago BY: Kevin Pedaline
Staff Picks , Game Development , Graphs and Networks , Know-How , ...
7
REPLIES
24K
VIEWS

Experiments with a boolean rewriting system

CONTRIBUTED BY: Anders Lindman | 3 years ago BY: Anders Lindman
Logic and Boolean Algebra , Mathematics , Wolfram Language
5
REPLIES
4.6K
VIEWS

Implementing a simple proof assistant and type system

CONTRIBUTED BY: Anthony Hart | 5 years ago BY: stefan veeser
Staff Picks , Algebra , Dynamic Interactivity , ...
5
REPLIES
24.3K
VIEWS

Solving Hidato, Beehive, and Numbrix puzzles

CONTRIBUTED BY: Sander Huisman | 10 years ago BY: Sander Huisman
Staff Picks , Equation Solving , Game Development , ...
5
REPLIES
26.6K
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

A miracle Sudoku discovery - duplicate bridge

CONTRIBUTED BY: Ed Pegg | 5 years ago BY: EDITORIAL BOARD
Staff Picks , Discrete Mathematics , Graphics and Visualization , ...
4
REPLIES
18.5K
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
394
VIEWS

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

CONTRIBUTED BY: Emerson Alex Villafuerte Jara | 2 years ago BY: Ahmed Elbanna
Staff Picks , Curated Data , Group Theory , ...
3
REPLIES
6.2K
VIEWS

[WSRP23] Solving logic puzzles based on logical statements

CONTRIBUTED BY: Nishnath Polavarapu | 3 years ago BY: EDITORIAL BOARD
Staff Picks , Challenges , Logic and Boolean Algebra , ...
3
REPLIES
10.7K
VIEWS

[WSC22] Generating Crossword Puzzles Out of a Given Set of Words

CONTRIBUTED BY: Aruj Bansal | 4 years ago BY: Aruj Bansal
Staff Picks , Equation Solving , Game Development , ...
3
REPLIES
12.7K
VIEWS

Decently fast SAT solving for wang tiles

CONTRIBUTED BY: Brad Klee | 4 years ago BY: Dean Gladish
Staff Picks , Computational Humanities , Discrete Mathematics , ...
3
REPLIES
9.7K
VIEWS

An introduction to quantum computing

CONTRIBUTED BY: Roman Parker | 4 years ago BY: Roman Parker
Staff Picks , Computer Science , Logic and Boolean Algebra , ...
3
REPLIES
9.3K
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

Draw & Simulate Logic Circuits

CONTRIBUTED BY: Benjamin Goodman | 3 years ago BY: Dielianhua Dielianhua
Staff Picks , Dynamic Interactivity , Electrical Engineering , ...
2
REPLIES
35.5K
VIEWS

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

CONTRIBUTED BY: Tyler Rose | 3 years ago BY: EDITORIAL BOARD
Staff Picks , Compilation , Computational Systems , ...
2
REPLIES
9.9K
VIEWS

[WSS16] Modal logic in the Wolfram Language

CONTRIBUTED BY: Jaime Sevilla | 4 years ago BY: Michael Kelly
Staff Picks , Logic and Boolean Algebra , Mathematics , ...
2
REPLIES
18.3K
VIEWS

Analyzing a competitive new method for GenerateTiling

CONTRIBUTED BY: Brad Klee | 4 years ago BY: Brad Klee
Staff Picks , Algebra , Challenges , Discrete Mathematics , ...
2
REPLIES
6.7K
VIEWS

Insights from Chapter 1 of Introduction to Classical and Quantum Computing

CONTRIBUTED BY: Roman Parker | 4 years ago BY: Roman Parker
Staff Picks , Computational Systems , Computer Science , ...
2
REPLIES
6.4K
VIEWS

Making And[] and Or[] work with lists

CONTRIBUTED BY: George Woodrow III | 6 years ago BY: George Woodrow III
Logic and Boolean Algebra , Wolfram Language
2
REPLIES
6.4K
VIEWS

[WSC18] Implementation of Common Axiom Systems and Proof Generation

CONTRIBUTED BY: Pyokyeong Son | 8 years ago BY: EDITORIAL BOARD
Staff Picks , Algebra , Computer-Based Maths , Equation Solving , ...
2
REPLIES
19.8K
VIEWS

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
109
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
267
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 quantum computing: part 2

CONTRIBUTED BY: Mohammad Bahrami | 4 months ago BY: EDITORIAL BOARD
Staff Picks , Computer Science , Graphics and Visualization , ...
1
REPLIES
890
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] 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

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

CONTRIBUTED BY: Shriya Thakur | 2 years ago BY: EDITORIAL BOARD
Staff Picks , Computer-Based Maths , Computer Science , ...
1
REPLIES
4.9K
VIEWS

[WSS17] Automated Theorem Proving for Equational Logic

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

[WSS23] Towards a homoiconic foundation in the Wolfram Language

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

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

CONTRIBUTED BY: Benjamin Peter | 3 years ago BY: EDITORIAL BOARD
Staff Picks , Engineering , Graphics and Visualization , ...
1
REPLIES
4.7K
VIEWS

[WELP22] Sub-axiomatic foundations of group theory in SK combinators

CONTRIBUTED BY: Wolfram Education Programs | 3 years ago BY: David Vasholz
Staff Picks , Computer Science , Graphics and Visualization , ...
1
REPLIES
7.5K
VIEWS

[WSC22] Boolean logic in SK combinators

CONTRIBUTED BY: Gleb Rusiaev | 4 years ago BY: EDITORIAL BOARD
Staff Picks , Computational Systems , Computer Science , ...
1
REPLIES
9.1K
VIEWS

Grover's algorithm: a quantum search algorithm

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

Quantum counterpart of classical gates

CONTRIBUTED BY: Shivam Sawarn | 4 years ago BY: EDITORIAL BOARD
Staff Picks , Computer Science , Graphics and Visualization , ...
1
REPLIES
10K
VIEWS

[WSS21] Study backtracking in cellular automata as a multiway system

CONTRIBUTED BY: Wenjie Zhou | 4 years ago BY: EDITORIAL BOARD
Staff Picks , Logic and Boolean Algebra , Wolfram Language , ...
1
REPLIES
5.8K
VIEWS

[WWS22] A novel multiway isomorphism model of consistency and completeness

CONTRIBUTED BY: Kartik Tiwari | 4 years ago BY: EDITORIAL BOARD
Staff Picks , Graphics and Visualization , Graphs and Networks , ...
1
REPLIES
6.9K
VIEWS
1
2

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
Computer Science 643 discussions 2K subscriptions
Calculus 1K discussions 2K subscriptions
Wolfram Science 296 discussions 1K subscriptions