Frieze and wallpaper chaotic attractors with a polar spin. - Nathan C. Carter; Stephen M. Grimes; Clifford A. Reiter (Comput. Graph., 1998)

Reflexive Intermediate Propositional Logics. - Nathan C. Carter (Notre Dame J. Formal Log., 2006)

Reflexive Intermediate First-Order Logics. - Nathan C. Carter (Notre Dame J. Formal Log., 2008)

Lurch: a word processor built on OpenMath that can check mathematical reasoning. - Nathan C. Carter; Kenneth G. Monks (CICM Workshops, 2013)

Lurch: a word processor that can grade students' proofs. - Nathan C. Carter; Kenneth G. Monks (CICM Workshops, 2013)

A Web-Based Toolkit for Mathematical Word Processing Applications with Semantics. - Nathan C. Carter; Kenneth G. Monks (CICM, 2017)