×

Found 487 Documents (Results 1–100)

Range functions of any convergence order and their amortized complexity analysis. (English) Zbl 07842266

Boulier, François (ed.) et al., Computer algebra in scientific computing. 25th international workshop, CASC 2023, Havana, Cuba, August 28 – September 1, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14139, 162-182 (2023).
MSC:  68W30
PDFBibTeX XMLCite
Full Text: DOI

Domain theoretic second-order Euler’s method for solving initial value problems. (English) Zbl 07516373

Johann, Patricia (ed.), Proceedings of the 36th conference on mathematical foundations of programming semantics, MFPS XXXVI, virtual conference, June 2–6, 2020. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 352, 105-128 (2020).
MSC:  68N30 68Q55
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software