Group Abstract Group Abstract

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

Discussions List Discussions List

[WSG23] Daily Study Group: Introduction to Discrete Mathematics

CONTRIBUTED BY: Marc Vicuna | 1 year ago BY: Marc Vicuna
Discrete Mathematics , Education , Events & Media , ...
60
REPLIES
20.4K
VIEWS

A miracle Sudoku discovery - duplicate bridge

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

Chess queen armies with SAT solvers

CONTRIBUTED BY: Christopher Wolfram | 3 years ago BY: Brad Klee
Staff Picks , Dynamic Interactivity , Game Development , ...
7
REPLIES
9.5K
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 , ...
2
REPLIES
18K
VIEWS

LinearProgramming approach for "best teams" algorithm

CONTRIBUTED BY: Anton Antonov | 8 years ago BY: Peter Parker
Staff Picks , Calculus , Discrete Mathematics , Equation Solving , ...
12
REPLIES
21.1K
VIEWS

Implementing a simple proof assistant and type system

CONTRIBUTED BY: Anthony Hart | 4 years ago BY: stefan veeser
Staff Picks , Algebra , Dynamic Interactivity , ...
5
REPLIES
21.7K
VIEWS

[WSRP24] Constructing combinators for arithmetic and arbitrary-length bitwise operations

CONTRIBUTED BY: Austin Jiang | 1 year ago BY: EDITORIAL BOARD
Staff Picks , Compilation , Computational Systems , ...
1
REPLIES
7.5K
VIEWS

[WSS17] Automated Theorem Proving for Equational Logic

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

Draw & Simulate Logic Circuits

CONTRIBUTED BY: Benjamin Goodman | 2 years ago BY: Dielianhua Dielianhua
Staff Picks , Dynamic Interactivity , Electrical Engineering , ...
2
REPLIES
33.8K
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

[WSRP23] Base N computer simulation: visual analysis and Collatz conjecture

CONTRIBUTED BY: Tyler Rose | 2 years ago BY: EDITORIAL BOARD
Staff Picks , Compilation , Computational Systems , ...
2
REPLIES
8.6K
VIEWS

[WSS24] Finding Minimal Axioms for Ring Theory

CONTRIBUTED BY: Tate Allen | 1 year ago BY: EDITORIAL BOARD
Staff Picks , Algebra , Computer-Based Maths , ...
1
REPLIES
2.2K
VIEWS

[WSS16] Modal logic in the Wolfram Language

CONTRIBUTED BY: Jaime Sevilla | 3 years ago BY: Michael Kelly
Staff Picks , Logic and Boolean Algebra , Mathematics , ...
2
REPLIES
17.3K
VIEWS

Solving Hidato, Beehive, and Numbrix puzzles

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

Using Meta programming + Compile to speed up Backtracking algorithm

CONTRIBUTED BY: Hongyang Cao | 6 months ago BY: Christopher French
Compilation , Computer Science , Logic and Boolean Algebra , ...
1
REPLIES
6.3K
VIEWS

[WSS24] Pre-lie structures of graph rewriting and associated axiom systems

CONTRIBUTED BY: Fernando Olivie Méndez Méndez | 1 year ago BY: EDITORIAL BOARD
Staff Picks , Graphics and Visualization , Graphs and Networks , ...
1
REPLIES
2K
VIEWS

[WSS24] Study "Logic Puzzle" axiom/proof graphs from TPTP.org

CONTRIBUTED BY: Arihant Gadgade | 1 year ago BY: EDITORIAL BOARD
Staff Picks , External Programs and Systems , ...
1
REPLIES
2.6K
VIEWS

Set Theory exercise: How to Prove It by Daniel J. Velleman

CONTRIBUTED BY: Emerson Alex Villafuerte Jara | 1 year ago BY: Ahmed Elbanna
Staff Picks , Curated Data , Group Theory , ...
3
REPLIES
5K
VIEWS

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

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

[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] Generating Crossword Puzzles Out of a Given Set of Words

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

An introduction to quantum computing

CONTRIBUTED BY: Roman Parker | 3 years ago BY: Roman Parker
Staff Picks , Computer Science , Logic and Boolean Algebra , ...
3
REPLIES
8.6K
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

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

Reading and solving Garam puzzles

CONTRIBUTED BY: David Gathercole | 10 years ago
Game Development , Graphics and Visualization , Image Processing , ...
0
REPLIES
10.4K
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

Insights from Chapter 1 of Introduction to Classical and Quantum Computing

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

Solve for best teams?

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

[WSRP24] Study of Hash Probing on a Graph

CONTRIBUTED BY: David Wang | 0 months ago BY: Steven Verrall
Staff Picks , Computer Science , Dynamic Interactivity , ...
4
REPLIES
5.9K
VIEWS

[WSRP24] Minimal universal classical and quantum gates

CONTRIBUTED BY: Christopher Gilbert | 1 year ago BY: EDITORIAL BOARD
Staff Picks , Graphics and Visualization , ...
1
REPLIES
5K
VIEWS

[WWS24] Lean Exploration: A Deep Dive into the Wolfram Axiom

