×

Found 447 Documents (Results 1–100)

Making presentation math computable. A context-sensitive approach for translating LaTeX to computer algebra systems. (English) Zbl 1521.68005

Wiesbaden: Springer Vieweg (ISBN 978-3-658-40472-7/pbk; 978-3-658-40473-4/ebook). xviii, 197 p., open access (2023).
PDFBibTeX XMLCite
Full Text: DOI

Logic and theory of representation. (English) Zbl 07740541

Béziau, Jean-Yves (ed.) et al., Logic in question. Talks from the annual Sorbonne logic workshop (2011–2019), Paris, France, April 15–16, 2019. Cham: Birkhäuser. Stud. Univers. Log., 737-750 (2022).
PDFBibTeX XMLCite
Full Text: DOI arXiv

General algorithm for analytical calculations of Jacobi matrix elements in sparse nonlinear programming problems. (English. Russian original) Zbl 1519.90236

Mosc. Univ. Comput. Math. Cybern. 46, No. 4, 183-196 (2022); translation from Vestn. Mosk. Univ., Ser. XV 2022, No. 4, 14-27 (2022).
MSC:  90C30
PDFBibTeX XMLCite
Full Text: DOI

Comments on Risch’s On the integration of elementary functions which are built up using algebraic operations. (English) Zbl 1517.12001

Raab, Clemens G. (ed.) et al., Integration in finite terms: fundamental sources. Cham: Springer. Texts Monogr. Symb. Comput., 217-229 (2022).
PDFBibTeX XMLCite
Full Text: DOI

Computational analysis of musical structures based on morphological filters. (English) Zbl 1495.00028

Montiel, Mariana (ed.) et al., Mathematics and computation in music. 8th international conference, MCM 2022, Atlanta, GA, USA, June 21–24, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13267, 267-278 (2022).
MSC:  00A65
PDFBibTeX XMLCite
Full Text: DOI HAL

Symbolic foundations of algorithmic practices in England (1801–1860). (Fondements symboliques des pratiques algorithmiques en Angleterre (1801–1860).) (French) Zbl 1494.03003

Haffner, Emmylou (ed.) et al., L’épistémologie du dedans. Mélanges en l’honneur de Hourya Benis-Sinaceur. Paris: Classiques Garnier. Rencontres 479, 301-339 (2021).
PDFBibTeX XMLCite

Torus and quadrics intersection using GeoGebra. (English) Zbl 1464.68418

Cheng, Liang-Yee (ed.), ICGG 2020 – Proceedings of the 19th international conference on geometry and graphics, São Paulo, Brazil, January 18–22, 2021. Cham: Springer. Adv. Intell. Syst. Comput. 1296, 484-493 (2021).
PDFBibTeX XMLCite
Full Text: DOI

Nonexistence certificates for ovals in a projective plane of order ten. (English) Zbl 07601001

Gąsieniec, Leszek (ed.) et al., Combinatorial algorithms. 31st international workshop, IWOCA 2020, Bordeaux, France, June 8–10, 2020, Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12126, 97-111 (2020).
MSC:  68Rxx 68Wxx
PDFBibTeX XMLCite
Full Text: DOI arXiv

Employing C++ templates in the design of a computer algebra library. (English) Zbl 1503.68306

Bigatti, Anna Maria (ed.) et al., Mathematical software – ICMS 2020. 7th international conference, Braunschweig, Germany, July 13–16, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12097, 342-352 (2020).
PDFBibTeX XMLCite
Full Text: DOI

Making presentation math computable: proposing a context sensitive approach for translating LaTeX to computer algebra systems. (English) Zbl 1503.68299

Bigatti, Anna Maria (ed.) et al., Mathematical software – ICMS 2020. 7th international conference, Braunschweig, Germany, July 13–16, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12097, 335-341 (2020).
MSC:  68V25 68W30
PDFBibTeX XMLCite
Full Text: DOI

Formal verification of invariants for attributed graph transformation systems based on nested attributed graph conditions. (English) Zbl 1502.68160

