C. Larson

collaborators

3 papers

math.HO2020

(Avoiding) Proof by Contradiction: $2$ is Not Rational

C. E. Larson

We provide an alternative proof that $2$ is irrational that does not begin with the assumption that $2$ is in fact rational.

math.CO2020

A Graph Theoretic Formula for the Number of Primes $π (n)$

R. Jacobs, C. E. Larson

Let PR $[n]$ be the graph whose vertices are $2, 3, \dots, n$ with vertex $v$ adjacent to vertex $w$ if and only if $g cd (v, w) > 1$ . It is shown that $π (n)$ , the the number of primes no…

cs.AI2017

Automated Conjecturing VII: The Graph Brain Project & Big Mathematics

N. Bushaw, C. E. Larson, N. Van Cleemput

The Graph Brain Project is an experiment in how the use of automated mathematical discovery software, databases, large collaboration, and systematic investigation provide a model f…

(Avoiding) Proof by Contradiction: 2​ is Not Rational

A Graph Theoretic Formula for the Number of Primes π(n)

Automated Conjecturing VII: The Graph Brain Project & Big Mathematics

(Avoiding) Proof by Contradiction: $2$ is Not Rational

A Graph Theoretic Formula for the Number of Primes $π (n)$