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 | 2 years ago BY: Dielianhua Dielianhua
Staff Picks , Dynamic Interactivity , Electrical Engineering , ...
2
REPLIES
33.4K
VIEWS

Solving Hidato, Beehive, and Numbrix puzzles

CONTRIBUTED BY: Sander Huisman | 9 years ago BY: Sander Huisman
Staff Picks , Equation Solving , Game Development , ...
5
REPLIES
24.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 , ...
7
REPLIES
21.6K
VIEWS

Implementing a simple proof assistant and type system

CONTRIBUTED BY: Anthony Hart | 4 years ago BY: stefan veeser
Staff Picks , Algebra , Dynamic Interactivity , ...
5
REPLIES
21.4K
VIEWS

LinearProgramming approach for "best teams" algorithm

CONTRIBUTED BY: Anton Antonov | 8 years ago BY: Peter Parker
Staff Picks , Calculus , Discrete Mathematics , Equation Solving , ...
12
REPLIES
20.8K
VIEWS

[WSG23] Daily Study Group: Introduction to Discrete Mathematics

CONTRIBUTED BY: Marc Vicuna | 1 year ago BY: Marc Vicuna
Discrete Mathematics , Education , Events & Media , ...
60
REPLIES
19.7K
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 , ...
2
REPLIES
17.1K
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 , ...
2
REPLIES
16.3K
VIEWS

A miracle Sudoku discovery - duplicate bridge

CONTRIBUTED BY: Ed Pegg | 4 years ago BY: EDITORIAL BOARD
Staff Picks , Discrete Mathematics , Graphics and Visualization , ...
4
REPLIES
15.3K
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 , ...
1
REPLIES
14.4K
VIEWS

[WSS17] Automated Theorem Proving for Equational Logic

CONTRIBUTED BY: Jonathan Gorard | 2 years ago BY: Eric Archerman
Staff Picks , Discrete Mathematics , Equation Solving , ...
1
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 , ...
1
REPLIES
11K
VIEWS

Reading and solving Garam puzzles

CONTRIBUTED BY: David Gathercole | 10 years ago
Game Development , Graphics and Visualization , Image Processing , ...
0
REPLIES
10.3K
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 , ...
3
REPLIES
9.7K
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 , ...
1
REPLIES
9.4K
VIEWS

Chess queen armies with SAT solvers

CONTRIBUTED BY: Christopher Wolfram | 3 years ago BY: Brad Klee
Staff Picks , Dynamic Interactivity , Game Development , ...
7
REPLIES
9.3K
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 , ...
1
REPLIES
8.8K
VIEWS

An introduction to quantum computing

CONTRIBUTED BY: Roman Parker | 3 years ago BY: Roman Parker
Staff Picks , Computer Science , Logic and Boolean Algebra , ...
3
REPLIES
8.3K
VIEWS

[WSC19] Implementing a Tsetlin Machine Framework

CONTRIBUTED BY: Dmitri Volkov | 6 years ago
Computational Systems , Data Science , Logic and Boolean Algebra , ...
0
REPLIES
8.3K
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 , ...
3
REPLIES
8.3K
VIEWS

Quantum counterpart of classical gates

CONTRIBUTED BY: Shivam Sawarn | 3 years ago BY: EDITORIAL BOARD
Staff Picks , Computer Science , Graphics and Visualization , ...
1
REPLIES
8.2K
VIEWS

Decently fast SAT solving for wang tiles

CONTRIBUTED BY: Brad Klee | 3 years ago BY: Dean Gladish
Staff Picks , Computational Humanities , Discrete Mathematics , ...
3
REPLIES
7.9K
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 , ...
1
REPLIES
7.8K
VIEWS

Grover's algorithm: a quantum search algorithm

CONTRIBUTED BY: Mohammad Bahrami | 3 years ago BY: EDITORIAL BOARD
Staff Picks , Computer Science , Graphics and Visualization , ...
1
REPLIES
7.7K
VIEWS

Boolean algebra, engineering format

CONTRIBUTED BY: Eric Johnstone | 7 years ago
Algebra , Control Systems , Discrete Mathematics , Engineering , ...
0
REPLIES
7.6K
VIEWS

[WSC21] Exploring minimal deep learning systems using Boolean functions

CONTRIBUTED BY: Andri Kadaifciu | 4 years ago BY: EDITORIAL BOARD
Staff Picks , Artificial Intelligence , Data Science , ...
1
REPLIES
7.1K
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 , ...
2
REPLIES
7K
VIEWS

[Call] for teachers to develop a course on Computational Logic

CONTRIBUTED BY: Vinay Chaudhri | 9 years ago
Authoring and Publishing , Computer-Based Maths , Computer Science , ...
0
REPLIES
6.9K
VIEWS

[WSC22] Boolean logic in SK combinators

CONTRIBUTED BY: Gleb Rusiaev | 3 years ago BY: EDITORIAL BOARD
Staff Picks , Computational Systems , Computer Science , ...
1
REPLIES
6.6K
VIEWS

[GiF] Genuary 2022: trade styles with a friend

