Nathan C. Carter

From MaRDI portal



List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
How to Prove it with Lean
American Mathematical Monthly
2025-11-12Paper
Machine learning2021-10-13Paper
scientific article; zbMATH DE number 7409512 (Why is no real title available?)2021-10-13Paper
Circuits in \textit{RGB Express}
Mathematics Magazine
2020-05-04Paper
A web-based toolkit for mathematical word processing applications with semantics2017-07-21Paper
Reflexive intermediate first-order logics
Notre Dame Journal of Formal Logic
2010-01-13Paper
Generating random networks from a given distribution
Computational Statistics and Data Analysis
2009-06-16Paper
Visual group theory.2009-05-25Paper
Reflexive intermediate propositional logics
Notre Dame Journal of Formal Logic
2006-10-04Paper
Chaotic attractors with discrete planar symmetries
Chaos, Solitons and Fractals
2000-04-25Paper
Errata: Chaotic attractors with discrete planar symmetries
Chaos, Solitons and Fractals
1999-11-29Paper


Research outcomes over time


This page was built for person: Nathan C. Carter