Group Abstract

«Groups

Logic and Boolean Algebra

Join

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

Discussions List

[WSG23] Daily Study Group: Introduction to Discrete Mathematics

CONTRIBUTED BY: Marc Vicuna | 1 year ago BY: Marc Vicuna

LIKES

REPLIES

19.6K

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

20.8K

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

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

21.6K

VIEWS

Experiments with a boolean rewriting system

CONTRIBUTED BY: Anders Lindman | 2 years ago BY: Anders Lindman

Logic and Boolean Algebra , Mathematics , Wolfram Language

LIKES

REPLIES

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

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

VIEWS

[WSRP24] Study of Hash Probing on a Graph

CONTRIBUTED BY: David Wang | 11 months ago BY: Steven Verrall

Staff Picks , Computer Science , Dynamic Interactivity , ...

LIKES

REPLIES

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

15.2K

VIEWS

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

CONTRIBUTED BY: Emerson Alex Villafuerte Jara | 1 year ago BY: Ahmed Elbanna

Staff Picks , Curated Data , Group Theory , ...

LIKES

REPLIES

4.6K

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

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

9.6K

VIEWS

Decently fast SAT solving for wang tiles

CONTRIBUTED BY: Brad Klee | 3 years ago BY: Dean Gladish

Staff Picks , Computational Humanities , Discrete Mathematics , ...

LIKES

REPLIES

7.9K

VIEWS

An introduction to quantum computing

CONTRIBUTED BY: Roman Parker | 3 years ago BY: Roman Parker

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

LIKES

REPLIES

8.3K

VIEWS

Draw & Simulate Logic Circuits

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

Staff Picks , Dynamic Interactivity , Electrical Engineering , ...

LIKES

REPLIES

33.4K

VIEWS

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

CONTRIBUTED BY: Tyler Rose | 2 years ago BY: EDITORIAL BOARD

Staff Picks , Compilation , Computational Systems , ...

LIKES

REPLIES

6.8K

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

VIEWS

Analyzing a competitive new method for GenerateTiling

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

Staff Picks , Algebra , Challenges , Discrete Mathematics , ...

LIKES

REPLIES

5.6K

VIEWS

Insights from Chapter 1 of Introduction to Classical and Quantum Computing

CONTRIBUTED BY: Roman Parker | 3 years ago BY: Roman Parker

Staff Picks , Computational Systems , Computer Science , ...

LIKES

REPLIES

5.6K

VIEWS

Making And[] and Or[] work with lists

CONTRIBUTED BY: George Woodrow III | 5 years ago BY: George Woodrow III

Logic and Boolean Algebra , Wolfram Language

LIKES

REPLIES

5.8K

VIEWS

Group Count

97 Discussions

Group Branding

New Discussion

ACTIVE MEMBERS

17 days ago

25 days ago

14 days ago

1 month ago

5 days ago

6 months ago

1 year ago

RELATED GROUPS

Wolfram Language 11K discussions 2K subscriptions

Mathematics 6K discussions 4K subscriptions

Staff Picks 1K discussions 800 subscriptions

Physics 1K discussions 3K subscriptions

Algebra 991 discussions 1K subscriptions

Symbolic Computations 883 discussions 726 subscriptions

Feedback