Computer proofs for polynomial identities in arbitrary many variables
From MaRDI portal
Publication:4657324
DOI10.1145/1005285.1005315zbMath1134.68599OpenAlexW2019149953MaRDI QIDQ4657324
Publication date: 14 March 2005
Published in: Proceedings of the 2004 international symposium on Symbolic and algebraic computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/1005285.1005315
Related Items
SumCracker: A package for manipulating symbolic sums and related objects ⋮ Indefinite summation with unspecified summands
Uses Software