Doron Zeilberger's National Science Foundation Grants

• Rigorous Experimental Combinatorics (NSF Grant DMS 0901226) (Here is the proposal itself: .ps, .pdf). (Here are the reviews).
• Automating Combinatorics (NSF Grant DMS 0401124) (Here is the proposal itself: .ps, .pdf). (Here are the reviews).
• Symbolic Computation and Combinatorics(NSF Grant DMS 0100403) (Here is the proposal itself: .ps, .pdf)
• Classical Combinatorics: An International Conference (NSF Grant DMS 9985949), (With Aaron Robertson).
• Targeted Proof Machines in Combinatorics (NSF Grant DMS 9732602) (Here is the proposal itself: .ps, .pdf)
• Combinatorics, Special Functions, and Computer Algebra (NSF Grant DMS 9500646) (Here is the proposal itself: .ps, .pdf).
• Computer-Generated and Computer-Assisted Research in Combinatorics and Special Functions (NSF Grant DMS 9123836).
• Asymptotic Methods in Combinatorics (NSF Grant DMS 8901610) (With Jet Wimp).
• Constant Term Identities and Combinatorial Enumeration(NSF Grant DMS 8800663)
• Toward a General Theory of Combinatorial Bijections (NSF Grant DMS 8600243)
• Proving Identities by Combinatorial Methods (NSF Grant DMS 8400204)