Gadducci, Fabio (ed.) et al., Graph transformation. 13th international conference, ICGT 2020, held as part of STAF 2020, Bergen, Norway, June 25–26, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12150, 257-275 (2020).
MSC:  68Q42 68Q60 68V20
PDFBibTeX XMLCite
Full Text: DOI

Maple in mathematics education and research. Third Maple conference, MC 2019, Waterloo, Ontario, Canada, October 15–17, 2019. Proceedings. (English) Zbl 1468.65002

Communications in Computer and Information Science 1125. Cham: Springer (ISBN 978-3-030-41257-9/pbk; 978-3-030-41258-6/ebook). xi, 363 p. (2020).
PDFBibTeX XMLCite
Full Text: DOI

Homological and combinatorial properties of powers of cover ideals of graphs. (English) Zbl 1453.13036

Stamate, Dumitru I. (ed.) et al., Combinatorial structures in algebra and geometry. NSA 26, Constanţa, Romania, August 26 – September 1, 2018. Cham: Springer. Springer Proc. Math. Stat. 331, 143-159 (2020).
PDFBibTeX XMLCite
Full Text: DOI

Reflections on elimination theory. (English) Zbl 1489.13001

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). 1-4 (2020).
PDFBibTeX XMLCite
Full Text: DOI

Systems with parameters, or efficiently solving systems of polynomial equations: 33 years later. III. (English. Russian original) Zbl 1448.13048

J. Math. Sci., New York 247, No. 5, 738-757 (2020); translation from Zap. Nauchn. Semin. POMI 481, 146-177 (2019).
PDFBibTeX XMLCite
Full Text: DOI

The amazing Thue-Morse sequence. (English) Zbl 1493.11062

Silva, Jorge Nuno (ed.), Proceedings of the recreational mathematics colloquium VI. Gathering for Gardner Europe, Lisbon, Portugal, January 26–29, 2019. Lisboa: Associação Ludus. 9-23 (2019).
PDFBibTeX XMLCite

An introduction to computational science. With a foreword by Robert J. Vanderbei. (English) Zbl 1425.65001

International Series in Operations Research & Management Science 278. Cham: Springer (ISBN 978-3-030-15677-0/hbk; 978-3-030-15679-4/ebook). xvi, 470 p. (2019).
PDFBibTeX XMLCite
Full Text: DOI

Mercury\(^{\circledR}\): a software based on fuzzy clustering for computer-assisted composition. (English) Zbl 1456.00084

Montiel, Mariana (ed.) et al., Mathematics and computation in music. 7th international conference, MCM 2019, Madrid, Spain, June 18–21, 2019, Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11502, 236-247 (2019).
MSC:  00A65 62H86 68W30
PDFBibTeX XMLCite
Full Text: DOI

The student’s introduction to Mathematica and the Wolfram language. 3rd edition. (English) Zbl 1409.00005

Cambridge: Cambridge University Press (ISBN 978-1-108-40636-9/pbk; 978-1-108-29093-7/ebook). xiii, 534  p. (2019).
PDFBibTeX XMLCite
Full Text: DOI

Automatically generated mathematical problems and solutions. Efficient teaching and learning with MATLAB. (Mathematische Aufgaben und Lösungen automatisch generieren. Effizientes Lehren und Lernen mit MATLAB.) (German) Zbl 1393.97002

Heidelberg: Springer Spektrum (ISBN 978-3-662-57777-6/pbk; 978-3-662-57778-3/ebook). xiii, 397 p. (2018).
MSC:  97-02 97U70 00A07
PDFBibTeX XMLCite
Full Text: DOI

Francy – an interactive discrete mathematics framework for GAP. (English) Zbl 1395.68348

Davenport, James H. (ed.) et al., Mathematical software – ICMS 2018. 6th international conference, South Bend, IN, USA, July 24–27, 2018. Proceedings. Cham: Springer (ISBN 978-3-319-96417-1/pbk; 978-3-319-96418-8/ebook). Lecture Notes in Computer Science 10931, 352-358 (2018).
MSC:  68W30
PDFBibTeX XMLCite
Full Text: DOI arXiv Link

Enumeration reducibility in closure spaces with applications to logic and algebra. (English) Zbl 1452.03096

