Thomas Kern

Singlefold Unary Exponential Diophantine Inequalities with Two Intermediate Variables

Thomas Kern

Kummer's Theorem

Thomas Kern

[April Fool's 2026] Automata on Oddly-Shaped Words 4.1 Ivy Automata

Thomas Kern

Defining continuity of real functions of real variables in Calc 1 textbooks

Thomas Kern

Automata on Oddly-Shaped Words 8 Ranked Tree Automata

Thomas Kern

Regular Languages and Model Theory 10.5 First-Order Expressiveness of WS1S

Thomas Kern

Bourbaki's Definition of Cardinality

Thomas Kern

The Chain Rule and Chaos

Thomas Kern

Arithmetic Notation for Sets

Thomas Kern

Beginning Proofs Matrix Multiplication is Distributive

Thomas Kern

Measurement and Calculus Continuity and Derivatives through the Lens of Interval Arithmetic #SoME4

Thomas Kern

Richardson's Theorem

Thomas Kern

Solution to the Entscheidungsproblem through Numero-Logical Methods

Thomas Kern

Primitive Recursive Arithmetic

Thomas Kern

Primitive Recursive Functions are Pure Iterative Simplifications of the Recursion Scheme

Thomas Kern

From Primitive Recursive to Computable Functions

Thomas Kern

Limitations of Primitive Recursive Functions

Thomas Kern

What is Primitive Recursion

Thomas Kern

Practical Programming of Diophantine Equations

Thomas Kern

Counter Machines

Thomas Kern

Turing Degrees The Structure of Relative Computability

Thomas Kern

Gravity Inside a Hollow Sphere

Thomas Kern

Goals-Based Teaching and Assessment

Thomas Kern

Transition Matrices #SoMEpi

Thomas Kern

Some Lucas Sequences

Thomas Kern

The Philosophy of Food-Tongue

Thomas Kern

Is there a function whose Cartesian and polar plots agree

Thomas Kern

A Matrix Determinant Puzzle

Thomas Kern

Some Old Function Notation

Thomas Kern

Automata on Oddly-Shaped Words 6 The Weak Monadic Second-Order Theory of 2 Successors

Thomas Kern