×

zbMATH — the first resource for mathematics

Found 11,942 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:  03B70
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 07294515
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 07294515); 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 07273445
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 (ISBN 978-3-030-52803-4/hbk; 978-3-030-52804-1/ebook). SEMA SIMAI Springer Series 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 07273445)
Full Text: DOI
Korotov, Sergey; Vatne, Jon Eivind
On regularity of tetrahedral meshes produced by some red-type refinements. (English) Zbl 07272035
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 (ISBN 978-3-030-56322-6/hbk; 978-3-030-56323-3/ebook). Springer Proceedings in Mathematics & Statistics 333, 681-687 (2020).
MSC:  65M50 65N50
PDF BibTeX XML Cite
\textit{S. Korotov} and \textit{J. E. Vatne}, in: 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. 681--687 (2020; Zbl 07272035)
Full Text: DOI
Godunov, S. K.; Zhukov, V. T.; Feodoritova, O. B.
Numerical method of quasi-isometric parametrization for two-dimensional curvilinear domains. (English. Russian original) Zbl 1451.65017
Comput. Math. Math. Phys. 60, No. 4, 568-579 (2020); translation from Zh. Vychisl. Mat. Mat. Fiz. 60, No. 4, 578-589 (2020).
MSC:  65D18 65N50
PDF BibTeX XML Cite
\textit{S. K. Godunov} et al., Comput. Math. Math. Phys. 60, No. 4, 568--579 (2020; Zbl 1451.65017); translation from Zh. Vychisl. Mat. Mat. Fiz. 60, No. 4, 578--589 (2020)
Full Text: DOI
Gavrilyuk, I. P.; Makarov, V. L.
Method of fictitious domains and homotopy as a new alternative to multidimensional partial differential equations in domains of any shape. (English. Ukrainian original) Zbl 07254301
Ukr. Math. J. 72, No. 2, 211-231 (2020); translation from Ukr. Mat. Zh. 72, No. 2, 191-208 (2020).
Reviewer: Mohammed Kaabar (Gelugor)
MSC:  65N85 65N50 65N12
PDF BibTeX XML Cite
\textit{I. P. Gavrilyuk} and \textit{V. L. Makarov}, Ukr. Math. J. 72, No. 2, 211--231 (2020; Zbl 07254301); translation from Ukr. Mat. Zh. 72, No. 2, 191--208 (2020)
Full Text: DOI
Amodio, Pierluigi; Brugnano, Luigi; Iavernaro, Felice; Mazzia, Francesca
A dynamic precision floating-point arithmetic based on the Infinity Computer framework. (English) Zbl 07250760
Sergeyev, Yaroslav D. (ed.) et al., Numerical computations: theory and algorithms. Third international conference, NUMTA 2019, Crotone, Italy, June 15–21, 2019. Revised selected papers. Part II. Cham: Springer (ISBN 978-3-030-40615-8/pbk; 978-3-030-40616-5/ebook). Lecture Notes in Computer Science 11974, 289-297 (2020).
MSC:  65
PDF BibTeX XML Cite
\textit{P. Amodio} et al., Lect. Notes Comput. Sci. 11974, 289--297 (2020; Zbl 07250760)
Full Text: DOI
Cavoretto, Roberto; De Rossi, Alessandra
An adaptive refinement scheme for radial basis function collocation. (English) Zbl 07249913
Sergeyev, Yaroslav D. (ed.) et al., Numerical computations: theory and algorithms. Third international conference, NUMTA 2019, Crotone, Italy, June 15–21, 2019. Revised selected papers. Part I. Cham: Springer (ISBN 978-3-030-39080-8/pbk; 978-3-030-39081-5/ebook). Lecture Notes in Computer Science 11973, 19-26 (2020).
MSC:  65
PDF BibTeX XML Cite
\textit{R. Cavoretto} and \textit{A. De Rossi}, Lect. Notes Comput. Sci. 11973, 19--26 (2020; Zbl 07249913)
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