Mathematical Software -- ICMS 2014

Mathematical Software -- ICMS 2014
Author: Hoon Hong
Publisher: Springer
Total Pages: 762
Release: 2014-08-01
Genre: Computers
ISBN: 3662441993

This book constitutes the proceedings of the 4th International Conference on Mathematical Software, ICMS 2014, held in Seoul, South Korea, in August 2014. The 108 papers included in this volume were carefully reviewed and selected from 150 submissions. The papers are organized in topical sections named: invited; exploration; group; coding; topology; algebraic; geometry; surfaces; reasoning; special; Groebner; triangular; parametric; interfaces and general.

Mathematical Software – ICMS 2016

Mathematical Software – ICMS 2016
Author: Gert-Martin Greuel
Publisher: Springer
Total Pages: 533
Release: 2016-07-05
Genre: Computers
ISBN: 3319424327

This book constitutes the proceedings of the 5th International Conference on Mathematical Software, ICMS 2015, held in Berlin, Germany, in July 2016. The 68 papers included in this volume were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections named: univalent foundations and proof assistants; software for mathematical reasoning and applications; algebraic and toric geometry; algebraic geometry in applications; software of polynomial systems; software for numerically solving polynomial systems; high-precision arithmetic, effective analysis, and special functions; mathematical optimization; interactive operation to scientific artwork and mathematical reasoning; information services for mathematics: software, services, models, and data; semDML: towards a semantic layer of a world digital mathematical library; miscellanea.

Mathematical Software – ICMS 2018

Mathematical Software – ICMS 2018
Author: James H. Davenport
Publisher: Springer
Total Pages: 525
Release: 2018-07-17
Genre: Computers
ISBN: 3319964186

This book constitutes the proceedings of the 6th International Conference on Mathematical Software, ICMS 2018, held in South Bend, IN, USA, in July 2018.The 59 papers included in this volume were carefully reviewed and selected from numerous submissions. The program of the 2018 meeting consisted of 20 topical sessions, each of which providing an overview of the challenges, achievements and progress in a subeld of mathematical software research, development and use.

Mathematical Software – ICMS 2020

Mathematical Software – ICMS 2020
Author: Anna Maria Bigatti
Publisher: Springer Nature
Total Pages: 491
Release: 2020-07-07
Genre: Computers
ISBN: 3030522008

This book constitutes the proceedings of the 7th International Conference on Mathematical Software, ICMS 2020, held in Braunschweig, Germany, in July 2020. The 48 papers included in this volume were carefully reviewed and selected from 58 submissions. The program of the 2020 meeting consisted of 20 topical sessions, each of which providing an overview of the challenges, achievements and progress in a environment of mathematical software research, development and use.

Mathematical Aspects of Computer and Information Sciences

Mathematical Aspects of Computer and Information Sciences
Author: Ilias S. Kotsireas
Publisher: Springer
Total Pages: 631
Release: 2016-04-16
Genre: Computers
ISBN: 331932859X

This book constitutes the thoroughly refereed post-conference proceedings of the 6th International Conference on Mathematical Aspects of Computer and Information Sciences, MACIS 2015, held in Berlin, Germany, in November 2015. The 48 revised papers presented together with 7 invited papers were carefully reviewed and selected from numerous submissions. The papers are grouped in topical sections on curves and surfaces, applied algebraic geometry, cryptography, verified numerical computation, polynomial system solving, managing massive data, computational theory of differential and difference equations, data and knowledge exploration, algorithm engineering in geometric computing, real complexity: theory and practice, global optimization, and general session.

Software for Exascale Computing - SPPEXA 2016-2019

Software for Exascale Computing - SPPEXA 2016-2019
Author: Hans-Joachim Bungartz
Publisher: Springer Nature
Total Pages: 624
Release: 2020-07-30
Genre: Computers
ISBN: 3030479560

