Identities in search of identity
type: Item
instance of: scholarly article
title: Identities in search of identity
zbMATH Open document ID: 0783.05007
DOI: 10.1016/0304-3975(93)90301-9
author: Doron Zeilberger
published in: Theoretical Computer Science
publication date: 1994-03-10T00:00:00Z
review text: This is a funny but very readable paper. The author proposes to start a new science called ``Identity Science''. Quoting from the paper ``In it identies will be studied for their own sake, and one will try to use the minimum amount of concepts, at least of concepts from other parts of mathematics. Group-theoretical, combinatorial and other conceptual and insightful proofs will be bounded, \textit{except} when there is hope of stripping the foreign concepts away. This fanaticism will serve a very important purpose. I believe, with Hemingway, that \textit{less is more}, and with modern painters and composers that \textit{extreme ugliness is beautiful}. By the same token, my insistence on ``no conceptual proofs please'' is based on the following hope: COMPLETE LACK OF INSIGHT WILL LEAD TO NEW KIND OF IDENTITIES.'' Examples of families of identities (drawn from the authors' personal experience) are rated according to whether they are \textit{utterly trivial}, \textit{trivial but expensive}, \textit{trivial in principle}, and \textit{not yet trivial} identities.
Mathematics Subject Classification ID: 05A19
Mathematics Subject Classification ID: 33C20
zbMATH DE Number: 438319
zbMATH Keywords: identities
reviewed by: B. Leo Raktoe
describes a project that uses: DEtools
MaRDI profile type: Publication
full work available at URL: 0304-3975(93)90301-9
OpenAlex ID: W2028410576
cites work: Q3997327
cites work: The method of differentiating under the integral sign
cites work: Q3912861
cites work: Q4184941
cites work: Q4760447
cites work: Functional equations for data structures
cites work: Q3476890
cites work: A proof of the Bieberbach conjecture
cites work: Algebraic languages and polyominoes enumeration
cites work: Short Proofs of Two Hypergeometric Summation Formulas of Karlsson
cites work: A very short proof of Dixon's theorem
cites work: A one-line proof of the Habsieger-Zeilberger \(G_ 2\) constant term identity
cites work: A short proof of a `strange' combinatorial identity conjectured by Gosper
cites work: A short, elementary, and easy, WZ proof of the Askey-Gasper inequality that was used by de Branges in his proof of the Bieberbach conjecture
cites work: A purely verification proof of the first Rogers-Ramanujan identity
cites work: A 21st century proof of Dougall's hypergeometric sum identity
cites work: Q3907848
cites work: Q3935505
cites work: Macdonald’s constant term conjectures for exceptional root systems
cites work: A character sum evaluation and Gaussian hypergeometric series
cites work: A generalization of Selberg’s beta integral
cites work: A new symmetry for Biedenharn's G-functions and classical hypergeometric series
cites work: Q4149546
cites work: Summation Theorems for Hypergeometric Series in $U(n)$
cites work: Some Conjectures for Root Systems
cites work: A q-analog of the Gauss summation theorem for hypergeometric series in U(n)
cites work: Q4001520
cites work: On Epstein's Zeta-function.
cites work: A proof that Euler missed. Apéry's proof of the irrationality of \(\zeta(3)\). An informal report
cites work: Q3998905
cites work: Towards computerized proofs of identities
cites work: Rational Functions Certify Combinatorial Identities
cites work: Sister Celine's technique and its generalizations
cites work: A holonomic systems approach to special functions identities
cites work: A fast algorithm for proving terminating hypergeometric identities
cites work: The method of creative telescoping
cites work: Three recitations on holonomic systems and hypergeometric series
description: scientific article; zbMATH DE number 438319