System of First Order Odes Runge Kutta

Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians.

In some domains of mechanics, physics and control theory boundary value problems arise for nonlinear first order PDEs. A well-known classical result states a sufficiency condition for local existence and uniqueness of twice differentiable solution. This result is based on the method of characteristics (MC).