This open access book summarizes the research done and results obtained in the second funding phase of the Priority Program 1648 "Software for Exascale Computing" (SPPEXA) of the German Research Foundation (DFG) presented at the SPPEXA Symposium in Dresden during October 21-23, 2019. In that respect, it both represents a continuation of Vol. 113 in Springer’s series Lecture Notes in Computational Science and Engineering, the corresponding report of SPPEXA’s first funding phase, and provides an overview of SPPEXA’s contributions towards exascale computing in today's sumpercomputer technology. The individual chapters address one or more of the research directions (1) computational algorithms, (2) system software, (3) application software, (4) data management and exploration, (5) programming, and (6) software tools. The book has an interdisciplinary appeal: scholars from computational sub-fields in computer science, mathematics, physics, or engineering will find it of particular interest.

Making Presentation Math Computable

Making Presentation Math Computable
Author: André Greiner-Petter
Publisher: Springer Nature
Total Pages: 209
Release: 2023-01-24
Genre: Technology & Engineering
ISBN: 3658404736

This Open-Access-book addresses the issue of translating mathematical expressions from LaTeX to the syntax of Computer Algebra Systems (CAS). Over the past decades, especially in the domain of Sciences, Technology, Engineering, and Mathematics (STEM), LaTeX has become the de-facto standard to typeset mathematical formulae in publications. Since scientists are generally required to publish their work, LaTeX has become an integral part of today's publishing workflow. On the other hand, modern research increasingly relies on CAS to simplify, manipulate, compute, and visualize mathematics. However, existing LaTeX import functions in CAS are limited to simple arithmetic expressions and are, therefore, insufficient for most use cases. Consequently, the workflow of experimenting and publishing in the Sciences often includes time-consuming and error-prone manual conversions between presentational LaTeX and computational CAS formats. To address the lack of a reliable and comprehensive translation tool between LaTeX and CAS, this thesis makes the following three contributions. First, it provides an approach to semantically enhance LaTeX expressions with sufficient semantic information for translations into CAS syntaxes. Second, it demonstrates the first context-aware LaTeX to CAS translation framework LaCASt. Third, the thesis provides a novel approach to evaluate the performance for LaTeX to CAS translations on large-scaled datasets with an automatic verification of equations in digital mathematical libraries. This is an open access book.

3D Printing in Mathematics

3D Printing in Mathematics
Author: Maria Trnkova
Publisher: American Mathematical Society
Total Pages: 242
Release: 2023-11-07
Genre: Mathematics
ISBN: 1470469162

This volume is based on lectures delivered at the 2022 AMS Short Course “3D Printing: Challenges and Applications” held virtually from January 3–4, 2022. Access to 3D printing facilities is quickly becoming ubiquitous across college campuses. However, while equipment training is readily available, the process of taking a mathematical idea and making it into a printable model presents a big hurdle for most mathematicians. Additionally, there are still many open questions around what objects are possible to print, how to design algorithms for doing so, and what kinds of geometries have desired kinematic properties. This volume is focused on the process and applications of 3D printing for mathematical education, research, and visualization, alongside a discussion of the challenges and open mathematical problems that arise in the design and algorithmic aspects of 3D printing. The articles in this volume are focused on two main topics. The first is to make a bridge between mathematical ideas and 3D visualization. The second is to describe methods and techniques for including 3D printing in mathematical education at different levels— from pedagogy to research and from demonstrations to individual projects. We hope to establish the groundwork for engaged academic discourse on the intersections between mathematics, 3D printing and education.

Mathematical Aspects of Computer and Information Sciences

Mathematical Aspects of Computer and Information Sciences
Author: Johannes Blömer
Publisher: Springer
Total Pages: 466
Release: 2017-12-20
Genre: Computers
ISBN: 3319724533

This book constitutes the refereed proceedings of the 7th International Conference on Mathematical Aspects of Computer and Information Sciences, MACIS 2017, held in Vienna, Austria, in November 2017. The 28 revised papers and 8 short papers presented were carefully reviewed and selected from 67 submissions. The papers are organized in the following topical sections: foundation of algorithms in mathematics, engineering and scientific computation; combinatorics and codes in computer science; data modeling and analysis; and mathematical aspects of information security and cryptography.