Peter Gratton, Ph.D., is a New Orleans-based editor and professor with over 20 years of experience in investing, risk management, and public policy. Peter began covering markets at Multex (Reuters) ...

Abstract: This letter focuses on a safety-critical solution to equality-constrained nonlinear programming, where the cost and the constraints vary continuously over time. To address this problem, we ...

Abstract: This paper addresses the optimal control problem for a class of nonlinear systems that present significant challenges due to state constraints, unmodeled dynamics, and a nonstrict feedback ...

It is designed as a scalable solver for recursive logic constraints. Suitable but not only for test generation, symbolic execution and program synthesis. You can use ...

This is a minimal Prolog interpreter implemented in Rust. The implementation covers only a subset of Prolog features, is not intended to be fast, or optimal in any sense. It is a learning project that ...