Group Abstract Group Abstract

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

Discussions List Discussions List

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

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

Exploring 1D repeating logic gate arrays

CONTRIBUTED BY: Eric Parfitt | 5 months ago BY: EDITORIAL BOARD
Staff Picks , Computational Systems , Computer Science , ...
1
REPLIES
1.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

[WSC19] Implementing a Tsetlin Machine Framework

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

Quantum Games: multi-player CHSH game

CONTRIBUTED BY: Mohammad Bahrami | 6 months ago BY: EDITORIAL BOARD
Staff Picks , Graphics and Visualization , ...
1
REPLIES
1.7K
VIEWS

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

CONTRIBUTED BY: Keren Garcia | 3 years ago
Algebra , Calculus , Discrete Mathematics , Education , ...
0
REPLIES
2.5K
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

[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
6.9K
VIEWS

Exploring the potential of the Wolfram Language in symbolic cryptography

CONTRIBUTED BY: José Manuel Rodríguez Caballero | 5 years ago
Algebra , Computer Science , Cryptography , ...
0
REPLIES
2.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
11K
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

[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

Verified programming

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

Universal bitwise function composition from Church numerals in lambda calculus

CONTRIBUTED BY: Austin Jiang | 26 days ago BY: EDITORIAL BOARD
Staff Picks , Algebra , Calculus , Logic and Boolean Algebra , ...
1
REPLIES
1K
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

Boolean algebra, engineering format

CONTRIBUTED BY: Eric Johnstone | 7 years ago
Algebra , Control Systems , Discrete Mathematics , Engineering , ...
0
REPLIES
7.6K
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

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
1
2
3

Group Count Group Count

97 Discussions

Group Branding Group Branding

New Discussion New Discussion

ACTIVE MEMBERS ACTIVE MEMBERS

ACTIVE MEMBERS
mohammadb
Mohammad Bahrami
17 days ago
austinjiangboyu
Austin Jiang
25 days ago
masandlin
Mitchell Sandlin
14 days ago
matthewyu4ever
River Yu
1 month ago
udqbpn
Eric Parfitt
12 days ago
tbarson49
Thomas Barson
6 months ago
lorenzpower2
Lorenz Bauer
1 year ago

RELATED GROUPS RELATED GROUPS

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