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

Wagner applies the cross-entropy method to generate solutions for combinatorics problems. The method works iteratively and follows the following process: For graph problems, graphs are represented as ...

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 ...