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 | 2 years ago BY: Marc Vicuna

LIKES

REPLIES

28.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 , ...

LIKES

REPLIES

20.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 , ...

LIKES

REPLIES

26.5K

VIEWS

Chess queen armies with SAT solvers

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

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

LIKES

REPLIES

11.9K

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 , ...

LIKES

REPLIES

22.4K

VIEWS

LinearProgramming approach for "best teams" algorithm

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

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

LIKES

REPLIES

23.8K

VIEWS

[WSS17] Automated Theorem Proving for Equational Logic

CONTRIBUTED BY: Jonathan Gorard | 3 years ago BY: Eric Archerman

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

LIKES

REPLIES

15K

VIEWS

Implementing a simple proof assistant and type system

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

Staff Picks , Algebra , Dynamic Interactivity , ...

LIKES

REPLIES

28.1K

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 , ...

LIKES

REPLIES

11.4K

VIEWS

Draw & Simulate Logic Circuits

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

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

LIKES

REPLIES

37.2K

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 , ...

LIKES

REPLIES

11.1K

VIEWS

[WSRP24] Minimal universal classical and quantum gates

CONTRIBUTED BY: Christopher Gilbert | 2 years ago BY: EDITORIAL BOARD

Staff Picks , Graphics and Visualization , ...

LIKES

REPLIES

VIEWS

[WSS24] Finding Minimal Axioms for Ring Theory

CONTRIBUTED BY: Tate Allen | 2 years ago BY: EDITORIAL BOARD

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

LIKES

REPLIES

3.4K

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 , ...

LIKES

REPLIES

11.3K

VIEWS

[WELP22] Sub-axiomatic foundations of group theory in SK combinators

CONTRIBUTED BY: Wolfram Education Programs | 3 years ago BY: David Vasholz

Staff Picks , Computer Science , Graphics and Visualization , ...

LIKES

REPLIES

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

LIKES

REPLIES

19.3K

VIEWS

Solving Hidato, Beehive, and Numbrix puzzles

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

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

LIKES

REPLIES

28.5K

VIEWS

Rule 30 exact binomial-Lucas lifting: boolean logic to integer coefficients, Stirling & support sets

CONTRIBUTED BY: Tigran Nersissian | 5 months ago BY: Tigran Nersissian

Staff Picks , Algebra , Computational Systems , ...

LIKES

REPLIES

2.3K

VIEWS

[BOOK] Introduction to infrared and electro-optical systems

CONTRIBUTED BY: Mel Friedman | 7 months ago BY: EDITORIAL BOARD

Staff Picks , Calculus , Graphics and Visualization , ...

LIKES

REPLIES

8.1K

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 , ...

LIKES

REPLIES

8.6K

VIEWS

Group Count

99 Discussions

Group Branding

New Discussion

ACTIVE MEMBERS

1 month ago

1 month ago

1 month ago

2 months ago

7 hours ago

27 days ago

5 months ago

RELATED GROUPS

Wolfram Language 11K discussions 2K subscriptions

Data Science 1K discussions 2K subscriptions

Computational Systems 215 discussions 747 subscriptions

Computer Science 642 discussions 2K subscriptions

Feedback