Radix sort is older than the computer yet quicker than quick sort. Why aren’t we all using it?

The exposition is intended for a broad range of readers, from advanced undergraduates to PhD students and researchers. No specific background in logic or programming languages is assumed, though a degree of mathematical maturity is helpful. A one-semester course can expect to cover Logical Foundations plus most of Programming Language Foundations or Verified Functional Algorithms, or selections from both.

Mathematics-based programming problems

Most people use this web site to get information about a particular number sequence. If you are a new visitor, then you might ask the database if it can recognize your favorite sequence, if you have one.

Encoding images under 140 characters.

This book, is supposed to teach methods of numerical computing that are practical, efficient, and (insofar as possible) elegant.