Zeilberger

#	Item
31	The Logical Basis of Evaluation Order and Pattern-Matching Noam Zeilberger Add to Reading List Source URL: www.pps.univ-paris-diderot.fr Language: English - Date: 2009-10-21 18:53:38 Theoretical computer science Logic in computer science Proof theory Data types Dependently typed programming Natural deduction Curry–Howard correspondence Linear logic Subtype polymorphism Logic Mathematics Type theory
32	ELECTRONIC RESEARCH ANNOUNCEMENTS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 3, Pages 78–82 (August 21, 1997) Add to Reading List Source URL: www.ams.org Language: English - Date: 2012-05-01 14:09:34 Logical syntax Philosophical logic Philosophy of language Theorems Look-and-say sequence Doron Zeilberger Mathematical proof Mathematics Logic Mathematical logic
33	PDF Document Add to Reading List Source URL: www.ams.org Language: English - Date: 2010-03-16 11:32:39 Wilf–Zeilberger pair Number theory Mathematical series Ordinary differential equations Binomial coefficient Recurrence relation Factorial Generalized hypergeometric function Summation Mathematics Combinatorics Integer sequences
34	PDF Document Add to Reading List Source URL: www.ams.org Language: English - Date: 1999-03-08 15:16:31 Doron Zeilberger Herbert Wilf Leroy P. Steele Prize Joseph H. Silverman Mary Celine Fasenmyer Zeilberger Wilf–Zeilberger pair John Tate Elliptic curve Mathematics Number theorists Academia