Abstract: This paper considers the problem of optimal L/sub 2/ disturbance attenuation with global asymptotic stability for strict feedback nonlinear systems. It is known from previous results that ...

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

A line drawing of the Internet Archive headquarters building façade. An illustration of a magnifying glass. An illustration of a magnifying glass.

While there is a growing corpus of formalized theorems including proofs, there is a lack of open conjectures where only the statement has been formalized. This would be useful for a few reasons. It ...