Group Abstract

«Groups

Logic and Boolean Algebra

Join

Logical operators, Boolean computation and vector operations, mathematical logic...

Discussions List

QuickCheck: a package for automated property-based testing

CONTRIBUTED BY: Pedro Cabral | 4 years ago BY: EDITORIAL BOARD

LIKES

REPLIES

VIEWS

A miracle Sudoku discovery - duplicate bridge

CONTRIBUTED BY: Ed Pegg | 4 years ago BY: EDITORIAL BOARD

Staff Picks , Discrete Mathematics , Graphics and Visualization , ...

LIKES

REPLIES

16K

VIEWS

Implementing a simple proof assistant and type system

CONTRIBUTED BY: Anthony Hart | 4 years ago BY: stefan veeser

Staff Picks , Algebra , Dynamic Interactivity , ...

LIKES

REPLIES

21.7K

VIEWS

Verified programming

CONTRIBUTED BY: José Manuel Rodríguez Caballero | 4 years ago

Computer Science , Data Science , Logic and Boolean Algebra , ...

LIKES

REPLIES

VIEWS

Incoherent optical MTF: analytical calculations

CONTRIBUTED BY: Mel Friedman | 4 years ago BY: EDITORIAL BOARD

Staff Picks , Calculus , Graphics and Visualization , ...

LIKES

REPLIES

6.5K

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 , ...

LIKES

REPLIES

2.8K

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

LIKES

REPLIES

5.9K

VIEWS

Syntax for a logical / programming / natural language mix

CONTRIBUTED BY: Eric Parfitt | 6 years ago

Computational Linguistics , Logic and Boolean Algebra , Mathematica , ...

LIKES

REPLIES

3.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 , ...

LIKES

REPLIES

14.7K

VIEWS

[WSC19] Implementing a Tsetlin Machine Framework

CONTRIBUTED BY: Dmitri Volkov | 6 years ago

Computational Systems , Data Science , Logic and Boolean Algebra , ...

LIKES

REPLIES

10K

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 , ...

LIKES

REPLIES

22K

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 , ...

LIKES

REPLIES

11.2K

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 , ...

LIKES

REPLIES

18K

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 , ...

LIKES

REPLIES

9.5K

VIEWS

Boolean algebra, engineering format

CONTRIBUTED BY: Eric Johnstone | 7 years ago

Algebra , Control Systems , Discrete Mathematics , Engineering , ...

LIKES

REPLIES

7.7K

VIEWS

LinearProgramming approach for "best teams" algorithm

CONTRIBUTED BY: Anton Antonov | 8 years ago BY: Peter Parker

Staff Picks , Calculus , Discrete Mathematics , Equation Solving , ...

LIKES

REPLIES

21.1K

VIEWS

Binary Counter: new downloadable SystemModeler example

CONTRIBUTED BY: Patrik Ekenberg | 9 years ago

Events & Media , Logic and Boolean Algebra , Modeling , Robotics , ...

LIKES

REPLIES

5.6K

VIEWS

Solving Hidato, Beehive, and Numbrix puzzles

CONTRIBUTED BY: Sander Huisman | 9 years ago BY: Sander Huisman

Staff Picks , Equation Solving , Game Development , ...

LIKES

REPLIES

24.8K

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 , ...

LIKES

REPLIES

VIEWS

Reading and solving Garam puzzles

CONTRIBUTED BY: David Gathercole | 10 years ago

Game Development , Graphics and Visualization , Image Processing , ...

LIKES

REPLIES

10.4K

VIEWS

Group Count

97 Discussions

Group Branding

New Discussion

ACTIVE MEMBERS

2 days ago

2 months ago

26 days ago

3 months ago

1 month ago

8 months ago

1 year ago

RELATED GROUPS

Wolfram Language 11K discussions 2K subscriptions

Physics 1K discussions 3K subscriptions

Mathematics 6K discussions 4K subscriptions

Staff Picks 1K discussions 806 subscriptions

Symbolic Computations 890 discussions 728 subscriptions

Algebra 996 discussions 1K subscriptions

Feedback