×

Found 46 Documents (Results 1–46)

Lagrange’s theorem for binary squares. (English) Zbl 1510.11168

Potapov, Igor (ed.) et al., 43rd international symposium on mathematical foundations of computer science. MFCS 2018, Liverpool, United Kingdom, August 27–31, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 117, Article 18, 14 p. (2018).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Inverse problem for upper asymptotic density. II. (English) Zbl 1158.11006

Cutland, Nigel J. (ed.) et al., Nonstandard methods and applications in mathematics. Wellesley, MA: A K Peters; Urbana, IL: Association for Symbolic Logic (ASL) (ISBN 1-56881-291-4/hbk; 1-56881-292-2/pbk). Lecture Notes in Logic 25, 147-173 (2006).
PDFBibTeX XMLCite

Filter Results by …

Database

all top 5

Year of Publication

all top 3

Main Field