Group Abstract Group Abstract

«Groups
Logic and Boolean Algebra
Join
Logical operators, Boolean computation and vector operations, mathematical logic...

Discussions List Discussions List

[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 , ...
2
REPLIES
11.3K
VIEWS

[WSRP23] Solving logic puzzles based on logical statements

CONTRIBUTED BY: Nishnath Polavarapu | 3 years ago BY: EDITORIAL BOARD
Staff Picks , Challenges , Logic and Boolean Algebra , ...
3
REPLIES
12.9K
VIEWS

[WSS23] Towards a homoiconic foundation in the Wolfram Language

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

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

CONTRIBUTED BY: Benjamin Peter | 3 years ago BY: EDITORIAL BOARD
Staff Picks , Engineering , Graphics and Visualization , ...
1
REPLIES
6K
VIEWS

Experiments with a boolean rewriting system

CONTRIBUTED BY: Anders Lindman | 3 years ago BY: Anders Lindman
Logic and Boolean Algebra , Mathematics , Wolfram Language
5
REPLIES
5.2K
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 , ...
1
REPLIES
8.5K
VIEWS

logic formula doesn't work in Wolfram Alpha

QUESTION FROM: G Henry | 3 years ago BY: G Henry
Logic and Boolean Algebra , Mathematics , Wolfram|Alpha
4
REPLIES
4.4K
VIEWS

[R&DL] Q&A with Calculus & Algebra Developers

CONTRIBUTED BY: Keren Garcia | 4 years ago
Algebra , Calculus , Discrete Mathematics , Education , ...
0
REPLIES
2.9K
VIEWS

Chess queen armies with SAT solvers

CONTRIBUTED BY: Christopher Wolfram | 4 years ago BY: Brad Klee
Staff Picks , Dynamic Interactivity , Game Development , ...
7
REPLIES
11.9K
VIEWS

[WSC22] Boolean logic in SK combinators

CONTRIBUTED BY: Gleb Rusiaev | 4 years ago BY: EDITORIAL BOARD
Staff Picks , Computational Systems , Computer Science , ...
1
REPLIES
10K
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 , ...
2
REPLIES
19.3K
VIEWS

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

CONTRIBUTED BY: Aruj Bansal | 4 years ago BY: Aruj Bansal
Staff Picks , Equation Solving , Game Development , ...
3
REPLIES
14.3K
VIEWS

Logic syntax on Wolfram|Alpha

QUESTION FROM: Anh Nguyen The | 4 years ago BY: Peter Barendse
Logic and Boolean Algebra , Mathematics , Wolfram|Alpha
3
REPLIES
6.7K
VIEWS

Analyzing a competitive new method for GenerateTiling

CONTRIBUTED BY: Brad Klee | 4 years ago BY: Brad Klee
Staff Picks , Algebra , Challenges , Discrete Mathematics , ...
2
REPLIES
7.6K
VIEWS

Decently fast SAT solving for wang tiles

CONTRIBUTED BY: Brad Klee | 4 years ago BY: Dean Gladish
Staff Picks , Computational Humanities , Discrete Mathematics , ...
3
REPLIES
11.9K
VIEWS

Tell Wolfram|Alpha to interpret NOR and NAND as binary operators?

QUESTION FROM: Magnus Lubkowitz | 4 years ago BY: Magnus Lubkowitz
Logic and Boolean Algebra , Mathematics , Wolfram|Alpha
4
REPLIES
6.3K
VIEWS

An introduction to quantum computing

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

Grover's algorithm: a quantum search algorithm

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

Quantum counterpart of classical gates

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

Insights from Chapter 1 of Introduction to Classical and Quantum Computing

CONTRIBUTED BY: Roman Parker | 4 years ago BY: Roman Parker
Staff Picks , Computational Systems , Computer Science , ...
2
REPLIES
7K
VIEWS
1
2
3
4
5

Group Count Group Count

99 Discussions

Group Branding Group Branding

New Discussion New Discussion

ACTIVE MEMBERS ACTIVE MEMBERS

ACTIVE MEMBERS
svetoslavivanov
Svet Ivanov
1 month ago
samarthbhatsb
Samarth Bhat
1 month ago
chenjiaxuan123456
Jiaxuan Chen
1 month ago
brillowski
Claus Brillowski
2 months ago
bharathk98
Bharath Krishnan
11 hours ago
tigrannersissian
Tigran Nersissian
1 month ago
lesliegoldberg
Leslie Ann Goldberg
5 months ago

RELATED GROUPS RELATED GROUPS

RELATED GROUPS
Wolfram Language 11K discussions 2K subscriptions
Data Science 1K discussions 2K subscriptions
Computational Systems 216 discussions 747 subscriptions
Computer Science 643 discussions 2K subscriptions