Mathematical Software – ICMS 2024 (Record no. 61695)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 07187nam a22006255i 4500 |
| 001 - CONTROL NUMBER | |
| control field | 978-3-031-64529-7 |
| 003 - CONTROL NUMBER IDENTIFIER | |
| control field | DE-He213 |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20251030112634.0 |
| 007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION | |
| fixed length control field | cr nn 008mamaa |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 240717s2024 sz | s |||| 0|eng d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 9783031645297 |
| -- | 978-3-031-64529-7 |
| 024 7# - OTHER STANDARD IDENTIFIER | |
| Standard number or code | 10.1007/978-3-031-64529-7 |
| Source of number or code | doi |
| 050 #4 - LIBRARY OF CONGRESS CALL NUMBER | |
| Classification number | QA76.9.M35 |
| 072 #7 - SUBJECT CATEGORY CODE | |
| Subject category code | UYAM |
| Source | bicssc |
| 072 #7 - SUBJECT CATEGORY CODE | |
| Subject category code | COM014000 |
| Source | bisacsh |
| 072 #7 - SUBJECT CATEGORY CODE | |
| Subject category code | UYAM |
| Source | thema |
| 245 10 - TITLE STATEMENT | |
| Title | Mathematical Software – ICMS 2024 |
| Medium | [electronic resource] : |
| Remainder of title | 8th International Conference, Durham, UK, July 22–25, 2024, Proceedings / |
| Statement of responsibility, etc. | edited by Kevin Buzzard, Alicia Dickenstein, Bettina Eick, Anton Leykin, Yue Ren. |
| 250 ## - EDITION STATEMENT | |
| Edition statement | 1st ed. 2024. |
| 264 #1 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE | |
| Place of production, publication, distribution, manufacture | Cham : |
| Name of producer, publisher, distributor, manufacturer | Springer Nature Switzerland : |
| -- | Imprint: Springer, |
| Date of production, publication, distribution, manufacture, or copyright notice | 2024. |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | XXIV, 376 p. 91 illus., 39 illus. in color. |
| Other physical details | online resource. |
| 336 ## - CONTENT TYPE | |
| Content type term | text |
| Content type code | txt |
| Source | rdacontent |
| 337 ## - MEDIA TYPE | |
| Media type term | computer |
| Media type code | c |
| Source | rdamedia |
| 338 ## - CARRIER TYPE | |
| Carrier type term | online resource |
| Carrier type code | cr |
| Source | rdacarrier |
| 347 ## - DIGITAL FILE CHARACTERISTICS | |
| File type | text file |
| Encoding format | |
| Source | rda |
| 490 1# - SERIES STATEMENT | |
| Series statement | Lecture Notes in Computer Science, |
| International Standard Serial Number | 1611-3349 ; |
| Volume/sequential designation | 14749 |
| 505 0# - FORMATTED CONTENTS NOTE | |
| Formatted contents note | -- 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 ## - SUMMARY, ETC. | |
| Summary, etc. | 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 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | |
| General subdivision | Mathematics. |
| 9 (RLIN) | 64041 |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | |
| 9 (RLIN) | 60157 |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | |
| 9 (RLIN) | 58441 |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | |
| 650 14 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | |
| 9 (RLIN) | 66501 |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | |
| 9 (RLIN) | 65689 |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | |
| 9 (RLIN) | 65518 |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | |
| 9 (RLIN) | 58441 |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Buzzard, Kevin. |
| Relator term | editor. |
| Authority record control number | (orcid)0000-0002-7187-5109 |
| -- | https://orcid.org/0000-0002-7187-5109 |
| Relator code | edt |
| -- | http://id.loc.gov/vocabulary/relators/edt |
| 9 (RLIN) | 80784 |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Dickenstein, Alicia. |
| Relator term | editor. |
| Authority record control number | (orcid)0000-0003-4863-4953 |
| -- | https://orcid.org/0000-0003-4863-4953 |
| Relator code | edt |
| -- | http://id.loc.gov/vocabulary/relators/edt |
| 9 (RLIN) | 80785 |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Eick, Bettina. |
| Relator term | editor. |
| Authority record control number | (orcid)0000-0003-2884-6545 |
| -- | https://orcid.org/0000-0003-2884-6545 |
| Relator code | edt |
| -- | http://id.loc.gov/vocabulary/relators/edt |
| 9 (RLIN) | 80786 |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Leykin, Anton. |
| Relator term | editor. |
| Authority record control number | (orcid)0000-0002-9216-3514 |
| -- | https://orcid.org/0000-0002-9216-3514 |
| Relator code | edt |
| -- | http://id.loc.gov/vocabulary/relators/edt |
| 9 (RLIN) | 80787 |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Ren, Yue. |
| Relator term | editor. |
| Authority record control number | (orcid)0000-0002-6005-7119 |
| -- | https://orcid.org/0000-0002-6005-7119 |
| Relator code | edt |
| -- | http://id.loc.gov/vocabulary/relators/edt |
| 9 (RLIN) | 80788 |
| 710 2# - ADDED ENTRY--CORPORATE NAME | |
| Corporate name or jurisdiction name as entry element | SpringerLink (Online service) |
| 773 0# - HOST ITEM ENTRY | |
| Title | Springer Nature eBook |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY | |
| Relationship information | Printed edition: |
| International Standard Book Number | 9783031645280 |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY | |
| Relationship information | Printed edition: |
| International Standard Book Number | 9783031645303 |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE | |
| Uniform title | Lecture Notes in Computer Science, |
| International Standard Serial Number | 1611-3349 ; |
| Volume number/sequential designation | 14749 |
| 856 40 - ELECTRONIC LOCATION AND ACCESS | |
| Uniform Resource Identifier | <a href="https://doi.org/10.1007/978-3-031-64529-7">https://doi.org/10.1007/978-3-031-64529-7</a> |
| 912 ## - | |
| -- | ZDB-2-SCS |
| 912 ## - | |
| -- | ZDB-2-SXCS |
| 912 ## - | |
| -- | ZDB-2-LNC |
No items available.