This site is supported by donations to The OEIS Foundation.
Professor of Computational Logic, Tel Aviv University.