Vor Ort
Merkzettel Warenkorb
  • Produktbild: Mathematical Software – ICMS 2024
  • Produktbild: Mathematical Software – ICMS 2024
Band 14749 - 13%

Mathematical Software – ICMS 2024 8th International Conference, Durham, UK, July 22–25, 2024, Proceedings

Aus der Reihe Lecture Notes in Computer Science
13% sparen

59,99 € UVP 69,54 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

17.07.2024

Abbildungen

XXIV, 376 p. 91 illus., 39 illus. in color.

Herausgeber

Kevin Buzzard + weitere

Verlag

Springer

Seitenzahl

376

Maße (L/B/H)

23,5/15,5/2,2 cm

Gewicht

604 g

Auflage

2024

Sprache

Englisch

ISBN

978-3-031-64528-0

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

17.07.2024

Abbildungen

XXIV, 376 p. 91 illus., 39 illus. in color.

Herausgeber

Verlag

Springer

Seitenzahl

376

Maße (L/B/H)

23,5/15,5/2,2 cm

Gewicht

604 g

Auflage

2024

Sprache

Englisch

ISBN

978-3-031-64528-0

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: ProductSafety@springernature.com

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Mathematical Software – ICMS 2024
  • Produktbild: Mathematical Software – ICMS 2024

  • .- 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.