Kenneth G. Monks

Publication Activity (10 Years)

Years Active: 2002-2020
Publications (10 Years): 2

Top Topics

Mathematical Expressions

Computer Algebra Systems

Word Processing

Top Venues

Publications

Maria Monks Gillespie, Kenneth G. Monks, Kenneth M. Monks
Enumerating anchored permutations with bounded gaps. Discret. Math. 343 (9) (2020)
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)
Keenan Monks, Kenneth G. Monks, Kenneth M. Monks, Maria Monks
Strongly sufficient sets and the distribution of arithmetic sequences in the 3x+1 graph. Discret. Math. 313 (4) (2013)
Kenneth G. Monks, Jonathan Yazinski
+1 function. Discret. Math. 275 (1-3) (2004)
Kenneth G. Monks
3x+1 Minus the +. Discret. Math. Theor. Comput. Sci. 5 (1) (2002)