Cover Image

Software Portability for Computer Algebra

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Norman, Arthur C., Watt, Stephen M.
Format:	Preprint
Published:	2025
Subjects:	Symbolic Computation
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Computing Clipped Products
by: Norman, Arthur C., et al.
Published: (2024)

A Symbolic Computing Perspective on Software Systems
by: Norman, Arthur C., et al.
Published: (2024)

Semi-Centennial REDUCE
by: Norman, Arthur C., et al.
Published: (2025)

Algorithms for Recursive Block Matrices
by: Watt, Stephen M.
Published: (2024)

An Abstraction-Preserving Block Matrix Implementation in Maple
by: Jeffrey, David J., et al.
Published: (2024)

Structuring Definitions in Mathematical Libraries
by: Gusakov, Alena, et al.
Published: (2025)

Modular Algorithms For Computing Gröbner Bases in Free Algebras
by: Hofstadler, Clemens, et al.
Published: (2025)

Computational Algebra with Attention: Transformer Oracles for Border Basis Algorithms
by: Kera, Hiroshi, et al.
Published: (2025)

f4ncgb: High Performance Gröbner Basis Computations in Free Algebras
by: Heisinger, Maximilian, et al.
Published: (2025)

CALT: A Library for Computer Algebra with Transformer
by: Kera, Hiroshi, et al.
Published: (2025)

Constant-Depth Arithmetic Circuits for Linear Algebra Problems
by: Andrews, Robert, et al.
Published: (2024)

Computational Explorations on Semifields
by: Dumas, Jean-Guillaume, et al.
Published: (2026)

On the Computation of Newton Polytopes of Eliminants
by: Mohr, Rafael, et al.
Published: (2025)

Computing Krylov iterates in the time of matrix multiplication
by: Neiger, Vincent, et al.
Published: (2024)

Computing a holonomic submodule of the partial Weyl closure
by: Brochet, Hadrien
Published: (2026)

Computing submatrices of the Hermite normal form of a structured polynomial matrix
by: Berthomieu, Jérémy, et al.
Published: (2026)

An Algorithm for Computing the Leading Monomials of a Minimal Groebner Basis of Generic Sequences
by: Sakata, Kosuke, et al.
Published: (2025)

Two Algorithms for Computing Rational Univariate Representations of Zero-Dimensional Ideals with Parameters
by: Wang, Dingkang, et al.
Published: (2024)

Computing greatest common divisor of several parametric univariate polynomials via generalized subresultant polynomials
by: Hong, Hoon, et al.
Published: (2023)

Generalizing the Invertible Matrix Theorem with Linear Relations using Graphical Linear Algebra
by: de Freitas, Iago Leal, et al.
Published: (2025)

Botfip-LLM: An Enhanced Multimodal Scientific Computing Framework Leveraging Knowledge Distillation from Large Language Models
by: Chen, Tianhao, et al.
Published: (2024)

Computing braids from approximate data
by: Guillemot, Alexandre, et al.
Published: (2026)

Misfortunes of a mathematicians' trio using Computer Algebra Systems: Can we trust?
by: Durán, Antonio J., et al.
Published: (2013)

Green Computing: The Ultimate Carbon Destroyer for a Sustainable Future
by: Amiri, Sayed Mahbub Hasan, et al.
Published: (2025)

A Theoretical Review on Solving Algebra Problems
by: Yu, Xinguo, et al.
Published: (2024)

Power Term Polynomial Algebra for Boolean Logic
by: Sansone, Emanuele, et al.
Published: (2026)

Verified Certificates via SAT and Computer Algebra Systems for the Ramsey $R(3, 8)$ and $R(3, 9)$ Problems
by: Li, Zhengyu, et al.
Published: (2025)

Computing basis of solutions of any Mahler equation
by: Faverjon, Colin, et al.
Published: (2025)

Computing the connected components of real algebraic curves
by: Rocchi, Elisabetta, et al.
Published: (2026)

Computing change of level and isogenies between abelian varieties
by: Dequay, Antoine, et al.
Published: (2025)

Computing Linear Regions in Neural Networks with Skip Connections
by: Joyce, Johnny, et al.
Published: (2025)

Computing Certificates in Archimedean Univariate Saturated Quadratic Modules
by: Castellanos-Joo, Jose Abel, et al.
Published: (2026)

Computation of classical and $v$-adic $L$-series of $t$-motives
by: Caruso, Xavier, et al.
Published: (2024)

Computing Characteristic Polynomials of p-Curvatures in Average Polynomial Time
by: Pagès, Raphaël
Published: (2021)

Computing Generic Fibers of Polynomial Ideals with FGLM and Hensel Lifting
by: Berthomieu, Jérémy, et al.
Published: (2024)

Towards Semantics Lifting for Scientific Computing: A Case Study on FFT
by: Zhang, Naifeng, et al.
Published: (2025)

Computation of the Hilbert Series for the Support-Minors Modeling of the MinRank Problem
by: Bardet, Magali, et al.
Published: (2025)

A Basis-preserving Algorithm for Computing the Bezout Matrix of Newton Polynomials
by: Yang, Jing, et al.
Published: (2024)

A SageMath Package for Analytic Combinatorics in Several Variables: Beyond the Smooth Case
by: Hackl, Benjamin, et al.
Published: (2025)

Gradient-Weighted, Data-Driven Normalization for Approximate Border Bases -- Concept and Computation
by: Kera, Hiroshi, et al.
Published: (2025)