CONTRIBUTED BY: Shriya Thakur | 1 year ago BY: EDITORIAL BOARD
Staff Picks , Computer-Based Maths , Computer Science , ...
1
REPLIES
3.6K
VIEWS

Unexpected output from Reduce?

QUESTION FROM: Cody Luo | 2 years ago BY: Henrik Schachner
Equation Solving , Logic and Boolean Algebra , Mathematics , ...
3
REPLIES
2.8K
VIEWS

[WSRP23] Solving logic puzzles based on logical statements

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

Decently fast SAT solving for wang tiles

CONTRIBUTED BY: Brad Klee | 3 years ago BY: Dean Gladish
Staff Picks , Computational Humanities , Discrete Mathematics , ...
3
REPLIES
8.2K
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

Dirac gamma matrices and non-commutative algebra

CONTRIBUTED BY: Mohammad Bahrami | 1 month ago BY: EDITORIAL BOARD
Staff Picks , Algebra , Logic and Boolean Algebra , Mathematics , ...
1
REPLIES
931
VIEWS

[WSRP25] Minimal assumptions for mathematics

CONTRIBUTED BY: River Yu | 2 months ago BY: EDITORIAL BOARD
Staff Picks , Algebra , Graphics and Visualization , ...
1
REPLIES
1K
VIEWS

[WSRP24] An approximated simulation of fluidic logic gates

CONTRIBUTED BY: Michael Bao | 1 year ago BY: EDITORIAL BOARD
Staff Picks , Graphics and Visualization , ...
1
REPLIES
5.3K
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

Specify an optional boolean parameter with a default value?

QUESTION FROM: Werner Geiger | 4 years ago BY: Werner Geiger
Logic and Boolean Algebra , Wolfram Language
4
REPLIES
5.8K
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

