Pages that link to "Item:Q2457385"
From MaRDI portal
The following pages link to SumCracker: A package for manipulating symbolic sums and related objects (Q2457385):
Displayed 6 items.
- SumCracker (Q13668) (← links)
- Solving difference equations whose coefficients are not transcendental (Q935167) (← links)
- Positivity of certain sums over Jacobi kernel polynomials (Q950413) (← links)
- Sparse shape functions for tetrahedral \(p\)-FEM using integrated Jacobi polynomials (Q2457943) (← links)
- A Computer Proof of Moll’s Log-Concavity Conjecture (Q5423939) (← links)
- Reasoning Algebraically About P-Solvable Loops (Q5458331) (← links)