Automated simplification of large symbolic expressions (Q2437298): Difference between revisions

@@ Property / describes a project that uses @@
+SumCracker
@@ Property / describes a project that uses: SumCracker / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+GitHub
@@ Property / describes a project that uses: GitHub / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Mathematica
@@ Property / describes a project that uses: Mathematica / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Maxima
@@ Property / describes a project that uses: Maxima / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SageMath
@@ Property / describes a project that uses: SageMath / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+DLMF
@@ Property / describes a project that uses: DLMF / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Maple
@@ Property / describes a project that uses: Maple / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+REDUCE
@@ Property / describes a project that uses: REDUCE / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SimplifySum
@@ Property / describes a project that uses: SimplifySum / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.jsc.2013.09.001
+Normal rank
@@ Property / OpenAlex ID @@
+W2106764241
@@ Property / OpenAlex ID: W2106764241 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2883494
@@ Property / cites work: Q2883494 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3062292
@@ Property / cites work: Q3062292 / rank @@
+Normal rank
@@ Property / cites work @@
+Advances in the theory of box integrals
@@ Property / cites work: Advances in the theory of box integrals / rank @@
+Normal rank
@@ Property / cites work @@
+Parallel integer relation detection: Techniques and applications
+Normal rank
@@ Property / cites work @@
+Q4660642
@@ Property / cites work: Q4660642 / rank @@
+Normal rank
@@ Property / cites work @@
+A poly-algorithmic approach to simplifying elementary functions
+Normal rank
@@ Property / cites work @@
+Log-Sine Evaluations of Mahler Measures, II
@@ Property / cites work: Log-Sine Evaluations of Mahler Measures, II / rank @@
+Normal rank
@@ Property / cites work @@
+Higher-Dimensional Box Integrals
@@ Property / cites work: Higher-Dimensional Box Integrals / rank @@
+Normal rank
@@ Property / cites work @@
+Closed Forms: What They Are and Why We Care
@@ Property / cites work: Closed Forms: What They Are and Why We Care / rank @@
+Normal rank
@@ Property / cites work @@
+The evaluation of character Euler double sums
@@ Property / cites work: The evaluation of character Euler double sums / rank @@
+Normal rank
@@ Property / cites work @@
+Q4660680
@@ Property / cites work: Q4660680 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3957939
@@ Property / cites work: Q3957939 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4657304
@@ Property / cites work: Q4657304 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic simplification in computer algebra: an analysis of bottom-up algorithms
+Normal rank
@@ Property / cites work @@
+On Canonical Forms and Simplification
@@ Property / cites work: On Canonical Forms and Simplification / rank @@
+Normal rank
@@ Property / cites work @@
+What is a Closed-Form Number?
@@ Property / cites work: What is a Closed-Form Number? / rank @@
+Normal rank
@@ Property / cites work @@
+Q4234320
@@ Property / cites work: Q4234320 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4660652
@@ Property / cites work: Q4660652 / rank @@
+Normal rank
@@ Property / cites work @@
+On algebraic simplification
@@ Property / cites work: On algebraic simplification / rank @@
+Normal rank
@@ Property / cites work @@
+Advances on the simplification of sine-cosine equations
+Normal rank
@@ Property / cites work @@
+A new symbolic integration system in reduce
@@ Property / cites work: A new symbolic integration system in reduce / rank @@
+Normal rank
@@ Property / cites work @@
+SumCracker: A package for manipulating symbolic sums and related objects
+Normal rank
@@ Property / cites work @@
+Solving low-density subset sum problems
@@ Property / cites work: Solving low-density subset sum problems / rank @@
+Normal rank
@@ Property / cites work @@
+Q3916824
@@ Property / cites work: Q3916824 / rank @@
+Normal rank
@@ Property / cites work @@
+Rational simplification modulo a polynomial ideal
@@ Property / cites work: Rational simplification modulo a polynomial ideal / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic simplification
@@ Property / cites work: Algebraic simplification / rank @@
+Normal rank
@@ Property / cites work @@
+A refined difference field theory for symbolic summation
+Normal rank
@@ Property / cites work @@
+Ten commandments for good default expression simplification
+Normal rank
@@ Property / cites work @@
+Simplification of expressions involving radicals
@@ Property / cites work: Simplification of expressions involving radicals / rank @@
+Normal rank