Nathan C. Carter

According to our database, Nathan C. Carter authored at least 6 papers between 1998 and 2017.

Collaborative distances:

• Dijkstra number of six.
• Erdős number of five.

2017

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

Nathan C. Carter, Kenneth G. Monks

Proceedings of the Intelligent Computer Mathematics - 10th International Conference, 2017

2013

Lurch: a word processor that can grade students' proofs.

Nathan C. Carter, Kenneth G. Monks

Proceedings of the Joint Proceedings of the MathUI, 2013

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

Nathan C. Carter, Kenneth G. Monks

Proceedings of the Joint Proceedings of the MathUI, 2013

2008

Reflexive Intermediate First-Order Logics.

Nathan C. Carter

Notre Dame J. Formal Log., 2008

2006

Reflexive Intermediate Propositional Logics.

Nathan C. Carter

Notre Dame J. Formal Log., 2006

1998

Frieze and wallpaper chaotic attractors with a polar spin.

Nathan C. Carter, Stephen M. Grimes, Clifford A. Reiter

Comput. Graph., 1998