×

Found 18 Documents (Results 1–18)

Simpson’s quadrature for a nonlinear variational symplectic scheme. (English) Zbl 07803008

Franck, Emmanuel (ed.) et al., Finite volumes for complex applications X – Volume 2. Hyperbolic and related problems. FVCA10, Strasbourg, France, October 30 – November 3, 2023. Cham: Springer. Springer Proc. Math. Stat. 433, 83-92 (2023).
PDFBibTeX XMLCite
Full Text: DOI

A variational symplectic scheme based on Simpson’s quadrature. (English) Zbl 07789280

Nielsen, Frank (ed.) et al., Geometric science of information. 6th international conference, GSI 2023, St. Malo, France, August 30 – September 1, 2023. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 14072, 22-31 (2023).
MSC:  37M15 65P10 65D32
PDFBibTeX XMLCite
Full Text: DOI

Computation of homological equations for Hamiltonian normal form. (English) Zbl 1515.37058

Filipuk, Galina (ed.) et al., Recent trends in formal and analytic solutions of diff. equations. Virtual conference, University of Alcalá, Alcalá de Henares, Spain, June 28 – July 2, 2021. Providence, RI: American Mathematical Society (AMS). Contemp. Math. 782, 7-20 (2023).
MSC:  37J40 37J12
PDFBibTeX XMLCite
Full Text: DOI

On periodic approximate solutions of dynamical systems with quadratic right-hand side. (English. Russian original) Zbl 1495.65111

J. Math. Sci., New York 261, No. 5, 698-708 (2022); translation from Zap. Nauchn. Semin. POMI 507, 157-172 (2021).
MSC:  65L05 37M05 65P10
PDFBibTeX XMLCite
Full Text: DOI arXiv

MathCheck: a math assistant via a combination of computer algebra systems and SAT solvers. (English) Zbl 1465.68300

Felty, Amy P. (ed.) et al., Automated deduction – CADE-25. 25th international conference on automated deduction, Berlin, Germany, August 1–7, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9195, 607-622 (2015).
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software