×

Found 1,197 Documents (Results 1–100)

Mathematical Olympiad in China (2019–2020). Problems and solutions. Translated by Zhao Wei and Zhou Tianyou. (English) Zbl 1497.00003

Mathematical Olympiad Series 19. Singapore: World Scientific; Shanghai: East China Normal University Press (ISBN 978-981-12-5632-5/hbk; 978-981-12-5739-1/pbk; 978-981-12-5634-9/ebook). xviii, 281 p. (2023).
MSC:  00A07 97U40
PDF BibTeX XML Cite
Full Text: DOI

Mathematical Olympiad in China (2017–2018). Problems and solutions. Translated by Wang Shanping and Chen Haoran. (English) Zbl 1495.00002

Mathematical Olympiad Series 18. Singapore: World Scientific; Shanghai: East China Normal University Press (ISBN 978-981-12-5629-5/hbk; 978-981-12-5738-4/pbk; 978-981-12-5631-8/ebook). xviii, 281 p. (2023).
MSC:  00A07 97U40
PDF BibTeX XML Cite
Full Text: DOI

Mathematical Olympiad in China (2015–2016). Problems and solutions. Translated by Chen Xiao-Min. (English) Zbl 1495.00003

Mathematical Olympiad Series 17. Singapore: World Scientific; Shanghai: East China Normal University Press (ISBN 978-981-12-5071-2/hbk; 978-981-12-5191-7/pbk; 978-981-12-5073-6/ebook). xviii, 188 p. (2022).
MSC:  00A07 97U40
PDF BibTeX XML Cite
Full Text: DOI

Exam training linear algebra. Volume I: Matrices, determinants, systems of linear equations, vector spaces, linear mappings, eigenvalues and eigenvectors. (Prüfungstraining lineare Algebra. Band I: Matrizen, Determinanten, lineare Gleichungssysteme, Vektorräume, lineare Abbildungen, Eigenwerte und Eigenvektoren.) (German) Zbl 1493.15001

Grundstudium Mathematik Prüfungstraining. Cham: Birkhäuser (ISBN 978-3-030-65885-4/pbk; 978-3-030-65886-1/ebook). xi, 682 p. (2022).
PDF BibTeX XML Cite
Full Text: DOI

Math out loud. An oral Olympiad handbook. (English) Zbl 07647944

MSRI Mathematical Circles Library 27. Providence, RI: American Mathematical Society (AMS); Berkeley, CA: Mathematical Sciences Research Institute (MSRI) (ISBN 978-1-4704-6693-0/pbk; 978-1-4704-6742-5/ebook). x, 243 p. (2021).
MSC:  00-01 00A08 97U40
PDF BibTeX XML Cite

Advanced LaTeX in academia. Applications in research and education. (English) Zbl 1491.68005

Cham: Springer (ISBN 978-3-030-88955-5/hbk; 978-3-030-88958-6/pbk; 978-3-030-88956-2/ebook). xi, 239 p. (2021).
MSC:  68-01 68U15 97U50
PDF BibTeX XML Cite
Full Text: DOI

Design of individualized digital activities fostering strategic planning in linear algebra. (English) Zbl 1473.97039

Magnaghi-Delfino, Paola (ed.) et al., Faces of geometry. II edition. Based on the international conference, hosted online by Politecnico di Milano, Milan, Italy, October 27–28, 2020. Cham: Springer. Lect. Notes Netw. Syst. 172, 287-298 (2021).
MSC:  97U50 97H60
PDF BibTeX XML Cite
Full Text: DOI

Exercises and solutions for mathematics for the start of studies. Bridge course, analysis and linear algebra for universities. (Aufgaben und Lösungen zur Mathematik für den Studienstart. Brückenkurs, Analysis und Lineare Algebra für Hochschulen.) (German) Zbl 1468.00002

Wiesbaden: Springer Spektrum (ISBN 978-3-662-63627-5/pbk; 978-3-662-63628-2/ebook). ix, 384 p. (2021).
PDF BibTeX XML Cite
Full Text: DOI

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).
PDF BibTeX XML Cite
Full Text: DOI

