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

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

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

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

[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

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

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

[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

[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

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

QuickCheck: a package for automated property-based testing

CONTRIBUTED BY: Pedro Cabral | 5 years ago BY: EDITORIAL BOARD
Staff Picks , Computer Science , Logic and Boolean Algebra , ...
1
REPLIES
10K
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

[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

[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

[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

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

[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

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

[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
5

Group Count Group Count

97 Discussions

Group Branding Group Branding

New Discussion New Discussion

ACTIVE MEMBERS ACTIVE MEMBERS

RELATED GROUPS RELATED GROUPS

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