SumCracker

swMATH924MaRDI QIDQ13668FDOQ13668

Author name not available (Why is that?)

Described by source

• SumCracker: A package for manipulating symbolic sums and related objects

Cited In (17)

• Sparsity optimized high order finite element functions for \(H(\mathrm{curl})\) on tetrahedra
• Sparsity optimized high order finite element functions for H(div) on simplices
• Closed form solutions of linear difference equations in terms of symmetric products
• A hypergeometric inequality
• A Computer Proof of Moll’s Log-Concavity Conjecture
• A comparison of algorithms for proving positivity of linearly recurrent sequences
• Positivity of certain sums over Jacobi kernel polynomials
• Automated simplification of large symbolic expressions
• An algorithm for deciding zero equivalence of nested polynomially recurrent sequences
• On Turán's inequality for Legendre polynomials
• Computer algebra for special function inequalities
• Sparse shape functions for tetrahedral \(p\)-FEM using integrated Jacobi polynomials
• The \(C\)-finite ansatz
• Invariant Generation for P-Solvable Loops with Assignments
• An extension of Turán's inequality
• An efficient procedure deciding positivity for a class of holonomic functions
• Solving difference equations whose coefficients are not transcendental

This page was built for software: SumCracker