Group Abstract

«Groups

Logic and Boolean Algebra

Join

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

Discussions List

Draw & Simulate Logic Circuits

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

LIKES

REPLIES

33.9K

VIEWS

Solving Hidato, Beehive, and Numbrix puzzles

CONTRIBUTED BY: Sander Huisman | 9 years ago BY: Sander Huisman

Staff Picks , Equation Solving , Game Development , ...

LIKES

REPLIES

24.9K

VIEWS

Programming approach to solving "One Tough Puzzle"

CONTRIBUTED BY: Wilson Kan | 7 years ago BY: Kevin Pedaline

Staff Picks , Game Development , Graphs and Networks , Know-How , ...

LIKES

REPLIES

22.1K

VIEWS

Implementing a simple proof assistant and type system

CONTRIBUTED BY: Anthony Hart | 4 years ago BY: stefan veeser

Staff Picks , Algebra , Dynamic Interactivity , ...

LIKES

REPLIES

21.8K

VIEWS

LinearProgramming approach for "best teams" algorithm

CONTRIBUTED BY: Anton Antonov | 8 years ago BY: Peter Parker

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

LIKES

REPLIES

21.2K

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.6K

VIEWS

[WSC18] Implementation of Common Axiom Systems and Proof Generation

CONTRIBUTED BY: Pyokyeong Son | 7 years ago BY: EDITORIAL BOARD

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

LIKES

REPLIES

18.1K

VIEWS

[WSS16] Modal logic in the Wolfram Language

CONTRIBUTED BY: Jaime Sevilla | 3 years ago BY: Michael Kelly

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

LIKES

REPLIES

17.4K

VIEWS

A miracle Sudoku discovery - duplicate bridge

CONTRIBUTED BY: Ed Pegg | 4 years ago BY: EDITORIAL BOARD

Staff Picks , Discrete Mathematics , Graphics and Visualization , ...

LIKES

REPLIES

16K

VIEWS

BoolEval package for fast vectorized evaluation of comparisons

CONTRIBUTED BY: Szabolcs Horvát | 6 years ago BY: EDITORIAL BOARD

Staff Picks , Logic and Boolean Algebra , Mathematica Add-Ons , ...

LIKES

REPLIES

14.8K

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.8K

VIEWS

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

CONTRIBUTED BY: Aruj Bansal | 3 years ago BY: Aruj Bansal

Staff Picks , Equation Solving , Game Development , ...

LIKES

REPLIES

11.5K

VIEWS

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

CONTRIBUTED BY: Jan Stan | 7 years ago BY: Branden Fitelson

Graphs and Networks , Logic and Boolean Algebra , Mathematics , ...

LIKES

REPLIES

11.2K

VIEWS

Reading and solving Garam puzzles

CONTRIBUTED BY: David Gathercole | 10 years ago

Game Development , Graphics and Visualization , Image Processing , ...

LIKES

REPLIES

10.4K

VIEWS

[WSC19] Implementing a Tsetlin Machine Framework

CONTRIBUTED BY: Dmitri Volkov | 6 years ago

Computational Systems , Data Science , Logic and Boolean Algebra , ...

LIKES

REPLIES

10.1K

VIEWS

Chess queen armies with SAT solvers

CONTRIBUTED BY: Christopher Wolfram | 3 years ago BY: Brad Klee

Staff Picks , Dynamic Interactivity , Game Development , ...

LIKES

REPLIES

9.6K

VIEWS

A Register Transfer Language and Simulator for Digital Hardware.

CONTRIBUTED BY: George Varian | 7 years ago BY: George Varian

Electrical Engineering , Engineering , Logic and Boolean Algebra , ...

LIKES

REPLIES

9.5K

VIEWS

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

CONTRIBUTED BY: Nika Chuzhoy | 4 years ago BY: EDITORIAL BOARD

Staff Picks , Discrete Mathematics , Graphics and Visualization , ...

LIKES

REPLIES

9.4K

VIEWS

QuickCheck: a package for automated property-based testing

CONTRIBUTED BY: Pedro Cabral | 4 years ago BY: EDITORIAL BOARD

Staff Picks , Computer Science , Logic and Boolean Algebra , ...

LIKES

REPLIES

9.1K

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.8K

VIEWS

Group Count

97 Discussions

Group Branding

New Discussion

ACTIVE MEMBERS

9 days ago

2 months ago

1 month ago

3 months ago

1 month ago

8 months ago

1 year ago

RELATED GROUPS

Physics 1K discussions 3K subscriptions

Wolfram Language 11K discussions 2K subscriptions

Staff Picks 1K discussions 806 subscriptions

Mathematics 6K discussions 4K subscriptions

Algebra 995 discussions 1K subscriptions

Symbolic Computations 890 discussions 728 subscriptions

Feedback