國立虎尾科技大學 |

Mathematical software - ICMS 2024 = 8th International Conference, Durham, UK, July 22-25, 2024 : proceedings /

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	Mathematical software - ICMS 2024/ edited by Kevin Buzzard ... [et al.].
其他題名:	8th International Conference, Durham, UK, July 22-25, 2024 : proceedings /
其他題名:	ICMS 2024
其他作者:	Buzzard, Kevin.
團體作者:	Workshop on the Preservation of Stability under Discretization
出版者:	Cham :Springer Nature Switzerland : : 2024.,
面頁冊數:	xxiv, 376 p. :ill. (some col.), digital ; : 24 cm.;
Contained By:	Springer Nature eBook
標題:	Computer System Implementation. -
電子資源:	https://doi.org/10.1007/978-3-031-64529-7
ISBN:	9783031645297

Mathematical software - ICMS 2024 = 8th International Conference, Durham, UK, July 22-25, 2024 : proceedings /
Mathematical software - ICMS 20248th International Conference, Durham, UK, July 22-25, 2024 : proceedings /[electronic resource] :ICMS 2024edited by Kevin Buzzard ... [et al.]. - Cham :Springer Nature Switzerland :2024. - xxiv, 376 p. :ill. (some col.), digital ;24 cm. - Lecture notes in computer science,147491611-3349 ;. - Lecture notes in computer science ;6140..

Plenary Lectures. -- The Reformation of Sage. -- Algorithm and abstraction in formal mathematics. -- Number theory and related areas. -- Computing the Determinant of a Dense Matrix over Z. -- FastECPP over MPI. -- Attacking a Levelled Fully Homomorphic Encryption System with Topological Data Analysis. -- Novel Formalisations of Mathematics in Lean. -- Formalising Families of l-adic Galois Representations in Lean 4. -- Formalization of the Existence of Frobenius Elements. -- Formalising Analysis in Lean: Compactness and Dimensionality. -- Formalisation of the Category of Hopf Algebras in Lean4. -- Software for the applications of group theory to combinatorics. -- Computing the Group of an Algebraic Variety over a Finite Field. -- Computer classification of linear codes based on lattice point enumeration. -- Software for proper vertex-colouring exploiting graph symmetry. -- Classical Algebraic Geometry & Modern Computer Algebra: Innovative Software Design and Its Applications. -- Localization in Gromov-Witten theory of toric varieties in a computer algebra system. -- Advancing computer algebra with massively parallel methods. -- Massively Parallel Methods for Free Resolutions. -- Towards Parallel Methods in Birational Geometry. -- Towards Parallel Algorithms for Gromov-Witten Invariants of Elliptic Curves. -- Computer algebra applications in the life sciences. -- A SageMath Package for Elementary and Sign Vectors with Applications to Chemical Reaction Networks. -- Machine learning within computer algebra systems. -- Symbolic Integration Algorithm Selection with Machine Learning: LSTMs vs Tree LSTMs. -- Constrained Neural Networks for Interpretable Heuristic Creation to Optimise Computer Algebra Systems. -- Machine Learning for Variable Ordering in Cylindrical Algebraic Decomposition. -- Machine learning for number theory. -- Numerical software for special functions. -- Approximation of an inverse of the incomplete beta function. -- DLMF Standard Reference Tables on Demand. -- Mathematical research data. -- Integrating Mathematical Data and Resources: Advancements in zbMATH Open for Enhanced Mathematical Research Accessibility and Reproducibility. -- A FAIR File Format for Mathematical Software. -- Predefined Software Environment Runtimes As A Measure For Reproducibility. -- Towards a FAIR Documentation of Workflows and Models in Applied Mathematics. -- Symbolic-numeric methods in algebraic geometry. -- Monodromy Coordinates. -- Effective alpha theory certification using interval arithmetic: alpha theory over regions. -- Gr¨obner Degenerations of Determinantal Ideals with an Application to Toric Degenerations of Grassmannians. -- Polyhedral geometry and combinatorics. -- Eigenvalue Methods for Sparse Tropical Polynomial Systems. -- A framework for generalized tropical homotopy continuation. -- Regular Flips in mptopcom. -- Dynamic decomposition of tropical prevarieties for celestial mechanics. -- General Session. -- Integrating GeoGebra with React and WebAssembly: A Web-Based Approach for Mathematical Software Development. -- DetGB: A Software Package for Computing Gr¨obner Bases of Determinantal Ideals. -- Extrapolating Solution Paths of Polynomial Homotopies towards Singularities with PHCpack and phcpy.

