|
[WSRP24] Minimal universal classical and quantum gates
|
|
1
|
9221
|
July 17, 2024
|
|
[WSS24] Finding Minimal Axioms for Ring Theory
|
|
1
|
3507
|
July 12, 2024
|
|
[WSS24] Pre-lie structures of graph rewriting and associated axiom systems
|
|
1
|
3139
|
July 11, 2024
|
|
[WSS24] Study "Logic Puzzle" axiom/proof graphs from TPTP.org
|
|
1
|
4110
|
July 11, 2024
|
|
Set Theory exercise: How to Prove It by Daniel J. Velleman
|
|
3
|
7622
|
May 8, 2024
|
|
Output of BooleanTable issue
|
|
2
|
2852
|
February 19, 2024
|
|
Wolfram alpha image input not working correctly
|
|
0
|
3432
|
January 19, 2024
|
|
[WWS24] Lean Exploration: A Deep Dive into the Wolfram Axiom
|
|
1
|
6801
|
January 16, 2024
|
|
[WSG23] Daily Study Group: Introduction to Discrete Mathematics
|
|
60
|
29469
|
January 3, 2024
|
|
Unexpected output from Reduce?
|
|
3
|
3820
|
December 7, 2023
|
|
[WSS17] Automated Theorem Proving for Equational Logic
|
|
1
|
15295
|
August 21, 2023
|
|
Draw & Simulate Logic Circuits
|
|
2
|
37496
|
August 21, 2023
|
|
[WSRP23] Base N computer simulation: visual analysis and Collatz conjecture
|
|
2
|
11469
|
July 25, 2023
|
|
[WSRP23] Solving logic puzzles based on logical statements
|
|
3
|
13130
|
July 21, 2023
|
|
[WSS23] Towards a homoiconic foundation in the Wolfram Language
|
|
1
|
4947
|
July 13, 2023
|
|
[WSS23] Exploring minimized reversible circuits for n-bit functions
|
|
1
|
6133
|
July 12, 2023
|
|
Experiments with a boolean rewriting system
|
|
5
|
5319
|
March 7, 2023
|
|
[WELP22] Sub-axiomatic foundations of group theory in SK combinators
|
|
1
|
8702
|
January 29, 2023
|
|
logic formula doesn't work in Wolfram Alpha
|
|
4
|
4494
|
January 18, 2023
|
|
[R&DL] Q&A with Calculus & Algebra Developers
|
|
0
|
3002
|
November 21, 2022
|
|
Chess queen armies with SAT solvers
|
|
7
|
12171
|
September 13, 2022
|
|
[WSC22] Boolean logic in SK combinators
|
|
1
|
10193
|
August 4, 2022
|
|
[WSS16] Modal logic in the Wolfram Language
|
|
2
|
19553
|
July 30, 2022
|
|
[WSC22] Generating Crossword Puzzles Out of a Given Set of Words
|
|
3
|
14508
|
July 27, 2022
|
|
Logic syntax on Wolfram|Alpha
|
|
3
|
6904
|
June 28, 2022
|
|
Analyzing a competitive new method for GenerateTiling
|
|
2
|
7752
|
June 28, 2022
|
|
Decently fast SAT solving for wang tiles
|
|
3
|
12152
|
June 22, 2022
|
|
Tell Wolfram|Alpha to interpret NOR and NAND as binary operators?
|
|
4
|
6382
|
June 7, 2022
|
|
An introduction to quantum computing
|
|
3
|
10174
|
May 31, 2022
|
|
Grover's algorithm: a quantum search algorithm
|
|
1
|
10473
|
May 26, 2022
|