Workbook algebra. Problems and solutions with detailed explanations and hints. 2nd edition. (Arbeitsbuch Algebra. Aufgaben und Lösungen mit ausführlichen Erklärungen und Hinführungen.) (German) Zbl 1456.00001

Berlin: Springer Spektrum (ISBN 978-3-662-61953-7/pbk; 978-3-662-61954-4/ebook). x, 311 p. (2021).
PDF BibTeX XML Cite
Full Text: DOI

The William Lowell Putnam mathematical competition 2001–2016. Problems, solutions, and commentary. (English) Zbl 1490.00004

AMS/MAA Problem Books 37. Washington, DC: Mathematical Association of America (MAA) (ISBN 978-1-4704-5427-2/pbk; 978-1-4704-6260-4/ebook). xii, 348 p. (2020).
MSC:  00A07 97U40
PDF BibTeX XML Cite

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).
PDF BibTeX XML Cite
Full Text: DOI

Automata Tutor v3. (English) Zbl 1478.97002

Lahiri, Shuvendu Kumar (ed.) et al., Computer aided verification. 32nd international conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 12225, 3-14 (2020).
PDF BibTeX XML Cite
Full Text: DOI arXiv

Dataset description: formalization of elementary number theory in Mizar. (English) Zbl 1455.68259

Benzmüller, Christoph (ed.) et al., Intelligent computer mathematics. 13th international conference, CICM 2020, Bertinoro, Italy, July 26–31, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12236, 303-308 (2020).
PDF BibTeX XML Cite
Full Text: DOI

FrameIT: detangling knowledge management from game design in serious games. (English) Zbl 1455.68266

Benzmüller, Christoph (ed.) et al., Intelligent computer mathematics. 13th international conference, CICM 2020, Bertinoro, Italy, July 26–31, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12236, 173-189 (2020).
MSC:  68V30 97U70
PDF BibTeX XML Cite
Full Text: DOI

OntoMath\(^\mathit{Edu}\): a linguistically grounded educational mathematical ontology. (English) Zbl 1455.68265

Benzmüller, Christoph (ed.) et al., Intelligent computer mathematics. 13th international conference, CICM 2020, Bertinoro, Italy, July 26–31, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12236, 157-172 (2020).
PDF BibTeX XML Cite
Full Text: DOI

Mathematics education in the computational age: challenges and opportunities. (English) Zbl 1443.97002

Bailey, David H. (ed.) et al., From analysis to visualization. A celebration of the life and legacy of Jonathan M. Borwein, Callaghan, Australia, September 25–29, 2017. Cham: Springer. Springer Proc. Math. Stat. 313, 149-152 (2020).
PDF BibTeX XML Cite
Full Text: DOI

Student solution manual for Differential equations: techniques, theory, and applications. (English) Zbl 1434.34001

Providence, RI: American Mathematical Society (AMS) (ISBN 978-1-4704-5350-3/pbk). ix, 283 p. (2020).
PDF BibTeX XML Cite

Proof technology in mathematics research and teaching. (English) Zbl 1451.97008

Mathematics Education in the Digital Era 14. Cham: Springer (ISBN 978-3-030-28482-4/hbk; 978-3-030-28485-5/pbk; 978-3-030-28483-1/ebook). viii, 379 p. (2019).
PDF BibTeX XML Cite
Full Text: DOI Link

2017 GITC problem sessions. (English) Zbl 1453.57001

Gay, David T. (ed.) et al., Breadth in contemporary topology. 2017 Georgia international topology conference, University of Georgia, Athens, Georgia, USA, May 22 – June 2, 2017. Providence, RI: American Mathematical Society (AMS). Proc. Symp. Pure Math. 102, 277-282 (2019).
MSC:  57-06 54-06 97U40
PDF BibTeX XML Cite

Sequences and mathematical induction. In Mathematical Olympiad and competitions. Translated by Feng Ma and Youren Wang. 2nd edition. (English) Zbl 1428.00002

