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

21K

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

16.4K

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

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

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

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

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

22.1K

VIEWS

[WSRP24] Constructing combinators for arithmetic and arbitrary-length bitwise operations

CONTRIBUTED BY: Austin Jiang | 1 year ago BY: EDITORIAL BOARD

Staff Picks , Compilation , Computational Systems , ...

LIKES

REPLIES

8.2K

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

12K

VIEWS

Draw & Simulate Logic Circuits

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

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

LIKES

REPLIES

34.1K

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

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

8.9K

VIEWS

[WSS24] Finding Minimal Axioms for Ring Theory

CONTRIBUTED BY: Tate Allen | 1 year ago BY: EDITORIAL BOARD

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

LIKES

REPLIES

2.3K

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

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

25.1K

VIEWS

Using Meta programming + Compile to speed up Backtracking algorithm

CONTRIBUTED BY: Hongyang Cao | 8 months ago BY: Christopher French

Compilation , Computer Science , Logic and Boolean Algebra , ...

LIKES

REPLIES

6.6K

VIEWS

[WSS24] Pre-lie structures of graph rewriting and associated axiom systems

CONTRIBUTED BY: Fernando Olivie Méndez Méndez | 1 year ago BY: EDITORIAL BOARD

Staff Picks , Graphics and Visualization , Graphs and Networks , ...

LIKES

REPLIES

2.1K

VIEWS

[WSS24] Study "Logic Puzzle" axiom/proof graphs from TPTP.org

CONTRIBUTED BY: Arihant Gadgade | 1 year ago BY: EDITORIAL BOARD

Staff Picks , External Programs and Systems , ...

LIKES

REPLIES

2.8K

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

5.2K

VIEWS

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

CONTRIBUTED BY: Benjamin Peter | 2 years ago BY: EDITORIAL BOARD

Staff Picks , Engineering , Graphics and Visualization , ...

LIKES

REPLIES

VIEWS

Group Count

96 Discussions

Group Branding

New Discussion

ACTIVE MEMBERS

15 days ago

3 months ago

2 months ago

4 months ago

2 months ago

9 months ago

1 year ago

RELATED GROUPS

Staff Picks 1K discussions 809 subscriptions

Wolfram Language 11K discussions 2K subscriptions

Mathematics 6K discussions 4K subscriptions

Symbolic Computations 894 discussions 729 subscriptions

Physics 1K discussions 3K subscriptions

Algebra 998 discussions 1K subscriptions

Feedback