CONTRIBUTED BY: Sander Huisman | 3 years ago BY: EDITORIAL BOARD
Staff Picks , Challenges , Events & Media , ...
1
REPLIES
6.5K
VIEWS

Incoherent optical MTF: analytical calculations

CONTRIBUTED BY: Mel Friedman | 4 years ago BY: EDITORIAL BOARD
Staff Picks , Calculus , Graphics and Visualization , ...
1
REPLIES
6.4K
VIEWS

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

CONTRIBUTED BY: Wolfram Education Programs | 2 years ago BY: David Vasholz
Staff Picks , Computer Science , Graphics and Visualization , ...
1
REPLIES
6.2K
VIEWS

[WWS22] A novel multiway isomorphism model of consistency and completeness

CONTRIBUTED BY: Kartik Tiwari | 3 years ago BY: EDITORIAL BOARD
Staff Picks , Graphics and Visualization , Graphs and Networks , ...
1
REPLIES
6K
VIEWS

Using Meta programming + Compile to speed up Backtracking algorithm

CONTRIBUTED BY: Hongyang Cao | 5 months ago BY: Christopher French
Compilation , Computer Science , Logic and Boolean Algebra , ...
1
REPLIES
5.9K
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
2
REPLIES
5.8K
VIEWS

Analyzing a competitive new method for GenerateTiling

CONTRIBUTED BY: Brad Klee | 3 years ago BY: Brad Klee
Staff Picks , Algebra , Challenges , Discrete Mathematics , ...
2
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 , ...
2
REPLIES
5.6K
VIEWS

Binary Counter: new downloadable SystemModeler example

CONTRIBUTED BY: Patrik Ekenberg | 9 years ago
Events & Media , Logic and Boolean Algebra , Modeling , Robotics , ...
0
REPLIES
5.5K
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 , ...
1
REPLIES
5.3K
VIEWS

[WSS21] Study backtracking in cellular automata as a multiway system

CONTRIBUTED BY: Wenjie Zhou | 3 years ago BY: EDITORIAL BOARD
Staff Picks , Logic and Boolean Algebra , Wolfram Language , ...
1
REPLIES
5.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 , ...
3
REPLIES
4.6K
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 , ...
4
REPLIES
4.1K
VIEWS

Experiments with a boolean rewriting system

CONTRIBUTED BY: Anders Lindman | 2 years ago BY: Anders Lindman
Logic and Boolean Algebra , Mathematics , Wolfram Language
5
REPLIES
4K
VIEWS

[WSRP24] An approximated simulation of fluidic logic gates

CONTRIBUTED BY: Michael Bao | 1 year ago BY: EDITORIAL BOARD
Staff Picks , Graphics and Visualization , ...
1
REPLIES
3.7K
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 , ...
1
REPLIES
3.7K
VIEWS

[WSS23] Towards a homoiconic foundation in the Wolfram Language

CONTRIBUTED BY: Adam Millar | 2 years ago BY: EDITORIAL BOARD
Staff Picks , Discrete Mathematics , Graphics and Visualization , ...
1
REPLIES
3.4K
VIEWS

[WWS24] Lean Exploration: A Deep Dive into the Wolfram Axiom

CONTRIBUTED BY: Shriya Thakur | 1 year ago BY: EDITORIAL BOARD
Staff Picks , Computer-Based Maths , Computer Science , ...
1
REPLIES
3.4K
VIEWS

[WSRP24] Minimal universal classical and quantum gates

CONTRIBUTED BY: Christopher Gilbert | 1 year ago BY: EDITORIAL BOARD
Staff Picks , Graphics and Visualization , ...
1
REPLIES
3.3K
VIEWS

Syntax for a logical / programming / natural language mix

CONTRIBUTED BY: Eric Parfitt | 6 years ago
Computational Linguistics , Logic and Boolean Algebra , Mathematica , ...
0
REPLIES
3.2K
VIEWS

Verified programming

CONTRIBUTED BY: José Manuel Rodríguez Caballero | 4 years ago
Computer Science , Data Science , Logic and Boolean Algebra , ...
0
REPLIES
3K
VIEWS
1
2

Group Count Group Count

97 Discussions

Group Branding Group Branding

New Discussion New Discussion

ACTIVE MEMBERS ACTIVE MEMBERS

ACTIVE MEMBERS
mohammadb
Mohammad Bahrami
4 days ago
austinjiangboyu
Austin Jiang
27 days ago
masandlin
Mitchell Sandlin
15 days ago
matthewyu4ever
River Yu
1 month ago
udqbpn
Eric Parfitt
7 days ago
tbarson49
Thomas Barson
7 months ago
lorenzpower2
Lorenz Bauer
1 year ago

RELATED GROUPS RELATED GROUPS

RELATED GROUPS
Mathematics 6K discussions 4K subscriptions
Wolfram Language 11K discussions 2K subscriptions
Staff Picks 1K discussions 800 subscriptions
Physics 1K discussions 3K subscriptions
Symbolic Computations 883 discussions 726 subscriptions
Algebra 993 discussions 1K subscriptions