The Basic Existence Theorem of Riemann-Stieltjes Integral.

Kazuhisa Nakasho Keiko Narita Yasunari Shidama

Published in: Formaliz. Math. (2016)

Keyphrases

fixed point theorem
fixed point
boundary conditions
von neumann
boundary value problem
complementarity problems
information systems
decision making
neural network
decision trees
preprocessing
differential equations