×

Found 35 Documents (Results 1–35)

Finite element-boundary element based vibroacoustic model for nonhomogeneous turbulent boundary layer excited composite panels involving the Cholesky decomposition. (English. Russian original) Zbl 07817128

J. Appl. Mech. Tech. Phys. 64, No. 6, 1128-1140 (2023); translation from Prikl. Mekh. Tekh. Fiz. 64, No. 6, 210-225 (2023).
MSC:  62-XX 62Nxx 62Pxx
PDFBibTeX XMLCite
Full Text: DOI

Primitive floats in Coq. (English) Zbl 07649956

Harrison, John (ed.) et al., 10th international conference on interactive theorem proving, ITP 2019, September 9–12, 2019, Portland, OR, USA. Proceedings. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 141, Article 7, 20 p. (2019).
MSC:  68V15
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software