×

Found 365 Documents (Results 1–100)

Teaching linear algebra in a mechanized mathematical environment. (English) Zbl 07810727

Dubois, Catherine (ed.) et al., Intelligent computer mathematics. 16th international conference, CICM 2023, Cambridge, UK, September 5–8, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14101, 113-129 (2023).
MSC:  68Vxx
PDFBibTeX XMLCite
Full Text: DOI arXiv

SLRA interpolation for approximate GCD of several multivariate polynomials. (English) Zbl 07760793

Dickenstein, Alicia (ed.) et al., Proceedings of the 48th international symposium on symbolic and algebraic computation, ISSAC, Tromsø, Norway, July 24–27, 2023. New York, NY: Association for Computing Machinery (ACM). 470-479 (2023).
MSC:  68W30
PDFBibTeX XMLCite
Full Text: DOI

Validated root enclosures for interval polynomials with multiplicities. (English) Zbl 07760751

Dickenstein, Alicia (ed.) et al., Proceedings of the 48th international symposium on symbolic and algebraic computation, ISSAC, Tromsø, Norway, July 24–27, 2023. New York, NY: Association for Computing Machinery (ACM). 90-99 (2023).
MSC:  68W30
PDFBibTeX XMLCite
Full Text: DOI

\(\text{OntoMath}^{\text{PRO}}\): an ontology of mathematical knowledge. (English. Russian original) Zbl 1512.68435

Dokl. Math. 106, No. 3, 429-435 (2022); translation from Dokl. Ross. Akad. Nauk, Mat. Inform. Protsessy Upr. 507, 29-35 (2022).
MSC:  68V30 68T30
PDFBibTeX XMLCite
Full Text: DOI

On the complexity and parallel implementation of Hensel’s lemma and Weierstrass preparation. (English) Zbl 1506.13001

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, 78-99 (2021).
MSC:  13-04 13F25 68W30
PDFBibTeX XMLCite
Full Text: DOI arXiv

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

A new algorithm for computing least generalization of a set of atoms. (English) Zbl 1511.68313

Kazakov, Dimitar (ed.) et al., Inductive logic programming. 29th international conference, ILP 2019, Plovdiv, Bulgaria, September 3–5, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11770, 81-97 (2020).
MSC:  68V15 68Q42
PDFBibTeX XMLCite
Full Text: DOI

Application of computer algebra methods to investigate the dynamics of the system of two connected bodies moving along a circular orbit. (English. Russian original) Zbl 1466.70030

Program. Comput. Softw. 45, No. 2, 51-57 (2019); translation from Programmirovanie 45, No. 2, 32-40 (2019).
MSC:  70M20 68W30
PDFBibTeX XMLCite
Full Text: DOI

Revisiting approximate polynomial common divisor problem and noisy multipolynomial reconstruction. (English) Zbl 1456.94119

Hao, Feng (ed.) et al., Progress in cryptology – INDOCRYPT 2019. 20th international conference on cryptology in India, Hyderabad, India, December 15–18, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11898, 398-411 (2019).
MSC:  94A60 11A05 11J70
PDFBibTeX XMLCite
Full Text: DOI

Application of symbolic computation methods for investigation of stationary motions of an axisymmetric satellite. (English. Russian original) Zbl 1466.70029

Program. Comput. Softw. 44, No. 2, 94-99 (2018); translation from Programmirovanie 44, No. 2, 28-34 (2018).
MSC:  70M20 68W30
PDFBibTeX XMLCite
Full Text: DOI

Application of computer algebra methods for investigation of stationary motions of a gyrostat satellite. (English. Russian original) Zbl 1455.70013

Program. Comput. Softw. 43, No. 2, 90-97 (2017); translation from Programmirovanie 43, No. 2, 35-44 (2017).
PDFBibTeX XMLCite
Full Text: DOI

Classification of alignments between concepts of formal mathematical systems. (English) Zbl 1367.68309

Geuvers, Herman (ed.) et al., Intelligent computer mathematics. 10th international conference, CICM 2017, Edinburgh, UK, July 17–21, 2017. Proceedings. Cham: Springer (ISBN 978-3-319-62074-9/pbk; 978-3-319-62075-6/ebook). Lecture Notes in Computer Science 10383. Lecture Notes in Artificial Intelligence, 83-98 (2017).
MSC:  68T30 68T15 68U35
PDFBibTeX XMLCite
Full Text: DOI Link

The new Numdam platform. (English) Zbl 1367.68334

Geuvers, Herman (ed.) et al., Intelligent computer mathematics. 10th international conference, CICM 2017, Edinburgh, UK, July 17–21, 2017. Proceedings. Cham: Springer (ISBN 978-3-319-62074-9/pbk; 978-3-319-62075-6/ebook). Lecture Notes in Computer Science 10383. Lecture Notes in Artificial Intelligence, 70-82 (2017).
MSC:  68U35
PDFBibTeX XMLCite
Full Text: DOI

Part-of-math tagging and applications. (English) Zbl 1367.68313

Geuvers, Herman (ed.) et al., Intelligent computer mathematics. 10th international conference, CICM 2017, Edinburgh, UK, July 17–21, 2017. Proceedings. Cham: Springer (ISBN 978-3-319-62074-9/pbk; 978-3-319-62075-6/ebook). Lecture Notes in Computer Science 10383. Lecture Notes in Artificial Intelligence, 356-374 (2017).
MSC:  68T30 68T50
PDFBibTeX XMLCite
Full Text: DOI

Purely catalytic P systems over integers and their generative power. (English) Zbl 1483.68106

Leporati, Alberto (ed.) et al., Membrane computing. 17th international conference, CMC 2016, Milan, Italy, July 25–29, 2016. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 10105, 67-82 (2017).
MSC:  68Q07
PDFBibTeX XMLCite
Full Text: DOI Link

The SMGloM project and system: towards a terminology and ontology for mathematics. (English) Zbl 1434.68649

Greuel, Gert-Martin (ed.) et al., Mathematical software – ICMS 2016. 5th international conference, Berlin, Germany, July 11–14, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9725, 451-457 (2016).
MSC:  68V30 68T30
PDFBibTeX XMLCite
Full Text: DOI

The Sylvester resultant matrix and image deblurring. (English) Zbl 1360.65078

Boissonnat, Jean-Daniel (ed.) et al., Curves and surfaces. 8th international conference, Paris, France, June 12–18, 2014. Revised selected papers. Cham: Springer (ISBN 978-3-319-22803-7/pbk; 978-3-319-22804-4/ebook). Lecture Notes in Computer Science 9213, 461-490 (2015).
MSC:  65D18
PDFBibTeX XMLCite
Full Text: DOI Link

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