×

zbMATH — the first resource for mathematics

Found 19,736 Documents (Results 1–100)

Hits per Page
100
Display Format
MathJax
Result Sorting
Newest 1st
N’Guessan, Marc-Arthur; Massot, Marc; Séries, Laurent; Tenaud, Christian
High order time integration and mesh adaptation with error control for incompressible Navier-Stokes and scalar transport resolution on dual grids. (English) Zbl 07305192
J. Comput. Appl. Math. 387, Article ID 112542, 16 p. (2021).
Reviewer: Victor Michel-Dansac (Strasbourg)
MSC:  65M08 65M50 65L06 76D05 76D17 80A25 80A32
PDF BibTeX XML Cite
\textit{M.-A. N'Guessan} et al., J. Comput. Appl. Math. 387, Article ID 112542, 16 p. (2021; Zbl 07305192)
Full Text: DOI
Pastukhova, S. E.
A posteriori estimates of the deviation from exact solutions to variational problems under nonstandard coerciveness and growth conditions. (English. Russian original) Zbl 07296447
St. Petersbg. Math. J. 32, No. 1, 39-57 (2021); translation from Algebra Anal. 32, No. 1, 51-77 (2020).
MSC:  49J40 49N15
PDF BibTeX XML Cite
\textit{S. E. Pastukhova}, St. Petersbg. Math. J. 32, No. 1, 39--57 (2021; Zbl 07296447); translation from Algebra Anal. 32, No. 1, 51--77 (2020)
Full Text: DOI
Dutta, J.; Kundu, B.
Exact analysis for the temperature response in tumours for three-dimensional heat transfer during the therapeutic time. (English. Russian original) Zbl 07314888
J. Appl. Mech. Tech. Phys. 61, No. 6, 955-963 (2020); translation from Prikl. Mekh. Tekh. Fiz. 61, No. 6, 56-65 (2020).
MSC:  92C50 80A19
PDF BibTeX XML Cite
\textit{J. Dutta} and \textit{B. Kundu}, J. Appl. Mech. Tech. Phys. 61, No. 6, 955--963 (2020; Zbl 07314888); translation from Prikl. Mekh. Tekh. Fiz. 61, No. 6, 56--65 (2020)
Full Text: DOI
Kryuchkov, N. I.
Homological properties of quotient divisible Abelian groups and compact groups dual to them. (English. Russian original) Zbl 07311026
Vestn. St. Petersbg. Univ., Math. 53, No. 2, 149-154 (2020); translation from Vestn. St-Peterbg. Univ., Ser. I, Mat. Mekh. Astron. 7(65), No. 2, 236-244 (2020).
MSC:  20K
PDF BibTeX XML Cite
\textit{N. I. Kryuchkov}, Vestn. St. Petersbg. Univ., Math. 53, No. 2, 149--154 (2020; Zbl 07311026); translation from Vestn. St-Peterbg. Univ., Ser. I, Mat. Mekh. Astron. 7(65), No. 2, 236--244 (2020)
Full Text: DOI
Dressler, Mareike; Heuer, Janin; Naumann, Helen; de Wolff, Timo
Global optimization via the dual SONC cone and linear programming. (English) Zbl 07300064
Mantzaflaris, Angelos (ed.), Proceedings of the 45th international symposium on symbolic and algebraic computation, ISSAC ’20, Kalamata, Greece, July 20–23, 2020. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-7100-1). 138-145 (2020).
MSC:  68W30
PDF BibTeX XML Cite
\textit{M. Dressler} et al., in: Proceedings of the 45th international symposium on symbolic and algebraic computation, ISSAC '20, Kalamata, Greece, July 20--23, 2020. New York, NY: Association for Computing Machinery (ACM). 138--145 (2020; Zbl 07300064)
Full Text: DOI
Koenig, Jérémie; Shao, Zhong
Refinement-based game semantics for certified abstraction layers. (English) Zbl 07299501
Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8–11, 2020. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-7104-9). 633-647 (2020).
MSC:  68
PDF BibTeX XML Cite
\textit{J. Koenig} and \textit{Z. Shao}, in: Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8--11, 2020. New York, NY: Association for Computing Machinery (ACM). 633--647 (2020; Zbl 07299501)
Full Text: DOI
Katsumata, Shin-ya; Rivas, Exequiel; Uustalu, Tarmo
Interaction laws of monads and comonads. (English) Zbl 07299499
Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8–11, 2020. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-7104-9). 604-618 (2020).
MSC:  03B70
PDF BibTeX XML Cite
\textit{S.-y. Katsumata} et al., in: Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8--11, 2020. New York, NY: Association for Computing Machinery (ACM). 604--618 (2020; Zbl 07299499)
Full Text: DOI
Huang, Zhiyi; Zhang, Qiankun
Online primal dual meets online matching with stochastic rewards: configuration LP to the rescue. (English) Zbl 07298317
Makarychev, Konstantin (ed.) et al., Proceedings of the 52nd annual ACM SIGACT symposium on theory of computing, STOC ’20, Chicago, IL, USA, June 22–26, 2020. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-6979-4). 1153-1164 (2020).
MSC:  68Qxx
PDF BibTeX XML Cite
\textit{Z. Huang} and \textit{Q. Zhang}, in: Proceedings of the 52nd annual ACM SIGACT symposium on theory of computing, STOC '20, Chicago, IL, USA, June 22--26, 2020. New York, NY: Association for Computing Machinery (ACM). 1153--1164 (2020; Zbl 07298317)
Full Text: DOI
Tang, Zhihao Gavin; Wu, Xiaowei; Zhang, Yuhao
Towards a better understanding of randomized greedy matching. (English) Zbl 07298313
Makarychev, Konstantin (ed.) et al., Proceedings of the 52nd annual ACM SIGACT symposium on theory of computing, STOC ’20, Chicago, IL, USA, June 22–26, 2020. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-6979-4). 1097-1110 (2020).
MSC:  68Qxx
PDF BibTeX XML Cite
\textit{Z. G. Tang} et al., in: Proceedings of the 52nd annual ACM SIGACT symposium on theory of computing, STOC '20, Chicago, IL, USA, June 22--26, 2020. New York, NY: Association for Computing Machinery (ACM). 1097--1110 (2020; Zbl 07298313)
Full Text: DOI
Sawlani, Saurabh; Wang, Junxing
Near-optimal fully dynamic densest subgraph. (English) Zbl 07298240
Makarychev, Konstantin (ed.) et al., Proceedings of the 52nd annual ACM SIGACT symposium on theory of computing, STOC ’20, Chicago, IL, USA, June 22–26, 2020. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-6979-4). 181-193 (2020).
MSC:  68Qxx
PDF BibTeX XML Cite
\textit{S. Sawlani} and \textit{J. Wang}, in: Proceedings of the 52nd annual ACM SIGACT symposium on theory of computing, STOC '20, Chicago, IL, USA, June 22--26, 2020. New York, NY: Association for Computing Machinery (ACM). 181--193 (2020; Zbl 07298240)
Full Text: DOI
del Carmen González Huesca, Lourdes; Miranda Perea, Favio Ezequiel; Linares-Arévalo, P. Selene
Dual and axiomatic systems for constructive S4, a formally verified equivalence. (English) Zbl 07297792
Felty, Amy (ed.) et al., 14th international workshop on logical and semantic frameworks, with applications, LSFA 2019, Natal, Brazil, in August 2019. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 348, 61-83 (2020).
MSC:  03B45 68V15
PDF BibTeX XML Cite
\textit{L. del Carmen González Huesca} et al., Electron. Notes Theor. Comput. Sci. 348, 61--83 (2020; Zbl 07297792)
Full Text: DOI

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
Biographic Reference
all top 3
Software