A Case Study in Meta-AUTOMATION: AUTOMATIC Generation of Congruence AUTOMATA For Combinatorial Sequences Eric ROWLAND and Doron ZEILBERGER Abstract: In this paper, that may be considered a sequel to a recent article by

Source URL: thales.math.uqam.ca

Ambiguity in a certain context-free grammar Eric Rowland joint work with Bobbe Cooper and Doron Zeilberger Mathematics Department Tulane University, New Orleans

Source URL: thales.math.uqam.ca

TWO BINOMIAL COEFFICIENT CONJECTURES ERIC ROWLAND To Doron Zeilberger in honor of his 60th birthday! Abstract. Much is known about binomial coefficients where primes are concerned, but considerably less is known regardin

Source URL: thales.math.uqam.ca

Toward a language theoretic proof of the four color theorem Eric Rowland joint work with Bobbe Cooper and Doron Zeilberger Mathematics Department Tulane University, New Orleans

Source URL: thales.math.uqam.ca

Refinement Types and Computational Duality Noam Zeilberger Carnegie Mellon University Abstract

Source URL: noamz.org

Odd-Rule Cellular Automata on the Square Grid Shalosh B. Ekhad C/o Doron Zeilberger Department of Mathematics Rutgers University (New Brunswick) Hill Center-Busch Campus, 110 Frelinghuysen Rd.

Source URL: neilsloane.com

• Mathematical analysis
• Mathematics
• Expected value
• Information theory
• Orthogonal polynomials
• Markov number
• Mutual information

Focusing and Higher-Order Abstract Syntax Noam Zeilberger Carnegie Mellon University Abstract

Source URL: noamz.org

Polarity and the Logic of Delimited Continuations Noam Zeilberger Université Paris 7 12 July, LICS 2010

Source URL: noamz.org

The Logical Basis of Evaluation Order and Pattern-Matching Noam Zeilberger CMU-CSApril 17, 2009

Source URL: noamz.org