Nathan C. Carter

Publication Activity (10 Years)

Years Active: 1998-2017
Publications (10 Years): 1

Top Topics

Mathematical Expressions

Computer Algebra Systems

Word Processing

Top Venues

Publications

Nathan C. Carter, Kenneth G. Monks
A Web-Based Toolkit for Mathematical Word Processing Applications with Semantics. CICM (2017)
Nathan C. Carter, Kenneth G. Monks
Lurch: a word processor built on OpenMath that can check mathematical reasoning. CICM Workshops (2013)
Nathan C. Carter, Kenneth G. Monks
Lurch: a word processor that can grade students' proofs. CICM Workshops (2013)
Nathan C. Carter
Reflexive Intermediate First-Order Logics. Notre Dame J. Formal Log. 49 (1) (2008)
Nathan C. Carter
Reflexive Intermediate Propositional Logics. Notre Dame J. Formal Log. 47 (1) (2006)
Nathan C. Carter, Stephen M. Grimes, Clifford A. Reiter
Frieze and wallpaper chaotic attractors with a polar spin. Comput. Graph. 22 (6) (1998)