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

Solving Hidato, Beehive, and Numbrix puzzles

CONTRIBUTED BY: Sander Huisman | 10 years ago BY: Sander Huisman
Staff Picks , Equation Solving , Game Development , ...
5
REPLIES
27.2K
VIEWS

[WSG23] Daily Study Group: Introduction to Discrete Mathematics

CONTRIBUTED BY: Marc Vicuna | 2 years ago BY: Marc Vicuna
Discrete Mathematics , Education , Events & Media , ...
60
REPLIES
25.4K
VIEWS

Implementing a simple proof assistant and type system

CONTRIBUTED BY: Anthony Hart | 5 years ago BY: stefan veeser
Staff Picks , Algebra , Dynamic Interactivity , ...
5
REPLIES
25.3K
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 , ...
7
REPLIES
24.7K
VIEWS

LinearProgramming approach for "best teams" algorithm

CONTRIBUTED BY: Anton Antonov | 9 years ago BY: Peter Parker
Staff Picks , Calculus , Discrete Mathematics , Equation Solving , ...
12
REPLIES
22.8K
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 , ...
2
REPLIES
20.4K
VIEWS

Mathematics research work, any suggestions?

QUESTION FROM: Wak Fuld | 11 years ago BY: Ulrich Mutze
Algebra , Calculus , Economics , Education , Finance , Geometry , ...
2
REPLIES
18.9K
VIEWS

A miracle Sudoku discovery - duplicate bridge

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

BoolEval package for fast vectorized evaluation of comparisons

CONTRIBUTED BY: Szabolcs Horvát | 7 years ago BY: EDITORIAL BOARD
Staff Picks , Logic and Boolean Algebra , Mathematica Add-Ons , ...
1
REPLIES
17.3K
VIEWS

Adding headers to truth tables

QUESTION FROM: Nicole P | 1 year ago BY: Updating Name
Logic and Boolean Algebra , Wolfram Language
4
REPLIES
16.2K
VIEWS

How can a Boolean representation be displayed as symbolic algebra?

QUESTION FROM: Steve M | 13 years ago BY: Malte Lenz
Algebra , Engineering , Logic and Boolean Algebra , Mathematica , ...
5
REPLIES
16.2K
VIEWS

Define a complex number

QUESTION FROM: Ahmed Al-Ali | 12 years ago BY: Ulrich Mutze
Algebra , Calculus , Compilation , Logic and Boolean Algebra , ...
4
REPLIES
15.9K
VIEWS

Labelling Special Edges of a Hasse Diagram

QUESTION FROM: Zev Woodstock | 11 years ago BY: Zev Woodstock
Discrete Mathematics , Graphics and Visualization , ...
2
REPLIES
15.9K
VIEWS

Solve for best teams?

QUESTION FROM: Peter Parker | 9 years ago BY: EDITORIAL BOARD
Calculus , Computational Systems , Discrete Mathematics , ...
14
REPLIES
15.6K
VIEWS

In Mathematica 9, how do I check if all list members are True?

QUESTION FROM: Michael Gmirkin | 5 years ago BY: Jason Biggs
Logic and Boolean Algebra , Mathematica , Wolfram Language
16
REPLIES
14.2K
VIEWS

Simplifying between set theory and logical connectives

QUESTION FROM: Greg Ferenstein | 11 years ago BY: Gianluca Gorni
Logic and Boolean Algebra
5
REPLIES
13.9K
VIEWS

Write If-Else Statements using a Module?

QUESTION FROM: Alicia Young | 10 years ago BY: Bianca Eifert
Logic and Boolean Algebra , Symbolic Computations , Wolfram Language
9
REPLIES
13.9K
VIEWS

[WSS17] Automated Theorem Proving for Equational Logic

CONTRIBUTED BY: Jonathan Gorard | 3 years ago BY: Eric Archerman
Staff Picks , Discrete Mathematics , Equation Solving , ...
1
REPLIES
13.6K
VIEWS
1
2
3
4
5

Group Count Group Count

98 Discussions

Group Branding Group Branding

New Discussion New Discussion

ACTIVE MEMBERS ACTIVE MEMBERS

ACTIVE MEMBERS
bharathk98
Bharath Krishnan
10 days ago
tigrannersissian
Tigran Nersissian
1 month ago
lesliegoldberg
Leslie Ann Goldberg
2 months ago
matheo
Matheo Tripnaux
4 months ago
mohammadb
Mohammad Bahrami
6 days ago
vitaliyk
Vitaliy Kaurov
3 days ago
austinjiangboyu
Austin Jiang
10 months ago

RELATED GROUPS RELATED GROUPS

RELATED GROUPS
Algebra 1K discussions 1K subscriptions
Staff Picks 2K discussions 836 subscriptions
Publication Materials 356 discussions 263 subscriptions
Physics 1K discussions 3K subscriptions
Calculus 1K discussions 2K subscriptions
Mathematics 6K discussions 4K subscriptions
Optimization 555 discussions 943 subscriptions