Group Abstract Group Abstract

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

Discussions List Discussions List

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

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

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

[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

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

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

[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

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

[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

BoolEval package for fast vectorized evaluation of comparisons

CONTRIBUTED BY: Szabolcs Horvát | 7 years ago BY: EDITORIAL BOARD
Staff Picks , Logic and Boolean Algebra , Mathematica Add-Ons , ...
1
REPLIES
17.1K
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

[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

[WSS18] Resolution Based Automated Theorem Prover for First Order Logic

CONTRIBUTED BY: Jan Stan | 8 years ago BY: Branden Fitelson
Graphs and Networks , Logic and Boolean Algebra , Mathematics , ...
1
REPLIES
12K
VIEWS

[WSC19] Implementing a Tsetlin Machine Framework

CONTRIBUTED BY: Dmitri Volkov | 7 years ago
Computational Systems , Data Science , Logic and Boolean Algebra , ...
0
REPLIES
11.4K
VIEWS

Reading and solving Garam puzzles

CONTRIBUTED BY: David Gathercole | 11 years ago
Game Development , Graphics and Visualization , Image Processing , ...
0
REPLIES
11K
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

[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

[WSC21] Implementing many-valued logic in The Wolfram Language

CONTRIBUTED BY: Nika Chuzhoy | 5 years ago BY: EDITORIAL BOARD
Staff Picks , Discrete Mathematics , Graphics and Visualization , ...
1
REPLIES
10.3K
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

A Register Transfer Language and Simulator for Digital Hardware.

CONTRIBUTED BY: George Varian | 8 years ago BY: George Varian
Electrical Engineering , Engineering , Logic and Boolean Algebra , ...
1
REPLIES
10K
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
Computer Science 643 discussions 2K subscriptions
Calculus 1K discussions 2K subscriptions
Wolfram Science 296 discussions 1K subscriptions