Group Abstract Group Abstract

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

Discussions List Discussions List

[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.4K
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
8.2K
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
8K
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.5K
VIEWS

Knightdoku: solving Sudoku-like problem based on chess knights

QUESTION FROM: Matthew Sottile | 3 years ago BY: EDITORIAL BOARD
Staff Picks , Challenges , Events & Media , ...
1
REPLIES
6.7K
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.4K
VIEWS

What is the naive Bayes Classifier doing?

QUESTION FROM: Christoph S. | 3 years ago BY: Giulio Alessandrini
Data Science , Logic and Boolean Algebra , Machine Learning , ...
1
REPLIES
5.7K
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
6.1K
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.7K
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
9.4K
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
8.7K
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
9K
VIEWS

Do logicians use Wolfram Language?

QUESTION FROM: Stephan Spahn | 4 years ago BY: Sam Carrettie
Logic and Boolean Algebra , Mathematics , Wolfram Language
1
REPLIES
6.1K
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.5K
VIEWS

Is there a way to use RulePlot for higher order rules?

QUESTION FROM: John McGee | 6 years ago BY: David Whitten
Discrete Mathematics , Graphics and Visualization , ...
1
REPLIES
9.7K
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.7K
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
11.2K
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.5K
VIEWS

Set a variable to Binary?

QUESTION FROM: Juan David | 8 years ago BY: Daniel Lichtblau
Logic and Boolean Algebra , Mathematics , Wolfram Language
1
REPLIES
9.4K
VIEWS

Solve a problem involving logical programming using "For" function?

QUESTION FROM: S G | 8 years ago BY: Bill Simpson
Graphics and Visualization , Logic and Boolean Algebra , ...
1
REPLIES
8.4K
VIEWS
3
4
5
6
7

Group Count Group Count

97 Discussions

Group Branding Group Branding

New Discussion New Discussion

ACTIVE MEMBERS ACTIVE MEMBERS

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

RELATED GROUPS RELATED GROUPS

RELATED GROUPS
Staff Picks 1K discussions 806 subscriptions
Wolfram Language 11K discussions 2K subscriptions
Mathematics 6K discussions 4K subscriptions
Physics 1K discussions 3K subscriptions
Symbolic Computations 890 discussions 728 subscriptions
Algebra 996 discussions 1K subscriptions