Automated simplification of large symbolic expressions
From MaRDI portal
Publication:2437298
Recommendations
Cites work
- A new symbolic integration system in reduce
- A poly-algorithmic approach to simplifying elementary functions
- A refined difference field theory for symbolic summation
- Advances in the theory of box integrals
- Advances on the simplification of sine-cosine equations
- Algebraic simplification
- Algebraic simplification
- Algebraic simplification in computer algebra: an analysis of bottom-up algorithms
- Closed Forms: What They Are and Why We Care
- Experimental mathematics and mathematical physics
- Exploratory experimentation and computation
- Higher-Dimensional Box Integrals
- scientific article; zbMATH DE number 3728625 (Why is no real title available?)
- scientific article; zbMATH DE number 1263422 (Why is no real title available?)
- scientific article; zbMATH DE number 2145000 (Why is no real title available?)
- scientific article; zbMATH DE number 2151178 (Why is no real title available?)
- scientific article; zbMATH DE number 2151186 (Why is no real title available?)
- scientific article; zbMATH DE number 2151213 (Why is no real title available?)
- Log-sine evaluations of Mahler measures. II
- On algebraic simplification
- On Canonical Forms and Simplification
- Parallel integer relation detection: techniques and applications
- Rational simplification modulo a polynomial ideal
- Simplification of expressions involving radicals
- Solving low-density subset sum problems
- SumCracker: A package for manipulating symbolic sums and related objects
- Ten commandments for good default expression simplification
- The evaluation of character Euler double sums
- What is a Closed-Form Number?
Cited in
(6)- Computation and theory of Mordell-Tornheim-Witten sums. II.
- scientific article; zbMATH DE number 1262450 (Why is no real title available?)
- scientific article; zbMATH DE number 2145000 (Why is no real title available?)
- Rounding coefficients and artificially underflowing terms in non-numeric expressions
- Experimental computation as an ontological game changer: the impact of modern mathematical computation tools on the ontology of mathematics
- Calcium. Computing in exact real and complex fields
Describes a project that uses
Uses Software
This page was built for publication: Automated simplification of large symbolic expressions
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2437298)
