×

Found 4,016 Documents (Results 1–100)

Temperature dynamics in a well during local induction heating of the well casing. (English. Russian original) Zbl 07732565

J. Appl. Mech. Tech. Phys. 64, No. 2, 208-215 (2023); translation from Prikl. Mekh. Tekh. Fiz. 64, No. 2, 39-47 (2023).
MSC:  80-XX 76-XX
PDF BibTeX XML Cite
Full Text: DOI

The price of cake. And 99 other classic mathematical riddles. Illustrated by Laure Macé de Lépinay. Translated by Lorenzo Croissant. With a foreword by Cédric Villani. (English) Zbl 1511.00005

Cambridge, MA: MIT Press (ISBN 978-0-262-54524-2/pbk). xiv, 220 p. (2023).
MSC:  00A08
PDF BibTeX XML Cite

What does a concept entail? (English) Zbl 07740521

Béziau, Jean-Yves (ed.) et al., Logic in question. Talks from the annual Sorbonne logic workshop (2011–2019), Paris, France, April 15–16, 2019. Cham: Birkhäuser. Stud. Univers. Log., 337-351 (2022).
PDF BibTeX XML Cite
Full Text: DOI

Modeling of crystallization in a metal surface layer modified with nanoparticles under pulsed induction heating. (English. Russian original) Zbl 1509.80005

J. Appl. Mech. Tech. Phys. 63, No. 4, 574-583 (2022); translation from Prikl. Mekh. Tekh. Fiz. 63, No. 4, 27-38 (2022).
PDF BibTeX XML Cite
Full Text: DOI

On the Weihrauch degree of the additive Ramsey theorem over the rationals. (English) Zbl 07627934

Berger, Ulrich (ed.) et al., Revolutions and revelations in computability. 18th conference on computability in Europe, CiE 2022, Swansea, UK, July 11–15, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13359, 259-271 (2022).
MSC:  68Qxx
PDF BibTeX XML Cite
Full Text: DOI

On transforming cut- and quantifier-free cyclic proofs into rewriting-induction proofs. (English) Zbl 07570125

Hanus, Michael (ed.) et al., Functional and logic programming. 16th international symposium, FLOPS 2022, Kyoto, Japan, May 10–12, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13215, 262-281 (2022).
MSC:  03B35
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type

Database

Reviewing State

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software