Vor Ort
Merkzettel Warenkorb

Gutscheinbedingungen

**Gültig bis 17.08.2026 auf Schreibwaren & Office-Artikel online auf thalia.at, in der Thalia App und in teilnehmenden Thalia Buchhandlungen in Österreich mit Schulsortiment. In den Buchhandlungen nur gültig auf lagernde Ware. Einzelne Artikel können ausgeschlossen sein. Ausgenommen sind preisgebundene Artikel. Pro Einkauf einmal einlösbar. Nur gültig gegen Vorlage oder im Onlineshop hinterlegter Bonuscard. Infos zur Einlösung in der Buchhandlung sind auf der Bonuscard-Vorteilspreisseite zu finden. Click & Collect nur bei Onlinevorabzahlung möglich. Keine Einlösung bei Scan & Go-Bezahlung. Keine Barauszahlung. Nicht kombinierbar mit anderen Aktionen und Gutscheinen. Gutschein wird auf max. 500€ Bestellwert angerechnet. Nicht gültig für Geschenkkarten, Versandkosten und Services.
  • Produktbild: Mathematical Software – ICMS 2024
  • Produktbild: Mathematical Software – ICMS 2024
Band 14749 - 11%

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

Aus der Reihe Lecture Notes in Computer Science
11% sparen

62,99 € UVP 71,49 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

17.07.2024

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

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: GPSR Kontakt

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.