Proceedings of the 2017 32nd annual ACM/IEEE symposium on logic in computer science, LICS 2017, Reykjavík University, Reykjavík, Iceland, June 20–23, 2017. Piscataway, NJ: IEEE Press. Article No. 26, 11 p. (2017).
PDFBibTeX XMLCite
Full Text: arXiv Link

Contemporary interpretation of a historical locus problem with the use of computer algebra. (English) Zbl 1395.51004

Kotsireas, Ilias S. (ed.) et al., Applications of computer algebra, Kalamata, Greece, July 20–23, 2015. Cham: Springer (ISBN 978-3-319-56930-7/hbk; 978-3-319-56932-1/ebook). Springer Proceedings in Mathematics & Statistics 198, 191-205 (2017).
PDFBibTeX XMLCite
Full Text: DOI

A fuzzy-clustering based approach for measuring similarity between melodies. (English) Zbl 1456.00083

Agustín-Aquino, Octavio A. (ed.) et al., Mathematics and computation in music. 6th international conference, MCM 2017, Mexico City, Mexico, June 26–29, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10527, 279-290 (2017).
MSC:  00A65 62H86
PDFBibTeX XMLCite
Full Text: DOI

Forecasting financial time big data using interval time series. (English) Zbl 1462.62034

Colubi, Ana (ed.) et al., Proceedings of COMPSTAT 2016 – 22nd international conference on computational statistics, Oviedo, Spain, August 23–26, 2016. The Hague: International Statistical Institute; The Hague: International Association for Statistical Computing. 303-314 (2016).
MSC:  62-08 62P05 62M10
PDFBibTeX XMLCite

Ergodic theory, dynamical systems, and the continuing influence of John C. Oxtoby. Oxtoby centennial conference, Bryn Mawr College, Bryn Mawr, PA, USA, October 30–31, 2010. Williams ergodic theory conference, Williams College, Williamstown, MA, USA, July 27–29, 2012. AMS special session on ergodic theory and symbolic dynamics, Baltimore, MD, USA, January 17–18, 2014. Proceedings. (English) Zbl 1357.37001

Contemporary Mathematics 678. Providence, RI: American Mathematical Society (AMS) (ISBN 978-1-4704-2299-8/pbk; 978-1-4704-3589-9/ebook). xvi, 316 p. (2016).
PDFBibTeX XMLCite
Full Text: DOI

Towards the automatic discovery of theorems in GeoGebra. (English) Zbl 1434.68636

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, 37-42 (2016).
PDFBibTeX XMLCite
Full Text: DOI

Race against the teens – benchmarking mechanized math on pre-university problems. (English) Zbl 1475.68459

Olivetti, Nicola (ed.) et al., Automated reasoning. 8th international joint conference, IJCAR 2016, Coimbra, Portugal, June 27 – July 2, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9706, 213-227 (2016).
PDFBibTeX XMLCite
Full Text: DOI

Scientific computing with MATLAB. 2nd edition. (English) Zbl 1344.65001

Boca Raton, FL: CRC Press (ISBN 978-1-4987-5777-5/hbk; 978-0-367-78313-6/pbk; 978-1-315-36785-9/ebook). xvii, 586 p. (2016).
PDFBibTeX XMLCite
Full Text: DOI

Applied abstract algebra with Maple and MATLAB. 3rd edition. (English) Zbl 1348.00002

Textbooks in Mathematics. Boca Raton, FL: CRC Press (ISBN 978-1-4822-4823-4/hbk; 978-1-4822-4827-2/ebook). xvi, 539 p. (2016).
PDFBibTeX XMLCite

Mathematics for engineers. An application oriented textbook. 7th updated edition. (Mathematik für Ingenieure. Ein anwendungsorientiertes Lehrbuch.) (German) Zbl 1351.00005

Springer-Lehrbuch. Wiesbaden: Springer Vieweg (ISBN 978-3-642-54289-3/pbk; 978-3-642-54290-9/ebook). xiv, 695 p. (2015).
PDFBibTeX XMLCite
Full Text: DOI

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