×

Found 9,811 Documents (Results 1–100)

Iscalc: an interactive symbolic computation framework (system description). (English) Zbl 07838509

Pientka, Brigitte (ed.) et al., Automated deduction – CADE 29. 29th international conference on automated deduction, Rome, Italy, July 1–4, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14132, 577-589 (2023).
MSC:  03B35 68V15
PDFBibTeX XMLCite
Full Text: DOI

Virtual element methods for optimal control problems governed by elliptic interface problems. (English) Zbl 07828004

Sharma, Rajesh Kumar (ed.) et al., Frontiers in industrial and applied mathematics. Selected papers based on the presentations at the 4th international conference, FIAM-2021, Punjab, India, December 21–22, 2021. Singapore: Springer. Springer Proc. Math. Stat. 410, 521-533 (2023).
MSC:  65N30 49M41
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

Database

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

Biographic Reference

all top 3

Software