000 06995nam a22006255i 4500
001 978-3-031-64529-7
003 DE-He213
005 20240730172831.0
007 cr nn 008mamaa
008 240717s2024 sz | s |||| 0|eng d
020 _a9783031645297
_9978-3-031-64529-7
024 7 _a10.1007/978-3-031-64529-7
_2doi
050 4 _aQA76.9.M35
072 7 _aUYAM
_2bicssc
072 7 _aCOM014000
_2bisacsh
072 7 _aUYAM
_2thema
082 0 4 _a004.0151
_223
245 1 0 _aMathematical Software - ICMS 2024
_h[electronic resource] :
_b8th International Conference, Durham, UK, July 22-25, 2024, Proceedings /
_cedited by Kevin Buzzard, Alicia Dickenstein, Bettina Eick, Anton Leykin, Yue Ren.
250 _a1st ed. 2024.
264 1 _aCham :
_bSpringer Nature Switzerland :
_bImprint: Springer,
_c2024.
300 _aXXIV, 376 p. 91 illus., 39 illus. in color.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aLecture Notes in Computer Science,
_x1611-3349 ;
_v14749
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 _aThis 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 0 _aComputer science
_xMathematics.
_93866
650 0 _aComputer networks .
_931572
650 0 _aArtificial intelligence.
_93407
650 0 _aComputer systems.
_9105732
650 1 4 _aMathematics of Computing.
_931875
650 2 4 _aComputer Communication Networks.
_9105735
650 2 4 _aMathematical Applications in Computer Science.
_931683
650 2 4 _aArtificial Intelligence.
_93407
650 2 4 _aComputer System Implementation.
_938514
700 1 _aBuzzard, Kevin.
_eeditor.
_0(orcid)
_10000-0002-7187-5109
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9105736
700 1 _aDickenstein, Alicia.
_eeditor.
_0(orcid)
_10000-0003-4863-4953
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9105738
700 1 _aEick, Bettina.
_eeditor.
_0(orcid)
_10000-0003-2884-6545
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9105740
700 1 _aLeykin, Anton.
_eeditor.
_0(orcid)
_10000-0002-9216-3514
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9105742
700 1 _aRen, Yue.
_eeditor.
_0(orcid)
_10000-0002-6005-7119
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9105743
710 2 _aSpringerLink (Online service)
_9105746
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783031645280
776 0 8 _iPrinted edition:
_z9783031645303
830 0 _aLecture Notes in Computer Science,
_x1611-3349 ;
_v14749
_923263
856 4 0 _uhttps://doi.org/10.1007/978-3-031-64529-7
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
942 _cEBK
999 _c88589
_d88589