This book constitutes the proceedings of the 8th International Conference on Mathematical Software, ICMS 2024, held in Durham, UK, during July 22-25, 2024. The 37 full papers presented were carefully reviewed and selected from 46 submissions. The papers are organized in subject areas as follows: plenary lectures; number theory and related areas; novel formalisations of mathematics in lean; software for the applications of group theory to combinatorics; classical algebraic geometry & modern computer algebra: innovative software design and its applications; advancing computer algebra with massively parallel methods; computer algebra applications in the life sciences; machine learning within computer algebra systems; numerical software for special functions; mathematical research data; symbolic-numeric methods in algebraic geometry; Polyhedral geometry and combinatorics; general session.

ISBN: 9783031645297

Standard No.: 10.1007/978-3-031-64529-7doiSubjects--Topical Terms:

669803
Computer System Implementation.

LC Class. No.: QA76.95 / .I5654 2024

Dewey Class. No.: 510.285536

Mathematical software - ICMS 2024 = 8th International Conference, Durham, UK, July 22-25, 2024 : proceedings /
LDR:05324nam a2200349 a 4500 001 1133756
003 DE-He213
005 20240717125241.0
006 m d
007 cr nn 008maaau
008 241213s2024 sz s 0 eng d
020 $a 9783031645297 $q (electronic bk.)
020 $a 9783031645280 $q (paper)
024 7 $a 10.1007/978-3-031-64529-7 $2 doi
035 $a 978-3-031-64529-7
040 $a GP $c GP
041 0 $a eng
050 4 $a QA76.95 $b .I5654 2024
072 7 $a UYAM $2 bicssc
072 7 $a COM014000 $2 bisacsh
072 7 $a UYAM $2 thema
082 0 4 $a 510.285536 $2 23
090 $a QA76.95 $b .I61 2024
111 2 $a Workshop on the Preservation of Stability under Discretization $d (2001 : $c Fort Collins, Colo.) $3 527686
245 1 0 $a Mathematical software - ICMS 2024 $h [electronic resource] : $b 8th International Conference, Durham, UK, July 22-25, 2024 : proceedings / $c edited by Kevin Buzzard ... [et al.].
246 3 $a ICMS 2024
260 $a Cham : $c 2024. $b Springer Nature Switzerland : $b Imprint: Springer,
300 $a xxiv, 376 p. : $b ill. (some col.), digital ; $c 24 cm.
490 1 $a Lecture notes in computer science, $x 1611-3349 ; $v 14749
505 0 $a Plenary Lectures. -- The Reformation of Sage. -- Algorithm and abstraction in formal mathematics. -- Number theory and related areas. -- Computing the Determinant of a Dense Matrix over Z. -- FastECPP over MPI. -- Attacking a Levelled Fully Homomorphic Encryption System with Topological Data Analysis. -- Novel Formalisations of Mathematics in Lean. -- Formalising Families of l-adic Galois Representations in Lean 4. -- Formalization of the Existence of Frobenius Elements. -- Formalising Analysis in Lean: Compactness and Dimensionality. -- Formalisation of the Category of Hopf Algebras in Lean4. -- Software for the applications of group theory to combinatorics. -- Computing the Group of an Algebraic Variety over a Finite Field. -- Computer classification of linear codes based on lattice point enumeration. -- Software for proper vertex-colouring exploiting graph symmetry. -- Classical Algebraic Geometry & Modern Computer Algebra: Innovative Software Design and Its Applications. -- Localization in Gromov-Witten theory of toric varieties in a computer algebra system. -- Advancing computer algebra with massively parallel methods. -- Massively Parallel Methods for Free Resolutions. -- Towards Parallel Methods in Birational Geometry. -- Towards Parallel Algorithms for Gromov-Witten Invariants of Elliptic Curves. -- Computer algebra applications in the life sciences. -- A SageMath Package for Elementary and Sign Vectors with Applications to Chemical Reaction Networks. -- Machine learning within computer algebra systems. -- Symbolic Integration Algorithm Selection with Machine Learning: LSTMs vs Tree LSTMs. -- Constrained Neural Networks for Interpretable Heuristic Creation to Optimise Computer Algebra Systems. -- Machine Learning for Variable Ordering in Cylindrical Algebraic Decomposition. -- Machine learning for number theory. -- Numerical software for special functions. -- Approximation of an inverse of the incomplete beta function. -- DLMF Standard Reference Tables on Demand. -- Mathematical research data. -- Integrating Mathematical Data and Resources: Advancements in zbMATH Open for Enhanced Mathematical Research Accessibility and Reproducibility. -- A FAIR File Format for Mathematical Software. -- Predefined Software Environment Runtimes As A Measure For Reproducibility. -- Towards a FAIR Documentation of Workflows and Models in Applied Mathematics. -- Symbolic-numeric methods in algebraic geometry. -- Monodromy Coordinates. -- Effective alpha theory certification using interval arithmetic: alpha theory over regions. -- Gr¨obner Degenerations of Determinantal Ideals with an Application to Toric Degenerations of Grassmannians. -- Polyhedral geometry and combinatorics. -- Eigenvalue Methods for Sparse Tropical Polynomial Systems. -- A framework for generalized tropical homotopy continuation. -- Regular Flips in mptopcom. -- Dynamic decomposition of tropical prevarieties for celestial mechanics. -- General Session. -- Integrating GeoGebra with React and WebAssembly: A Web-Based Approach for Mathematical Software Development. -- DetGB: A Software Package for Computing Gr¨obner Bases of Determinantal Ideals. -- Extrapolating Solution Paths of Polynomial Homotopies towards Singularities with PHCpack and phcpy.
520 $a This book constitutes the proceedings of the 8th International Conference on Mathematical Software, ICMS 2024, held in Durham, UK, during July 22-25, 2024. The 37 full papers presented were carefully reviewed and selected from 46 submissions. The papers are organized in subject areas as follows: plenary lectures; number theory and related areas; novel formalisations of mathematics in lean; software for the applications of group theory to combinatorics; classical algebraic geometry & modern computer algebra: innovative software design and its applications; advancing computer algebra with massively parallel methods; computer algebra applications in the life sciences; machine learning within computer algebra systems; numerical software for special functions; mathematical research data; symbolic-numeric methods in algebraic geometry; Polyhedral geometry and combinatorics; general session.
650 2 4 $a Computer System Implementation. $3 669803
650 2 4 $a Artificial Intelligence. $3 646849
650 2 4 $a Mathematical Applications in Computer Science. $3 815331
650 2 4 $a Computer Communication Networks. $3 669310
650 1 4 $a Mathematics of Computing. $3 669457
650 0 $a Computer software $v Congresses. $3 674582 $3 727794
650 0 $a Mathematics $x Data processing $v Congresses. $3 681588 $3 733637
650 0 $a Mathematics $x Computer programs $v Congresses. $3 1454994
700 1 $a Buzzard, Kevin. $e editor. $1 https://orcid.org/0000-0002-7187-5109 $3 1389150
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer Nature eBook
830 0 $a Lecture notes in computer science ; $v 6140. $3 744199
856 4 0 $u https://doi.org/10.1007/978-3-031-64529-7
950 $a Computer Science (SpringerNature-11645)