[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

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

QUESTION FROM: Michael Gmirkin | 4 years ago BY: Jason Biggs
Logic and Boolean Algebra , Mathematica , Wolfram Language
16
REPLIES
12.6K
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

Binary Counter: new downloadable SystemModeler example

CONTRIBUTED BY: Patrik Ekenberg | 9 years ago
Events & Media , Logic and Boolean Algebra , Modeling , Robotics , ...
0
REPLIES
5.6K
VIEWS

How can a Boolean representation be displayed as symbolic algebra?

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

Exploring 1D repeating logic gate arrays

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

Does there exist a Rule that performs instead of being a replacement rule?

QUESTION FROM: Joshua Champion | 6 years ago BY: John Doty
Computer Science , Logic and Boolean Algebra , Wolfram Language
5
REPLIES
9.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
10K
VIEWS

Deduct by the rules for two schemes?

QUESTION FROM: Math Logic | 6 years ago BY: Math Logic
Discrete Mathematics , Logic and Boolean Algebra , Mathematics , ...
4
REPLIES
9.9K
VIEWS

Use IF, condition with {} ?

QUESTION FROM: margherita ferrucci | 8 years ago BY: margherita ferrucci
Logic and Boolean Algebra , Mathematics , Wolfram Language
2
REPLIES
9.3K
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
7K
VIEWS

Quantum Games: multi-player CHSH game

CONTRIBUTED BY: Mohammad Bahrami | 7 months ago BY: EDITORIAL BOARD
Staff Picks , Graphics and Visualization , ...
1
REPLIES
2.2K
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.8K
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

Is there an inconsistency with BooleanConvert[]?

QUESTION FROM: Raspi Rascal | 5 years ago BY: Mike Besso
Logic and Boolean Algebra , Wolfram Language
2
REPLIES
5.3K
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.8K
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

[WSC18] Using Multilevel NAND trees to Create XOR Expressions

QUESTION FROM: Ben Huenemann | 7 years ago
Computer Science , Graphics and Visualization , Graphs and Networks , ...
0
REPLIES
7.9K
VIEWS

[WSC17] Using Kleene and Priest Logic Rules to Create Ternary Logic Tables

QUESTION FROM: Taha Shaikh | 8 years ago
Algebra , Computer-Based Maths , Computer Science , ...
0
REPLIES
10.1K
VIEWS

Simplifying between set theory and logical connectives

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

Problem with PiecewiseExpand??

QUESTION FROM: David Barrows | 12 years ago BY: David Barrows
Logic and Boolean Algebra , Mathematica
5
REPLIES
10.4K
VIEWS

Output of BooleanTable issue

QUESTION FROM: Tony Van Haagen | 1 year ago BY: Tony Van Haagen
Logic and Boolean Algebra , Mathematics , Wolfram Language
2
REPLIES
1.9K
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
4.1K
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

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

Verified programming

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

Optimization using Nminimize

QUESTION FROM: Gowtham A | 6 years ago BY: Gowtham A
Engineering , Equation Solving , Logic and Boolean Algebra , ...
3
REPLIES
8.3K
VIEWS

[?] Rearrange the following binary data?

QUESTION FROM: Christos Papahristodoulou | 7 years ago BY: Christos Papahristodoulou
Algebra , Data Science , Logic and Boolean Algebra , Mathematics , ...
6
REPLIES
8.3K
VIEWS

Write If-Else Statements using a Module?

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

Universal bitwise function composition from Church numerals in lambda calculus

CONTRIBUTED BY: Austin Jiang | 2 months ago BY: EDITORIAL BOARD
Staff Picks , Algebra , Calculus , Logic and Boolean Algebra , ...
1
REPLIES
1.8K
VIEWS

What is the precedence of logical operators in Wolfram Language

QUESTION FROM: Thomas Barson | 7 months ago BY: Thomas Barson
Logic and Boolean Algebra , Mathematics , Wolfram Language
5
REPLIES
1.8K
VIEWS

Logic syntax on Wolfram|Alpha

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

Compute the prime implicants of a Boolean function?

QUESTION FROM: Francisco Gutierrez | 3 years ago BY: Francisco Gutierrez
Algebra , Logic and Boolean Algebra , Mathematics , Wolfram Language
2
REPLIES
4.9K
VIEWS

Convert if function to logical expression?

QUESTION FROM: Dr Fog | 4 years ago BY: Dr Fog
Logic and Boolean Algebra , Wolfram Language
2
REPLIES
4.9K
VIEWS

Is there a list of logical rectangular matrices with a pseudoinverse?

QUESTION FROM: Douglas Youvan | 5 years ago
Logic and Boolean Algebra , Mathematics , Numerical Computation , ...
0
REPLIES
5.5K
VIEWS

Getting off the ground with FindEquationalProof

QUESTION FROM: Brian Tenneson | 5 years ago BY: Yehuda Ben-Shimol
Logic and Boolean Algebra , Mathematics , Wolfram Language
5
REPLIES
8.6K
VIEWS

Why is Resolve not reducing my set?

QUESTION FROM: Yue Li | 6 years ago BY: Yue Li
Equation Solving , Logic and Boolean Algebra , Mathematics , ...
6
REPLIES
8.5K
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

Boolean algebra, engineering format

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

Avoid problem with for- and when-loops for finding table values in SM?

QUESTION FROM: Martin Nilsson | 8 years ago BY: Martin Nilsson
Control Systems , Discrete Mathematics , Engineering , ...
3
REPLIES
11.8K
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

Convert from a closed form to the truth table using Boolean functions?

QUESTION FROM: Mary Shepard | 8 years ago BY: Hans Milton
Logic and Boolean Algebra , Mathematics , Wolfram Language
2
REPLIES
9.3K
VIEWS

Limit Databin value to Booleans only?

QUESTION FROM: Ville Saalo | 8 years ago BY: Ville Saalo
Data Drop , Interface Construction , Logic and Boolean Algebra , ...
1
REPLIES
8.3K
VIEWS

Evaluate logical expressions using the IMPLIES operator with 8 var in W|A?

QUESTION FROM: Ben Elo | 9 years ago BY: Daniel Lichtblau
Logic and Boolean Algebra , Mathematics , Wolfram|Alpha
2
REPLIES
9.6K
VIEWS

Comparison of variables

QUESTION FROM: Gerlinde Mientus | 10 years ago BY: Gerlinde Mientus
Economics , Logic and Boolean Algebra , Mathematica , Wolfram Language
2
REPLIES
9.2K
VIEWS

Labelling Special Edges of a Hasse Diagram

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

Toggling flip-flop does not work :-(

QUESTION FROM: Fulvio Spagna | 10 years ago BY: Johan Rhodin
Engineering , Logic and Boolean Algebra , SystemModeler
1
REPLIES
11.7K
VIEWS

Define a complex number

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

Advanced Linear Programming

QUESTION FROM: nadav luboshitz | 11 years ago BY: Daniel Lichtblau
Logic and Boolean Algebra , Mathematica , Optimization , ...
1
REPLIES
7.1K
VIEWS

Mystery regarding use of Sequence function ...

QUESTION FROM: Mark Tuttle | 11 years ago BY: Mark Tuttle
Logic and Boolean Algebra , Mathematica , Wolfram Language
2
REPLIES
6.6K
VIEWS

Problem with conditionals

QUESTION FROM: Rafael Dettogni | 11 years ago BY: Rafael Dettogni
Compilation , Dynamic Interactivity , High-Performance Computing , ...
2
REPLIES
11.2K
VIEWS

BooleanRegion and RegionDifference unable to accomodate certain 3D regions

QUESTION FROM: Bryan Lettner | 11 years ago BY: Nasser M. Abbasi
Geometry , Graphics and Visualization , Import and Export , ...
1
REPLIES
10.7K
VIEWS

Implement Sequent calculus into mathematica

QUESTION FROM: Nickel Paulsen | 11 years ago BY: Sean Clarke
Logic and Boolean Algebra , Mathematica , Mathematics
1
REPLIES
9.7K
VIEWS
1
2

Group Count Group Count

97 Discussions

Group Branding Group Branding

New Discussion New Discussion

ACTIVE MEMBERS ACTIVE MEMBERS

ACTIVE MEMBERS
mohammadb
Mohammad Bahrami
2 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
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