SumCracker
From MaRDI portal
swMATH924MaRDI QIDQ13668FDOQ13668
scientific article; zbMATH DE number Author name (Why is no real title available?)
Official website: https://www.risc.jku.at/research/combinat/software/SumCracker/
(27)
- An efficient procedure deciding positivity for a class of holonomic functions
- Closed form solutions of linear difference equations in terms of symmetric products
- Automated simplification of large symbolic expressions
- Sparsity optimized high order finite element functions for \(H(\mathrm{curl})\) on tetrahedra
- A Computer Proof of Moll’s Log-Concavity Conjecture
- An extension of Turán's inequality
- Computer algebra for special function inequalities
- A comparison of algorithms for proving positivity of linearly recurrent sequences
- recpf
- SimplifySum
- Cfinite
- TILINGS
- Dependencies
- fastZeil
- GeneratingFunctions
- MultiSum
- CFSum
- Sparsity optimized high order finite element functions for H(div) on simplices
- RatDiff
- Solving difference equations whose coefficients are not transcendental
- The \(C\)-finite ansatz
- A hypergeometric inequality
- Invariant Generation for P-Solvable Loops with Assignments
- An algorithm for deciding zero equivalence of nested polynomially recurrent sequences
- Positivity of certain sums over Jacobi kernel polynomials
- On Turán's inequality for Legendre polynomials
- Sparse shape functions for tetrahedral \(p\)-FEM using integrated Jacobi polynomials
This page was built for software: SumCracker
