×

Found 526 Documents (Results 1–100)

100
MathJax

Degrees of enumerations of countable Wehner-like families. (English. Russian original) Zbl 07364538

J. Math. Sci., New York 256, No. 1, 51-60 (2021); translation from Itogi Nauki Tekh., Ser. Sovrem. Mat. Prilozh., Temat. Obz. 157, 59-69 (2018).
MSC:  03D20 03D45
PDF BibTeX XML Cite
Full Text: DOI

Point-free spectra of linear spreads. (English) Zbl 1476.03078

Centrone, Stefania (ed.) et al., Mathesis universalis, computability and proof. Based on the Humboldt-Kolleg “Proof theory as mathesis universalis”, held at the German-Italian Centre for European Excellence, Villa Vigoni, Loveno di Menaggio, Como, Italy, July 24–28, 2017. Cham: Springer. Synth. Libr. 412, 353-374 (2019).
PDF BibTeX XML Cite
Full Text: DOI

Improvements to exact Boltzmann sampling using probabilistic divide-and-conquer and the recursive method. (English) Zbl 1433.62030

Fédou, Jean-Marc (ed.) et al., Random generation of combinatorial structures – GASCom 2016. Proceedings of the 10th GASCom conference, Centre IGESA, La Marana, Corsica, France, June 1 – June 4, 2016. Amsterdam: Elsevier. Electron. Notes Discrete Math. 59, 65-77 (2017).
MSC:  62D05 68R05
PDF BibTeX XML Cite
Full Text: DOI arXiv

Generation of digital planes using generalized continued-fractions algorithms. (English) Zbl 1430.94021

Normand, Nicolas (ed.) et al., Discrete geometry for computer imagery. 19th IAPR international conference, DGCI 2016, Nantes, France, April 18–20, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9647, 45-56 (2016).
MSC:  94A08
PDF BibTeX XML Cite
Full Text: DOI

A note on the computable categoricity of \(\ell ^p\) spaces. (English) Zbl 1461.03044

Beckmann, Arnold (ed.) et al., Evolving computability. 11th conference on computability in Europe, CiE 2015, Bucharest, Romania, June 29 – July 3, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9136, 268-275 (2015).
PDF BibTeX XML Cite
Full Text: DOI arXiv

Box-counting fractal strings, zeta functions, and equivalent forms of Minkowski dimension. (English) Zbl 1321.11096

Carfì, David (ed.) et al., Fractal geometry and dynamical systems in pure and applied mathematics I: Fractals in pure mathematics. Selected papers based on three conferences following the passing of Benoît Mandelbrot in October 2010. 1st PISRS 2011 international conference on analysis, fractal geometry, dynamical systems and economics, Messina, Italy, November 8–12, 2011, AMS special session on fractal geometry in pure and applied mathematics, in memory of Benoît Mandelbrot, Boston, MA, USA, January 2012, AMS special session on geometry and analysis on fractal spaces, Honolulu, HI, USA, March 2012. Providence, RI: American Mathematical Society (AMS) (ISBN 978-0-8218-9147-6/pbk; 978-1-4704-1082-7/ebook). Contemporary Mathematics 600, 239-271 (2013).
PDF BibTeX XML Cite
Full Text: DOI arXiv

Multifractal analysis via scaling zeta functions and recursive structure of lattice strings. (English) Zbl 1321.28023

Carfì, David (ed.) et al., Fractal geometry and dynamical systems in pure and applied mathematics I: Fractals in pure mathematics. Selected papers based on three conferences following the passing of Benoît Mandelbrot in October 2010. 1st PISRS 2011 international conference on analysis, fractal geometry, dynamical systems and economics, Messina, Italy, November 8–12, 2011, AMS special session on fractal geometry in pure and applied mathematics, in memory of Benoît Mandelbrot, Boston, MA, USA, January 2012, AMS special session on geometry and analysis on fractal spaces, Honolulu, HI, USA, March 2012. Providence, RI: American Mathematical Society (AMS) (ISBN 978-0-8218-9147-6/pbk; 978-1-4704-1082-7/ebook). Contemporary Mathematics 600, 205-238 (2013).
PDF BibTeX XML Cite
Full Text: DOI arXiv

The classification problem for compact computable metric spaces. (English) Zbl 1433.03153

Bonizzoni, Paola (ed.) et al., The nature of computation. Logic, algorithms, applications. 9th conference on computability in Europe, CiE 2013, Milan, Italy, July 1–5, 2013. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 7921, 320-328 (2013).
MSC:  03F60 03C57 03D45
PDF BibTeX XML Cite
Full Text: DOI Link

Matrix computations. 4th ed. (English) Zbl 1268.65037

Johns Hopkins Studies in the Mathematical Sciences. Baltimore, MD: The Johns Hopkins University Press (ISBN 978-1-4214-0794-4/hbk; 978-1-4214-0859-0/ebook). xxi, 756 p. (2013).
PDF BibTeX XML Cite

Limitwise monotonic functions and their applications. (English) Zbl 1279.03063

Arai, Toshiyasu (ed.) et al., Proceedings of the 11th Asian logic conference in honor of Professor Chong Chitat on his 60th birthday, National University of Singapore, Singapore, June 22–27, 2009. Hackensack, NJ: World Scientific (ISBN 978-981-4360-53-1/hbk; 978-981-4360-54-8/ebook). 59-85 (2012).
PDF BibTeX XML Cite
Full Text: DOI Link

A category theoretic view of nondeterministic recursive program schemes. (English) Zbl 1247.68062

Bezem, Marc (ed.), Computer science logic (CSL’11). 25th international workshop, 20th annual conference of the EACSL, Bergen, Norway, September 12–15, 2011. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-32-3). LIPIcs – Leibniz International Proceedings in Informatics 12, 496-511, electronic only (2011).
MSC:  68N30 18C10
PDF BibTeX XML Cite
Full Text: DOI Link

Logspace without bounds. (English) Zbl 1233.03047

Schindler, Ralf (ed.), Ways of proof theory. Collected papers by speakers of the colloquium and workshop held on the occasion of the retirement of Wolfram Pohlers, July 17–19, 2008, Münster, Germany. Frankfurt am Main: Ontos Verlag (ISBN 978-3-86838-087-3/hbk). Ontos Mathematical Logic 2, 355-362 (2010).
PDF BibTeX XML Cite

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Classification

all top 3

Software