×

Found 17,232 Documents (Results 1–100)

100
MathJax

Quasi-static diffusion model of complex heat transfer with reflection and refraction conditions. (English) Zbl 1480.35374

PDF BibTeX XML Cite
Full Text: DOI

Automated generation of exam sheets for automated deduction. (English) Zbl 07511936

Kamareddine, Fairouz (ed.) et al., Intelligent computer mathematics. 14th international conference, CICM 2021, Timisoara, Romania, July 26–31, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12833, 185-196 (2021).
MSC:  68V15 97D60
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

Classification

all top 3

Software