Home | Quick Search | Advanced Search | Bibliography submission | Bibliography submission using bibtex | Bibliography submission using bibtex file | Links | Help | Internal

Details:

   
TitleA Procedure for Proving Special Function Inequalities Involving a Discrete Parameter
Author(s) Manuel Kauers, Gerhold Stefan
TypeArticle in Conference Proceedings
Keywordscomputer proofs, cylindrical algebraic decomposition, inequalities, special functions
ISBN1-59593-095-7
URL http://doi.acm.org/10.1145/1073884.1073907
LanguageEnglish
SeriesISSAC
Pages156--162
PublisherACM
AddressNew York, NY, USA
Year2005
Edition0
Translation No
Refereed No
Webmaster