×

zbMATH — the first resource for mathematics

Found 4,278 Documents (Results 1–100)

100
MathJax
Comput. Math. Math. Phys. 61, No. 3, 436-452 (2021); translation from Zh. Vychisl. Mat. Mat. Fiz. 61, No. 3, 458-474 (2021).
MSC:  76X05 76L05 76M20
PDF BibTeX XML Cite
Full Text: DOI
Lahiri, Shuvendu Kumar (ed.) et al., Computer aided verification. 32nd international conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020. Proceedings. Part I. Cham: Springer (ISBN 978-3-030-53287-1/pbk; 978-3-030-53288-8/ebook). Lecture Notes in Computer Science 12224, 556-568 (2020).
MSC:  68Q60
PDF BibTeX XML Cite
Full Text: DOI
Cybern. Syst. Anal. 56, No. 4, 675-682 (2020); translation from Kibern. Sist. Anal. 2020, No. 4, 185-195 (2020).
PDF BibTeX XML Cite
Full Text: DOI
Klöfkorn, Robert (ed.) et al., Finite volumes for complex applications IX – methods, theoretical aspects, examples. FVCA 9, Bergen, Norway, June 15–19, 2020. In 2 volumes. Volume I and II. Cham: Springer. Springer Proc. Math. Stat. 323, 695-703 (2020).
PDF BibTeX XML Cite
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
Software