Abstract is missing.
- The Reformation of SageMatthias Köppe. 3-11 [doi]
- Algorithm and Abstraction in Formal MathematicsHeather Macbeth. 12-25 [doi]
- Computing the Determinant of a Dense Matrix over ℤJohn Abbott, Claus Fieker. 29-35 [doi]
- FastECPP over MPIAndreas Enge. 36-45 [doi]
- Attacking a Levelled Fully Homomorphic Encryption System with Topological Data AnalysisAaruni Kaushik. 46-53 [doi]
- Formalising Families of ℓ-adic Galois Representations in Lean 4Ivan Farabella. 57-62 [doi]
- Formalization of the Existence of Frobenius ElementsJou Glasheen. 63-71 [doi]
- Formalising Analysis in Lean: Compactness and DimensionalityDawid Lipinski. 72-77 [doi]
- Formalisation of the Category of Hopf Algebras in Lean4Jujian Zhang, Yunzhou Xie, Yichen Feng, Yanqiao Zhou. 78-86 [doi]
- Computing the Group of an Algebraic Variety over a Finite FieldAbdullah Alazemi, Anton Betten. 89-96 [doi]
- Computer Classification of Linear Codes Based on Lattice Point EnumerationSascha Kurz. 97-105 [doi]
- Software for Proper Vertex-Colouring Exploiting Graph SymmetryLeonard H. Soicher. 106-112 [doi]
- Localization in Gromov - Witten Theory of Toric Varieties in a Computer Algebra SystemGiosuè Muratore. 115-124 [doi]
- Massively Parallel Methods for Free ResolutionsSantosh Gnawali. 127-134 [doi]
- Towards Parallel Methods in Birational GeometryBenjamin Mirgain. 135-144 [doi]
- Towards Parallel Algorithms for Gromov-Witten Invariants of Elliptic CurvesAli Traoré. 145-152 [doi]
- A SageMath Package for Elementary and Sign Vectors with Applications to Chemical Reaction NetworksMarcus S. Aichmayr, Stefan Müller 0009, Georg Regensburger. 155-164 [doi]
- Symbolic Integration Algorithm Selection with Machine Learning: LSTMs Vs Tree LSTMsRashid Barket, Matthew England 0001, Jürgen Gerhard. 167-175 [doi]
- Exploring Alternative Machine Learning Models for Variable Ordering in Cylindrical Algebraic DecompositionRohit John, James H. Davenport. 176-185 [doi]
- Constrained Neural Networks for Interpretable Heuristic Creation to Optimise Computer Algebra SystemsDorian Florescu, Matthew England 0001. 186-195 [doi]
- Machine Learning for Number Theory: Unsupervised Learning with L-FunctionsThomas Oliver. 196-203 [doi]
- Approximation of an Inverse of the Incomplete Beta FunctionMichael B. Giles, Casper Beentjes. 207-214 [doi]
- DLMF Standard Reference Tables on DemandBonita V. Saunders, Sean Brooks, Ron Buckmire, Rachel E. Vincent-Finley, Franky Backeljauw, Stefan Becuwe, Bruce Miller, Marjorie A. McClain, Annie Cuyt. 215-221 [doi]
- Integrating Mathematical Data and Resources: Advancements in zbMATH Open for Enhanced Mathematical Research Accessibility and ReproducibilityMaxence Azzouz-Thuderoz, Madhurima Deb, Matteo Petrera, Moritz Schubotz, Olaf Teschke. 225-233 [doi]
- A FAIR File Format for Mathematical SoftwareAntony Della Vecchia, Michael Joswig, Benjamin Lorenz. 234-244 [doi]
- Predefined Software Environment Runtimes as a Measure for ReproducibilityAaruni Kaushik. 245-253 [doi]
- Towards a FAIR Documentation of Workflows and Models in Applied MathematicsMarco Reidelbach, Björn Schembera, Marcus Weber. 254-262 [doi]
- Monodromy CoordinatesTaylor Brysiewicz. 265-274 [doi]
- Effective Alpha Theory Certification Using Interval Arithmetic: Alpha Theory over RegionsKisun Lee. 275-284 [doi]
- Gröbner Degenerations of Determinantal Ideals with an Application to Toric Degenerations of GrassmanniansFatemeh Mohammadi. 285-295 [doi]
- Eigenvalue Methods for Sparse Tropical Polynomial SystemsMarianne Akian, Antoine Béreau, Stéphane Gaubert. 299-312 [doi]
- Dynamic Decomposition of Tropical Prevarieties for Celestial MechanicsAnders Nedergaard Jensen. 313-321 [doi]
- Regular Flips in mptopcomLars Kastner. 322-330 [doi]
- A Framework for Generalized Tropical Homotopy ContinuationOliver Daisey, Yue Ren. 331-339 [doi]
- Integrating GeoGebra with React and WebAssembly: A Web-Based Approach for Mathematical Software DevelopmentMitsushi Fujimoto. 343-353 [doi]
- DetGB: A Software Package for Computing Gröbner Bases of Determinantal IdealsChenqi Mou, Qiuye Song, Yutong Zhou. 354-364 [doi]
- Extrapolating Solution Paths of Polynomial Homotopies Towards Singularities with PHCpack and PhcpyJan Verschelde, Kylash Viswanathan. 365-374 [doi]