Marijn Heule turns mathematical statements into something like Sudoku puzzles, then has computers go to work on them. His ...

Asked to “fix” a false conjecture, students combine their reasoning and observations about absolute value inequalities, signed numbers, and distance to write true mathematical statements. Journal ...

American Journal of Mathematics, Vol. 138, No. 2 (April 2016), pp. 499-527 (29 pages) This paper deals with some geometrical properties of solutions of some semilinear elliptic equations in bounded ...

Cats have four legs. Dogs have four legs. So obviously, all animals have four legs. Try out that reasoning on a kid, says mathematician Dan Finkel, to introduce them to the concept of mathematical ...