×

Found 685 Documents (Results 1–100)

Algebra and formal calculus. “Agrégation de mathématiques. Option C”. 2nd edition. (Algèbre et calcul formel. Agrégation de mathématiques. Option C.) (French) Zbl 1515.68002

Références Sciences. Paris: Ellipses (ISBN 978-2-340-07856-7/pbk). 510 p. (2023).
MSC:  68-01 68Wxx 65Fxx
PDFBibTeX XMLCite

On truncated series involved in exponential-logarithmic solutions of truncated LODEs. (English) Zbl 1518.34011

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, 18-28 (2022).
PDFBibTeX XMLCite
Full Text: DOI

Calculi and models for non-Horn knowledge bases containing neural and evaluable predicates. (English) Zbl 1534.68229

Liao, Beishui (ed.) et al., Logics for new-generation AI. Second international workshop, Zhuhai, China, June 10–12, 2022. London: College Publications. 24-35 (2022).
MSC:  68T27 03B52 68T30
PDFBibTeX XMLCite

An algorithm to prove holonomic differential equations for modular forms. (English) Zbl 1499.11179

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, 367-420 (2021).
MSC:  11F03 05A30 68W30
PDFBibTeX XMLCite
Full Text: DOI

Computer calculation of Green functions for third-order ordinary differential equations. (English. Russian original) Zbl 1481.34037

J. Math. Sci., New York 259, No. 3, 265-271 (2021); translation from Itogi Nauki Tekh., Ser. Sovrem. Mat. Prilozh., Temat. Obz. 165, 3-9 (2019).
PDFBibTeX XMLCite
Full Text: DOI Link

Introduction to computation. Haskell, logic and automata. (English) Zbl 1497.68005

Undergraduate Topics in Computer Science. Cham: Springer (ISBN 978-3-030-76907-9/pbk; 978-3-030-76908-6/ebook). xvi, 366 p. (2021).
PDFBibTeX XMLCite
Full Text: DOI

Procedures for constructing truncated solutions of linear differential equations with infinite and truncated power series in the role of coefficients. (English. Russian original) Zbl 07351985

Program. Comput. Softw. 47, No. 2, 144-152 (2021); translation from Programmirovanie 47, No. 2, 56-65 (2021).
PDFBibTeX XMLCite
Full Text: DOI

Computation of periodic solutions to pendulum type systems with a small parameter. (English. Russian original) Zbl 1459.34107

Comput. Math. Math. Phys. 60, No. 12, 1990-2006 (2020); translation from Zh. Vychisl. Mat. Mat. Fiz. 60, No. 12, 2055-2072 (2020).
PDFBibTeX XMLCite
Full Text: DOI

Fredholm property of integral operators with homogeneous kernels of compact type in the \(L_2\) space on the Heisenberg group. (English. Russian original) Zbl 1453.43003

Proc. Steklov Inst. Math. 308, 155-167 (2020); translation from Tr. Mat. Inst. Steklova 308, 167-180 (2020).
PDFBibTeX XMLCite
Full Text: DOI

Barriers for fast matrix multiplication from irreversibility. (English) Zbl 1528.68421

Shpilka, Amir (ed.), 34th computational complexity conference, CCC 2019, New Brunswick, NJ, USA, July 18–20, 2019. Proceedings. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 137, Article 26, 17 p. (2019).
PDFBibTeX XMLCite
Full Text: DOI

Limits on the universal method for matrix multiplication. (English) Zbl 1528.68417

Shpilka, Amir (ed.), 34th computational complexity conference, CCC 2019, New Brunswick, NJ, USA, July 18–20, 2019. Proceedings. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 137, Article 12, 24 p. (2019).
PDFBibTeX XMLCite
Full Text: DOI

Algorithmics of nonuniformity: tools and paradigms. (English) Zbl 1402.68004

Discrete Mathematics and its Applications. Boca Raton, FL: CRC Press (ISBN 978-1-4987-5071-4/hbk; 978-1-4987-5072-1/ebook). xix, 569 p. (2019).
PDFBibTeX XMLCite
Full Text: Link

What does qualitative spatial knowledge tell about origami geometric folds? (English) Zbl 1515.68383

