×

zbMATH — the first resource for mathematics

Found 925 Documents (Results 1–100)

Hits per Page
100
Display Format
MathJax
Result Sorting
Newest 1st
Goloveshkin, V. A.; Solov’ev, S. Yu.
Error estimate for the displacement method. (English. Russian original) Zbl 07157095
Mosc. Univ. Comput. Math. Cybern. 43, No. 2, 65-73 (2019); translation from Vestn. Mosk. Univ., Ser. XV 2019, No. 2, 19-27 (2019).
MSC:  68Q 68W
PDF BibTeX XML Cite
\textit{V. A. Goloveshkin} and \textit{S. Yu. Solov'ev}, Mosc. Univ. Comput. Math. Cybern. 43, No. 2, 65--73 (2019; Zbl 07157095); translation from Vestn. Mosk. Univ., Ser. XV 2019, No. 2, 19--27 (2019)
Full Text: DOI
Genze, L. V.; Gulko, S. P.; Khmyleva, T. E.
A complete topological classification of the space of Baire functions on ordinals. (English. Russian original) Zbl 1418.54007
Sib. Math. J. 59, No. 6, 1006-1013 (2018); translation from Sib. Mat. Zh. 59, No. 6, 1268-1278 (2018).
Reviewer: Abderrahmane Bouchair (Jijel)
MSC:  54C35 03F15
PDF BibTeX XML Cite
\textit{L. V. Genze} et al., Sib. Math. J. 59, No. 6, 1006--1013 (2018; Zbl 1418.54007); translation from Sib. Mat. Zh. 59, No. 6, 1268--1278 (2018)
Full Text: DOI
Capretta, Venanzio; Fowler, Jonathan
The continuity of monadic stream functions. (English) Zbl 1452.03137
Proceedings of the 2017 32nd annual ACM/IEEE symposium on logic in computer science, LICS 2017, Reykjavík University, Reykjavík, Iceland, June 20–23, 2017. Piscataway, NJ: IEEE Press. Article No. 59, 12 p. (2017).
MSC:  03F60 03F55 03B38 18C15 68N18
PDF BibTeX XML Cite
\textit{V. Capretta} and \textit{J. Fowler}, in: Proceedings of the 2017 32nd annual ACM/IEEE symposium on logic in computer science, LICS 2017, Reykjavík University, Reykjavík, Iceland, June 20--23, 2017. Piscataway, NJ: IEEE Press. Article No. 59, 12 p. (2017; Zbl 1452.03137)
Full Text: Link
Escardó, Martín H.; Knapp, Cory M.
Partial elements and recursion via dominances in univalent type theory. (English) Zbl 1434.03037
Goranko, Valentin (ed.) et al., 26th EACSL annual conference on computer science logic, CSL 2017, Stockholm, Sweden, August 20–24, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 82, Article 21, 16 p. (2017).
MSC:  03B38 03D20 03F60
PDF BibTeX XML Cite
\textit{M. H. Escardó} and \textit{C. M. Knapp}, LIPIcs -- Leibniz Int. Proc. Inform. 82, Article 21, 16 p. (2017; Zbl 1434.03037)
Full Text: DOI
Oprzędkiewicz, Krzysztof; Mitkowski, Wojciech
Accuracy analysis for fractional order transfer function models with delay. (English) Zbl 1425.93138
Babiarz, Artur (ed.) et al., Theory and applications of non-integer order systems. Papers of the 8th conference on non-integer order calculus and its applications, Zakopane, Poland, September 20–21, 2016. Cham: Springer. Lect. Notes Electr. Eng. 407, 253-263 (2017).
MSC:  93C23 34K37 41A21
PDF BibTeX XML Cite
\textit{K. Oprzędkiewicz} and \textit{W. Mitkowski}, Lect. Notes Electr. Eng. 407, 253--263 (2017; Zbl 1425.93138)
Full Text: DOI
Zhukov, V. V.
The asymptotically best method for synthesizing limited-depth Boolean recursive schemes. (English. Russian original) Zbl 1388.94095
Mosc. Univ. Comput. Math. Cybern. 41, No. 3, 134-141 (2017); translation from Vestn. Mosk. Univ., Ser. XV 2017, No. 3, 29-35 (2017).
Reviewer: Antonio Linero Bas (Murcia)
MSC:  94C10
PDF BibTeX XML Cite
\textit{V. V. Zhukov}, Mosc. Univ. Comput. Math. Cybern. 41, No. 3, 134--141 (2017; Zbl 1388.94095); translation from Vestn. Mosk. Univ., Ser. XV 2017, No. 3, 29--35 (2017)
Full Text: DOI
Kowalenko, Victor
The partition method for a power series expansion. Theory and applications. (English) Zbl 1371.41001
Amsterdam: Elsevier/Academic Press (ISBN 978-0-12-804466-7/hbk; 978-0-12-804511-4/ebook). ix, 302 p. (2017).
Reviewer: Neha Malik (New Delhi)
MSC:  41-02 41A58 05-02 05A17 05C85 11P81 11P82 40A20
PDF BibTeX XML Cite
\textit{V. Kowalenko}, The partition method for a power series expansion. Theory and applications. Amsterdam: Elsevier/Academic Press (2017; Zbl 1371.41001)
Full Text: Link
Wainer, Stanley S.
Pointwise transfinite induction and a miniaturized predicativity. (English) Zbl 1439.03102
Kahle, Reinhard (ed.) et al., Advances in proof theory. Proceedings of the symposium, on the occasion of the 60th birthday of Gerhard Jäger, Bern, Switzerland, December 13–14, 2013. Basel: Birkhäuser/Springer. Prog. Comput. Sci. Appl. Log. 28, 409-425 (2016).
MSC:  03F15 03F30
PDF BibTeX XML Cite
\textit{S. S. Wainer}, Prog. Comput. Sci. Appl. Log. 28, 409--425 (2016; Zbl 1439.03102)
Full Text: DOI
de Vries, Fer-Jan
On undefined and meaningless in lambda definability. (English) Zbl 1387.68074
Kesner, Delia (ed.) et al., 1st international conference on formal structures for computation and deduction, FSCD 2016, Porto, Portugal, June 22–26, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-010-1). LIPIcs – Leibniz International Proceedings in Informatics 52, Article 18, 15 p. (2016).
MSC:  68N30 03B40
PDF BibTeX XML Cite
\textit{F.-J. de Vries}, LIPIcs -- Leibniz Int. Proc. Inform. 52, Article 18, 15 p. (2016; Zbl 1387.68074)
Full Text: DOI
Pour-El, Marian B.; Richards, J. Ian
Computability in analysis and physics. Reprint of the 1989 original published by Springer. (English) Zbl 1365.03010
Perspectives in Logic. Cambridge: Cambridge University Press; Urbana, IL: Association for Symbolic Logic (ASL) (ISBN 978-1-107-16844-2/hbk; 978-1-316-71732-5/ebook). x, 206 p. (2016).
MSC:  03-02 46-02 03F60 46S30 03D80
PDF BibTeX XML Cite
\textit{M. B. Pour-El} and \textit{J. I. Richards}, Computability in analysis and physics. Reprint of the 1989 original published by Springer. Cambridge: Cambridge University Press; Urbana, IL: Association for Symbolic Logic (ASL) (2016; Zbl 1365.03010)
Full Text: DOI
Mazzanti, S.
Unbounded recursion and non-size-increasing functions. (English) Zbl 1345.03077
Crescenzi, Pierluigi (ed.) et al., Proceedings of ICTCS 2015, the 16th Italian conference on theoretical computer science, Firenze, Italy, September 9–11, 2015. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 322, 197-210, electronic only (2016).
MSC:  03D20 68Q15
PDF BibTeX XML Cite
\textit{S. Mazzanti}, Electron. Notes Theor. Comput. Sci. 322, 197--210 (2016; Zbl 1345.03077)
Full Text: DOI
Escardó, Martín Hötzel; Xu, Chuangjie
The inconsistency of a Brouwerian continuity principle with the Curry-Howard interpretation. (English) Zbl 1433.03030
Altenkirch, Thorsten (ed.), 13th international conference on typed lambda calculi and applications, TLCA’15, Warsaw, Poland, July 1–3, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 38, 153-164 (2015).
MSC:  03B38 03B40 03F60 18B25
PDF BibTeX XML Cite
\textit{M. H. Escardó} and \textit{C. Xu}, LIPIcs -- Leibniz Int. Proc. Inform. 38, 153--164 (2015; Zbl 1433.03030)
Full Text: DOI
Tyszka, Apoloniusz
All functions \(g:\mathbb N\to\mathbb N\) which have a single-fold Diophantine representation are dominated by a limit-computable function \(f:\mathbb N\backslash\{0\}\to\mathbb N\) which is implemented in MuPAD and whose computability is an open problem. (English) Zbl 1349.03041
Daras, Nicholas J. (ed.) et al., Computation, cryptography, and network security. Cham: Springer (ISBN 978-3-319-18274-2/hbk; 978-3-319-18275-9/ebook). 577-590 (2015).
MSC:  03D20 11U05
PDF BibTeX XML Cite
\textit{A. Tyszka}, in: Computation, cryptography, and network security. Cham: Springer. 577--590 (2015; Zbl 1349.03041)
Full Text: DOI arXiv

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