Marijn Heule uses turns mathematical statements into something like Sudoku puzzles, then has computers go to work on them.
Tsukuba, Japan—Distributed constraint optimization problems are crucial for modeling cooperative-multiagent systems. Asynchronous Distributed OPTimization (ADOPT) is a well-known algorithm for solving ...
CONVEXITY OF LEVEL SETS FOR ELLIPTIC PROBLEMS IN CONVEX DOMAINS OR CONVEX RINGS: TWO COUNTEREXAMPLES
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 ...
In this note, four counterexamples are given to Bloch's heuristic principle in complex function theory. The first involves univalent functions, the second certain autonomous differential equations, ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback