Marijn Heule turns mathematical statements into something like Sudoku puzzles, then has computers go to work on them. His ...
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 ...
A great deal of attention has been paid recently to the claim that traditional Frankfurt-type counterexamples to the Principle of Alternative Possibilities (PAP), which depend for their success on the ...
Tsukuba, Japan—Distributed constraint optimization problems are crucial for modeling cooperative-multiagent systems. Asynchronous Distributed OPTimization (ADOPT) is a well-known algorithm for solving ...
Results that may be inaccessible to you are currently showing.
Hide inaccessible results
Feedback