Clifford A. Reiter, Mathematical Languages: J, Proceedings of the J User Conference, University of Toronto, June 24-25, 1996,Iverson Software Inc. (1996).

J as a mathematical language is discussed in the context of goals: brevity, usefulness, accessibility, consistency, the ability to express abstract proofs... and in the context of discussing several mathematical ideas: Side-angle-side, Fermat's Little Theorem, triangular numbers, The Fundamental Theorem of Calculus, volumes of parallelipipeds, a basis for the space of polynomials, Ljapunov exponents for chaos.

See Also: · The other paper given at the conference: [Abstract ci_1996c]