×

Found 2,967 Documents (Results 1–100)

100
MathJax

Constructions of second order approximations of the Caputo fractional derivative. (English) Zbl 1490.65032

Lirkov, Ivan (ed.) et al., Large-scale scientific computing. 13th international conference, LSSC 2021, Sozopol, Bulgaria, June 7–11, 2021. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 13127, 31-39 (2022).
MSC:  65D25
PDF BibTeX XML Cite
Full Text: DOI

Automatic differentiation with higher infinitesimals, or computational smooth infinitesimal analysis in Weil algebra. (English) Zbl 07497955

Boulier, François (ed.) et al., Computer algebra in scientific computing. 23rd international workshop, CASC 2021, Sochi, Russia, September 13–17, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12865, 174-191 (2021).
PDF BibTeX XML Cite
Full Text: DOI arXiv

Real-time calculation of a Caputo fractional derivative from noisy data. The case of continuous measurements. (English. Russian original) Zbl 1481.65043

Proc. Steklov Inst. Math. 315, Suppl. 1, S225-S235 (2021); translation from Tr. Inst. Mat. Mekh. (Ekaterinburg) 27, No. 2, 238-248 (2021).
MSC:  65D25 26A33
PDF BibTeX XML Cite
Full Text: DOI

On one approach to the numerical solution of a coefficient inverse problem. (English. Russian original) Zbl 07427868

Dokl. Math. 104, No. 1, 208-211 (2021); translation from Dokl. Ross. Akad. Nauk, Mat. Inform. Protsessy Upr. 499, 58-62 (2021).
MSC:  65Mxx 35Rxx 80Axx
PDF BibTeX XML Cite
Full Text: DOI

Reverse AD at higher types: pure, principled and denotationally correct. (English) Zbl 1473.68058

Yoshida, Nobuko (ed.), Programming languages and systems. 30th European symposium on programming, ESOP 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12648, 607-634 (2021).
PDF BibTeX XML Cite
Full Text: DOI arXiv

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

Biographic Reference

all top 3

Software