The following pages link to SumCracker (Q13668):
Displaying 17 items.
- A hypergeometric inequality (Q259718) (← links)
- Sparsity optimized high order finite element functions for \(H(\mathrm{curl})\) on tetrahedra (Q394759) (← links)
- Sparsity optimized high order finite element functions for H(div) on simplices (Q455677) (← links)
- Solving difference equations whose coefficients are not transcendental (Q935167) (← links)
- Positivity of certain sums over Jacobi kernel polynomials (Q950413) (← links)
- On Turán's inequality for Legendre polynomials (Q996999) (← links)
- A comparison of algorithms for proving positivity of linearly recurrent sequences (Q2109988) (← links)
- The \(C\)-finite ansatz (Q2376847) (← links)
- Closed form solutions of linear difference equations in terms of symmetric products (Q2437293) (← links)
- Automated simplification of large symbolic expressions (Q2437298) (← links)
- Sparse shape functions for tetrahedral \(p\)-FEM using integrated Jacobi polynomials (Q2457943) (← links)
- An algorithm for deciding zero equivalence of nested polynomially recurrent sequences (Q2944555) (← links)
- Invariant Generation for P-Solvable Loops with Assignments (Q3503653) (← links)
- (Q3602576) (← links)
- An extension of Turán's inequality (Q5174170) (← links)
- An efficient procedure deciding positivity for a class of holonomic functions (Q5270177) (← links)
- A Computer Proof of Moll’s Log-Concavity Conjecture (Q5423939) (← links)
