scientific article; zbMATH DE number 3183053
From MaRDI portal
Publication:3849889
Cited in
(7)- A certified program for the Karatsuba method to multiply polynomials
- On a machine-checked proof for fraction arithmetic over a GCD domain
- Infinity and verifiability in Carnap's inductive logic
- Pluralism in logic: the square of opposition, Leibniz principle of sufficient reason and Markov's principle
- On a finitary version of mathematical analysis
- On complete and almost complete constructive metric spaces
- Computably enumerable sets of reals in constructive mathematical analysis
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3849889)
