×

zbMATH — the first resource for mathematics

Found 2,939 Documents (Results 1–100)

100
MathJax
Manchanda, Pammy (ed.) et al., Mathematical modelling, optimization, analytic and numerical solutions. Selected papers based on the presentations at the international conference in conjunction with 14th biennial conference of ISIAM, Guru Nanak Dev University, Amritsar, India, February 2–4, 2018. Singapore: Springer. Ind. Appl. Math., 301-311 (2020).
MSC:  65-XX
PDF BibTeX XML Cite
Full Text: DOI
Mech. Solids 55, No. 7, 1071-1076 (2020); translation from Prikl. Mat. Mekh. 84, No. 2, 234-241 (2020).
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. Lect. Notes Comput. Sci. 12224, 569-581 (2020).
MSC:  68Q60
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