The following pages link to (Q3849889):
Displayed 5 items.
- A certified program for the Karatsuba method to multiply polynomials (Q2132545) (← links)
- On a machine-checked proof for fraction arithmetic over a GCD domain (Q2217198) (← links)
- Infinity and verifiability in Carnap's inductive logic (Q2446679) (← links)
- Pluralism in Logic: The Square of Opposition, Leibniz’ Principle of Sufficient Reason and Markov’s Principle (Q4915583) (← links)
- On a finitary version of mathematical analysis (Q5957917) (← links)