×

Found 1,445 Documents (Results 1–100)

Primitive recursive ordered fields and some applications. (English) Zbl 07497964

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, 353-369 (2021).
MSC:  68W30
PDF BibTeX XML Cite
Full Text: DOI arXiv

Spectral stability conditions for an explicit three-level finite-difference scheme for a multidimensional transport equation with perturbations. (English. Russian original) Zbl 1496.65133

Differ. Equ. 57, No. 7, 891-900 (2021); translation from Differ. Uravn. 57, No. 7, 922-931 (2021).
PDF BibTeX XML Cite
Full Text: DOI

Optimizing sparsity over lattices and semigroups. (English) Zbl 07602118

Bienstock, Daniel (ed.) et al., Integer programming and combinatorial optimization. 21st international conference, IPCO 2020, London, UK, June 8–10, 2020, Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12125, 40-51 (2020).
MSC:  90C10
PDF BibTeX XML Cite
Full Text: DOI arXiv

Least-squares collocation for higher-index DAEs: global approach and attempts toward a time-stepping version. (English) Zbl 1453.65202

Reis, Timo (ed.) et al., Progress in differential-algebraic equations II. Proceedings of the 9th workshop on descriptor systems, Paderborn, Germany, March 17–20, 2019. Cham: Springer. Differ.-Algebr. Equ. Forum, 91-135 (2020).
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

Biographic Reference