Fleuriot, Jacques (ed.) et al., Artificial intelligence and symbolic computation. 13th international conference, AISC 2018, Suzhou, China, September 16–19, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11110, 139-154 (2018).
MSC:  68W30 52B70 68T30
PDFBibTeX XMLCite
Full Text: DOI

Generalized Hermite reduction, creative telescoping and definite integration of D-finite functions. (English) Zbl 1467.34011

Arreche, Carlos (ed.), Proceedings of the 43rd international symposium on symbolic and algebraic computation, ISSAC 2018, New York, NY, USA, July 16–19, 2018. New York, NY: Association for Computing Machinery (ACM). 95-102 (2018).
MSC:  34A25 34A30 68W30
PDFBibTeX XMLCite
Full Text: DOI arXiv HAL

A new approach for formal reduction of singular linear differential systems using eigenrings. (English) Zbl 1467.34010

Arreche, Carlos (ed.), Proceedings of the 43rd international symposium on symbolic and algebraic computation, ISSAC 2018, New York, NY, USA, July 16–19, 2018. New York, NY: Association for Computing Machinery (ACM). 47-54 (2018).
MSC:  34A25 34A30 68W30
PDFBibTeX XMLCite
Full Text: DOI

Universal points in the asymptotic spectrum of tensors. (English) Zbl 1427.68116

Diakonikolas, Ilias (ed.) et al., Proceedings of the 50th annual ACM SIGACT symposium on theory of computing, STOC ’18, Los Angeles, CA, USA, June 25–29, 2018. New York, NY: Association for Computing Machinery (ACM). 289-296 (2018).
PDFBibTeX XMLCite
Full Text: DOI arXiv Link

Holonomic tools for basic hypergeometric functions. (English) Zbl 1411.33019

Nashed, M. Zuhair (ed.) et al., Frontiers in orthogonal polynomials and \(q\)-series. Papers based on the international conference, University of Central Florida, Orlando, FL, USA, May 10–12, 2015. Dedicated to Professor Mourad Ismail on his 70th birthday. Hackensack, NJ: World Scientific. Contemp. Math. Appl., Monogr. Expo. Lect. Notes 1, 393-416 (2018).
MSC:  33F10 05A30 33D15
PDFBibTeX XMLCite
Full Text: DOI arXiv

A \(q\)-analogue of the modified Abramov-Petkovšek reduction. (English) Zbl 1405.33020

Schneider, Carsten (ed.) et al., Advances in computer algebra. In honour of Sergei Abramov’s 70th birthday, WWCA 2016, Waterloo, Ontario, Canada, July 23–24, 2016. Selected papers based on the presentations at the workshop. Cham: Springer (ISBN 978-3-319-73231-2/hbk; 978-3-319-73232-9/ebook). Springer Proceedings in Mathematics & Statistics 226, 105-129 (2018).
MSC:  33D05 05A30 68W30
PDFBibTeX XMLCite
Full Text: DOI

Resultants and discriminants for bivariate tensor-product polynomials. (English) Zbl 1450.13013

Burr, Michael (ed.), Proceedings of the 42nd international symposium on symbolic and algebraic computation, ISSAC 2017, Kaiserslautern, Germany, July 25–28, 2017. New York, NY: Association for Computing Machinery (ACM). 309-316 (2017).
PDFBibTeX XMLCite
Full Text: DOI HAL

Riemann tensor polynomial canonicalization by graph algebra extension. (English) Zbl 1457.68327

Burr, Michael (ed.), Proceedings of the 42nd international symposium on symbolic and algebraic computation, ISSAC 2017, Kaiserslautern, Germany, July 25–28, 2017. New York, NY: Association for Computing Machinery (ACM). 269-276 (2017).
MSC:  68W30 05C25 15A69
PDFBibTeX XMLCite
Full Text: DOI arXiv

A constructive approach to the module of twisted global sections on relative projective spaces. (English) Zbl 1402.13016

Böckle, Gebhard (ed.) et al., Algorithmic and experimental methods in algebra, geometry, and number theory. Cham: Springer (ISBN 978-3-319-70565-1/hbk; 978-3-319-70566-8/ebook). 23-49 (2017).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Filter Results by …

Document Type

Database

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software