Mathematical Olympiad Series 16. Hackensack, NJ: World Scientific (ISBN 978-981-12-1103-4/hbk; 978-981-12-1207-9/pbk; 978-981-12-1105-8/ebook). xvi, 202 p. (2019).
MSC:  00A07 97U40 40A05
PDF BibTeX XML Cite
Full Text: DOI

“Je n’ai point ambitionnée d’être neuf”: modern geometry in early nineteenth-century French textbooks. (English) Zbl 1423.97003

Schubring, Gert (ed.), Interfaces between mathematical practices and mathematical education. Cham: Springer. Int. Stud. Hist. Math. Teach., 69-122 (2019).
PDF BibTeX XML Cite
Full Text: DOI

Examination trainer linear algebra. 500+ questions and answers with interactive online trainer. With the collaboration of Pascal Klaiber. 2nd edition. (Prüfungstrainer Lineare Algebra. 500+ Fragen und Antworten mit interaktivem Online-Trainer.) (German) Zbl 1422.00008

Berlin: Springer Spektrum (ISBN 978-3-662-59403-2/pbk; 978-3-662-59404-9/ebook). viii, 261 p. (2019).
PDF BibTeX XML Cite
Full Text: DOI

Portal through mathematics. Journey to advanced thinking. Translated from the Russian by Robert G. Burns. Reprint of the 2017 edition. (English) Zbl 1464.97001

Anneli Lax New Mathematical Library 52. Washington, DC: The Mathematical Association of America (MAA) (ISBN 978-1-4704-4876-9/pbk; 978-1-4704-4877-6/ebook). xiv, 304 p. (2018).
MSC:  97-01 00A07 97U40
PDF BibTeX XML Cite

Mathematics with models. Alexander von Brill and the Tübingen model collection. (Mathematik mit Modellen. Alexander von Brill und die Tübinger Modellsammlung.) (German) Zbl 1425.00012

Schriften des Museums der Universität Tübingen (MUT) 16. Tübingen: Museum der Universität Tübingen (MUT) (ISBN 978-3-9819182-0-5). 399 p. (2018).
MSC:  00A09 01A55 97U60
PDF BibTeX XML Cite

Calculational relation-algebraic proofs in the teaching tool CalcCheck. (English) Zbl 1462.68216

Desharnais, Jules (ed.) et al., Relational and algebraic methods in computer science. 17th international conference, RAMiCS 2018, Groningen, The Netherlands, October 29 – November 1, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11194, 366-384 (2018).
MSC:  68V15 97U70
PDF BibTeX XML Cite
Full Text: DOI

Formalized mathematical content in lecture notes on modelling and analysis. (English) Zbl 1418.97001

Rabe, Florian (ed.) et al., Intelligent computer mathematics. 11th international conference, CICM 2018, Hagenberg, Austria, August 13–17, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11006, 125-130 (2018).
MSC:  97U99 68U15 97I10
PDF BibTeX XML Cite
Full Text: DOI

CalcCheck: a proof checker for teaching the “Logical approach to discrete math”. (English) Zbl 1462.68215

Avigad, Jeremy (ed.) et al., Interactive theorem proving. 9th international conference, ITP 2018, held as part of the federated logic conference, FloC 2018, Oxford, UK, July 9–12, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10895, 324-341 (2018).
MSC:  68V15 97U70
PDF BibTeX XML Cite
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
PDF BibTeX XML Cite
Full Text: DOI

Generation of abundant multi-choice or STACK type questions using CAS for random assignments. (English) Zbl 1396.97002

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, 492-497 (2018).
PDF BibTeX XML Cite
Full Text: DOI

Intelligent editor for authoring educational materials in mathematics e-learning systems. (English) Zbl 1396.97030

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, 431-437 (2018).
MSC:  97U70 68U35
PDF BibTeX XML Cite
Full Text: DOI

A novel dynamic mathematics system based on the Internet. (English) Zbl 1395.97004

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, 389-396 (2018).
MSC:  97U70 68U35
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type

Database

Reviewing State

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software