:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Author:	Liberti, Leo
Format:	Preprint
Published:	2002
Subjects:	Symbolic Computation Numerical Analysis I.1.3
Online Access:	https://arxiv.org/abs/cs/0206010
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Faster Inversion and Other Black Box Matrix Computations Using Efficient Block Projections
by: Eberly, Wayne, et al.
Published: (2007)

Certification of the QR factor R, and of lattice basis reducedness
by: Villard, Gilles
Published: (2007)

Performant Dynamically Typed E-Graphs in Pure Julia
by: Cheli, Alessandro, et al.
Published: (2024)

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

Effective Quadratic Error Bounds for Floating-Point Algorithms Computing the Hypotenuse Function
by: Muller, Jean-Michel, et al.
Published: (2024)

Structural Preprocessing Method for Nonlinear Differential-Algebraic Equations Using Linear Symbolic Matrices
by: Oki, Taihei, et al.
Published: (2024)

Sparse Tensors and Subdivision Methods for Finding the Zero Set of Polynomial Equations
by: Moroz, Guillaume
Published: (2024)

Random Alloy Codes and the Fundamental Limits of Coded Distributed Tensors
by: Soto, Pedro
Published: (2022)

Validated numerics for algebraic path tracking
by: Guillemot, Alexandre, et al.
Published: (2024)

A Novel Approach to the Initial Value Problem with a complete validated algorithm
by: Zhang, Bingwei, et al.
Published: (2025)

Groebner basis structure of ideal interpolation
by: Gong, Yihe, et al.
Published: (2020)

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

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

Strassen's algorithm is not optimally accurate
by: Dumas, Jean-Guillaume, et al.
Published: (2024)

Towards automated generation of fast and accurate algorithms for recursive matrix multiplication
by: Dumas, Jean-Guillaume, et al.
Published: (2025)

A Finite Expression Method for Solving High-Dimensional Committor Problems
by: Song, Zezheng, et al.
Published: (2023)

A Fast Algorithm for the Finite Expression Method in Learning Dynamics on Complex Networks
by: Song, Zezheng, et al.
Published: (2024)

Computing with D-Algebraic Sequences
by: Tabuguia, Bertrand Teguia
Published: (2024)

The Syntax and Semantics of einsum
by: Wenig, Maurice, et al.
Published: (2025)

Efficient Tensor Decomposition via Moment Matrix Extension
by: Shi, Bobby, et al.
Published: (2025)

A Novel Algorithm for Representing Positive Semi-Definite Polynomials as Sums of Squares with Rational Coefficients
by: Zeng, Zhenbing, et al.
Published: (2025)

On the Algorithmic Verification of Nonlinear Superposition for Systems of First Order Ordinary Differential Equations
by: Treumova, Veronika, et al.
Published: (2024)

Dissipative quadratizations of polynomial ODE systems
by: Cai, Yubo, et al.
Published: (2023)

The complexity of class polynomial computation via floating point approximations
by: Enge, Andreas
Published: (2006)

Training Stiff Neural Ordinary Differential Equations with Explicit Exponential Integration Methods
by: Fronk, Colby, et al.
Published: (2024)

Moment-based Density Elicitation with Applications in Probabilistic Loops
by: Kofnov, Andrey, et al.
Published: (2023)

Trinomials and Deterministic Complexity Limits for Real Solving
by: Boniface, Emma, et al.
Published: (2022)

A Faster Solution to Smale's 17th Problem I: Real Binomial Systems
by: Paouris, Grigoris, et al.
Published: (2019)

Power Series Composition in Near-Linear Time
by: Kinoshita, Yasunori, et al.
Published: (2024)

SynPAT: A System for Generating Synthetic Physical Theories with Data
by: Lenchner, Jonathan, et al.
Published: (2025)

Fast Symbolic Integer-Linear Spectra
by: Luntzel, Jonny, et al.
Published: (2024)

Discovering Polynomial and Quadratic Structure in Nonlinear Ordinary Differential Equations
by: Kramer, Boris, et al.
Published: (2025)

Extrapolating Solution Paths of Polynomial Homotopies towards Singularities with PHCpack and phcpy
by: Verschelde, Jan, et al.
Published: (2024)

Quadratization of Autonomous Partial Differential Equations: Theory and Algorithms
by: Olivieri, Albani, et al.
Published: (2026)

Satire: Computing Rigorous Bounds for Floating-Point Rounding Error in Mixed-Precision Loop-Free Programs
by: Tirpankar, Tanmay, et al.
Published: (2025)

Smith normal forms of bivariate polynomial matrices
by: Lu, Dong, et al.
Published: (2025)

Mathematical modeling of the mechanical behavior of three-layer plates with a tetrachiral honeycomb core
by: Mazaev, A. V.
Published: (2023)

Effective alpha theory certification using interval arithmetic: alpha theory over regions
by: Lee, Kisun
Published: (2024)

Certified homotopy tracking using the Krawczyk method
by: Duff, Timothy, et al.
Published: (2024)

Certified algebraic curve projections by path tracking
by: Burr, Michael, et al.
Published: (2025)