Nathan C. Carter

Reflexive Intermediate Propositional Logics

Nathan C. Carter, Nathan C. Carter, 2006, Notre Dame J. Formal Log..

AUTOMATIC READING OF MUSIC NOTATION

David Bainbridge, Nathan C. Carter, 1997 .

Lurch: a word processor that can grade students' proofs

Kenneth G. Monks, Nathan C. Carter, Nathan C. Carter, 2013, CICM Workshops.

Reflexive Intermediate First-Order Logics

Nathan C. Carter, 2008, Notre Dame J. Formal Log..

Frieze and wallpaper chaotic attractors with a polar spin

Clifford A. Reiter, Nathan C. Carter, Stephen M. Grimes, 1998, Comput. Graph..

Lurch: a word processor built on OpenMath that can check mathematical reasoning

Kenneth G. Monks, Nathan C. Carter, Nathan C. Carter, 2013, CICM Workshops.

A Web-Based Toolkit for Mathematical Word Processing Applications with Semantics

Kenneth G. Monks, Nathan C. Carter, Nathan C. Carter, 2017, CICM.