×

Found 671 Documents (Results 1–100)

Calculation of a strong resonance condition in a Hamiltonian system. (English. Russian original) Zbl 1527.70002

Comput. Math. Math. Phys. 63, No. 5, 687-703 (2023); translation from Zh. Vychisl. Mat. Mat. Fiz. 63, No. 5, 697-714 (2023).
MSC:  70-08 70H14 68W30
PDFBibTeX XMLCite
Full Text: DOI

Computing the integer hull of convex polyhedral sets. (English) Zbl 1507.14083

Boulier, François (ed.) et al., Computer algebra in scientific computing. 24th international workshop, CASC 2022, Gebze, Turkey, August 22–26, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13366, 246-267 (2022).
PDFBibTeX XMLCite
Full Text: DOI

Finite dimensional dynamics of evolutionary equations with Maple. (English) Zbl 1503.35238

Ulan, Maria (ed.) et al., Differential geometry, differential equations, and mathematical physics. Proceedings of the Wisła 19 summer school, Wisła, Poland, August 19–29, 2019. Cham: Birkhäuser. Tutor. Sch. Workshops Math. Sci., 123-149 (2021).
PDFBibTeX XMLCite
Full Text: DOI

Proof of Chudnovskys’ hypergeometric series for \(1/\pi\) using Weber modular polynomials. (English) Zbl 1502.33010

Bostan, Alin (ed.) et al., Transcendence in algebra, combinatorics, geometry and number theory. TRANS19 – transient transcendence in Transylvania, Brașov, Romania, May 13–17, 2019. Revised and extended contributions. Cham: Springer. Springer Proc. Math. Stat. 373, 341-354 (2021).
PDFBibTeX XMLCite
Full Text: DOI

Automatically building diagrams for olympiad geometry problems. (English) Zbl 07437101

Platzer, André (ed.) et al., Automated deduction – CADE 28. 28th international conference on automated deduction, virtual event, July 12–15, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12699, 577-588 (2021).
MSC:  03B35 68V15
PDFBibTeX XMLCite
Full Text: DOI arXiv

A plethora of non-bending surfaces of revolution: classifications and explicit parameterizations. (English) Zbl 1476.53026

Mladenov, Ivaïlo M. (ed.) et al., Proceedings of the 22nd international conference on geometry, integrability and quantization, Varna, Bulgaria, June 8–13, 2020. Sofia: Bulgarian Academy of Sciences, Institute of Biophysics and Biomedical Engineering. Geom. Integrability Quantization 22, 219-241 (2021).
MSC:  53A05 53A04 33E05
PDFBibTeX XMLCite
Full Text: DOI

Symbolic-analytic methods for studying equilibrium orientations of a satellite on a circular orbit. (English. Russian original) Zbl 1476.70083

Program. Comput. Softw. 47, No. 2, 119-123 (2021); translation from Programmirovanie 47, No. 2, 28-33 (2021).
PDFBibTeX XMLCite
Full Text: DOI

An invitation to analytic combinatorics. From one to several variables. (English) Zbl 1468.05002

Texts & Monographs in Symbolic Computation. Cham: Springer (ISBN 978-3-030-67079-5/hbk; 978-3-030-67082-5/pbk; 978-3-030-67080-1/ebook). xviii, 418 p. (2021).
PDFBibTeX XMLCite
Full Text: DOI

On the geometry and the topology of parametric curves. (English) Zbl 1483.68502

Mantzaflaris, Angelos (ed.), Proceedings of the 45th international symposium on symbolic and algebraic computation, ISSAC ’20, Kalamata, Greece, July 20–23, 2020. New York, NY: Association for Computing Machinery (ACM). 281-288 (2020).
PDFBibTeX XMLCite
Full Text: DOI arXiv HAL

Skew PBW extensions. Ring and module-theoretic properties, matrix and Gröbner methods, and applications. (English) Zbl 1489.16002

Algebra and Applications 28. Cham: Springer (ISBN 978-3-030-53377-9/hbk; 978-3-030-53380-9/pbk; 978-3-030-53378-6/ebook). xv, 584 p. (2020).
PDFBibTeX XMLCite
Full Text: DOI

On calculation of the group of automorphisms of hyperelliptic curves. (English. Russian original) Zbl 1451.14166

J. Math. Sci., New York 251, No. 3, 395-404 (2020); translation from Zap. Nauchn. Semin. POMI 485, 140-154 (2019).
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