×

zbMATH — the first resource for mathematics

Found 11,989 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
König, Barbara; Mika-Michalski, Christina; Schröder, Lutz
Explaining non-bisimilarity in a coalgebraic approach: games and distinguishing formulas. (English) Zbl 07314152
Petrişan, Daniela (ed.) et al., Coalgebraic methods in computer science. 15th IFIP WG 1.3 international workshop, CMCS 2020, colocated with ETAPS 2020, Dublin, Ireland, April 25–26, 2020. Proceedings. Cham: Springer (ISBN 978-3-030-57200-6/pbk; 978-3-030-57201-3/ebook). Lecture Notes in Computer Science 12094, 133-154 (2020).
MSC:  68Q65
PDF BibTeX XML Cite
\textit{B. König} et al., Lect. Notes Comput. Sci. 12094, 133--154 (2020; Zbl 07314152)
Full Text: DOI
Kashtanov, Yuriĭ Nikolaevich; Fedyaev, Igor’ Pavlovich
Stochastic mesh method for optimal stopping problems. (English. Russian original) Zbl 07311061
Vestn. St. Petersbg. Univ., Math. 53, No. 3, 287-294 (2020); translation from Vestn. St-Peterbg. Univ., Ser. I, Mat. Mekh. Astron. 7(65), No. 3, 425-434 (2020).
MSC:  62L15 62L20 60G40 65N50 62P20
PDF BibTeX XML Cite
\textit{Y. N. Kashtanov} and \textit{I. P. Fedyaev}, Vestn. St. Petersbg. Univ., Math. 53, No. 3, 287--294 (2020; Zbl 07311061); translation from Vestn. St-Peterbg. Univ., Ser. I, Mat. Mekh. Astron. 7(65), No. 3, 425--434 (2020)
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
Sablin, M. N.
Difference differential operators with values at the midpoints of the sides of cells of a triangular grid. (English. Russian original) Zbl 1452.65300
Mosc. Univ. Comput. Math. Cybern. 44, No. 2, 97-108 (2020); translation from Vestn. Mosk. Univ., Ser. XV 2020, No. 2, 48-60 (2020).
MSC:  65N06 65N50
PDF BibTeX XML Cite
\textit{M. N. Sablin}, Mosc. Univ. Comput. Math. Cybern. 44, No. 2, 97--108 (2020; Zbl 1452.65300); translation from Vestn. Mosk. Univ., Ser. XV 2020, No. 2, 48--60 (2020)
Full Text: DOI
Algazin, G. I.; Algazina, D. G.
Reflexion processes and equilibrium in an oligopoly model with a leader. (English. Russian original) Zbl 1455.91146
Autom. Remote Control 81, No. 7, 1258-1270 (2020); translation from Avtom. Telemekh. 2020, No. 7, 113-128 (2020).
MSC:  91B54 91A65 91A80
PDF BibTeX XML Cite
\textit{G. I. Algazin} and \textit{D. G. Algazina}, Autom. Remote Control 81, No. 7, 1258--1270 (2020; Zbl 1455.91146); translation from Avtom. Telemekh. 2020, No. 7, 113--128 (2020)
Full Text: DOI
Alladi, Krishnaswami
Euler’s partition theorem and refinements without appeal to infinite products. (English) Zbl 07293156
Pillwein, Veronika (ed.) et al., Algorithmic combinatorics: enumerative combinatorics, special functions and computer algebra. Proceedings of the workshop on combinatorics, special functions and computer algebra (Paule60), Research Institute of Symbolic Computation (RISC), Hagenberg, Austria, May 17–18, 2018. In honour of Peter Paule on his 60th birthday. Cham: Springer (ISBN 978-3-030-44558-4/hbk; 978-3-030-44559-1/ebook). Texts & Monographs in Symbolic Computation, 9-23 (2020).
MSC:  68W30
PDF BibTeX XML Cite
\textit{K. Alladi}, in: Algorithmic combinatorics: enumerative combinatorics, special functions and computer algebra. Proceedings of the workshop on combinatorics, special functions and computer algebra (Paule60), Research Institute of Symbolic Computation (RISC), Hagenberg, Austria, May 17--18, 2018. In honour of Peter Paule on his 60th birthday. Cham: Springer. 9--23 (2020; Zbl 07293156)
Full Text: DOI
Gáspár, Csaba
Application of quadtrees in the method of fundamental solutions using multi-level tools. (English) Zbl 1453.65432
Alves, Carlos (ed.) et al., Advances in Trefftz methods and their applications. Selected papers based on the presentations at the 9th conference on Trefftz methods and 5th conference on method of fundamental solutions, Lisbon, Portugal, July 29–31, 2019. Cham: Springer. SEMA SIMAI Springer Ser. 23, 41-57 (2020).
MSC:  65N80 65N35 65N50
PDF BibTeX XML Cite
\textit{C. Gáspár}, SEMA SIMAI Springer Ser. 23, 41--57 (2020; Zbl 1453.65432)
Full Text: DOI
Korotov, Sergey; Vatne, Jon Eivind
On regularity of tetrahedral meshes produced by some red-type refinements. (English) Zbl 1453.65300
Pinelas, Sandra (ed.) et al., Differential and difference equations with applications. Selected papers based on the presentations at the fourth international conference, ICDDEA 2019, Lisbon, Portugal, July 1–5, 2019. Cham: Springer. Springer Proc. Math. Stat. 333, 681-687 (2020).
MSC:  65M50 65N50
PDF BibTeX XML Cite
\textit{S. Korotov} and \textit{J. E. Vatne}, Springer Proc. Math. Stat. 333, 681--687 (2020; Zbl 1453.65300)
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
Biographic Reference
all top 3
Software