- program that decides statements in real, complex and Presburger arithmetic http://xorshammer.com/2009/05/14/a-suite-of-cool-logic-programs/ 4 comments math
Linking pages
- Mathematica and Quantifier Elimination – XOR’s Hammer http://xorshammer.com/2011/12/15/mathematica-and-quantifier-elimination/ 0 comments
- But Why Is Proof by Contradiction Non-Constructive? – XOR’s Hammer https://xorshammer.com/2021/04/08/but-why-is-proof-by-contradiction-non-constructive/ 0 comments
Related searches:
Search whole site: site:xorshammer.com
Search title: A Suite of Cool Logic Programs – XOR’s Hammer
See how to search.