A geometric derivation of numerical integrators for optimal control problems is proposed. It is based in the classical technique of generating functions adapted to the special fea...
Nonnegative solutions are established for nonlinear integral equations where the nonlinearity G(t, y) may be singular at y = 0. Existence is established using the Leray–Schauder...
We provide a computer verified exact monadic functional implementation of the Riemann integral in type theory. Together with previous work by O'Connor, this may be seen as the...
Standard numerical analysis tools, combined with elementary calculus, are deployed to evaluate a densely and wildly oscillatory integral proposed as a computational problem in the...
We show that the standard linear programming relaxation for the tree augmentation problem in undirected graphs has an integrality ratio that approaches 3 2 . This refutes a conjec...
Joseph Cheriyan, Howard J. Karloff, Rohit Khandeka...