Mathematical Software – ICMS 2024: 8th International Conference, Durham, UK, July 22–25, 2024, Proceedings: Lecture Notes in Computer Science, cartea 14749
Editat de Kevin Buzzard, Alicia Dickenstein, Bettina Eick, Anton Leykin, Yue Renen Limba Engleză Paperback – 17 iul 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.
Din seria Lecture Notes in Computer Science
- 20%
Preț: 426.75 lei - 20%
Preț: 315.62 lei - 20%
Preț: 320.92 lei - 15%
Preț: 426.53 lei - 20%
Preț: 313.87 lei - 20%
Preț: 355.79 lei - 20%
Preț: 355.54 lei - 20%
Preț: 355.18 lei - 20%
Preț: 390.68 lei - 20%
Preț: 392.03 lei - 20%
Preț: 498.95 lei - 20%
Preț: 390.79 lei - 20%
Preț: 495.44 lei - 20%
Preț: 498.80 lei - 20%
Preț: 498.50 lei - 20%
Preț: 355.93 lei - 20%
Preț: 639.52 lei - 20%
Preț: 499.90 lei - 20%
Preț: 498.95 lei - 20%
Preț: 270.68 lei - 20%
Preț: 321.68 lei - 20%
Preț: 391.36 lei - 20%
Preț: 322.09 lei - 20%
Preț: 498.90 lei - 20%
Preț: 312.82 lei - 20%
Preț: 496.73 lei - 20%
Preț: 463.03 lei - 20%
Preț: 531.75 lei - 15%
Preț: 496.40 lei - 20%
Preț: 497.25 lei - 20%
Preț: 498.80 lei - 20%
Preț: 461.86 lei - 20%
Preț: 355.59 lei - 20%
Preț: 324.19 lei -
Preț: 418.19 lei - 20%
Preț: 498.59 lei - 20%
Preț: 391.28 lei - 20%
Preț: 355.69 lei - 15%
Preț: 499.72 lei - 20%
Preț: 499.40 lei - 20%
Preț: 390.42 lei - 20%
Preț: 497.75 lei - 20%
Preț: 326.81 lei - 20%
Preț: 322.32 lei - 20%
Preț: 390.42 lei - 20%
Preț: 458.84 lei - 20%
Preț: 427.09 lei - 20%
Preț: 499.90 lei - 20%
Preț: 320.72 lei
Preț: 405.79 lei
Preț vechi: 507.24 lei
-20% Nou
Puncte Express: 609
Preț estimativ în valută:
71.81€ • 83.74$ • 63.05£
71.81€ • 83.74$ • 63.05£
Carte tipărită la comandă
Livrare economică 15-29 ianuarie 26
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9783031645280
ISBN-10: 3031645286
Pagini: 376
Ilustrații: XXIV, 376 p. 91 illus., 39 illus. in color.
Dimensiuni: 155 x 235 mm
Ediția:2024
Editura: Springer Nature Switzerland
Colecția Springer
Seria Lecture Notes in Computer Science
Locul publicării:Cham, Switzerland
ISBN-10: 3031645286
Pagini: 376
Ilustrații: XXIV, 376 p. 91 illus., 39 illus. in color.
Dimensiuni: 155 x 235 mm
Ediția:2024
Editura: Springer Nature Switzerland
Colecția Springer
Seria Lecture Notes in Computer Science
Locul publicării:Cham, Switzerland
Cuprins
.- 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.
.- 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.