We outline the rationale and preliminary results of using the State Context Property (SCOP) formalism, originally developed as a generalization of quantum mechanics, to describe t...
A nonstandard set theory ZFC is proposed that axiomatizes the nonstandard embedding . Besides the usual principles of nonstandard analysis, all axioms of ZFC except regularity are...
We consider a class of non-linear mixed integer programs with n integer variables and k continuous variables. Solving instances from this class to optimality is an NP-hard problem....
Giovanni Rinaldi, Ulrich Voigt, Gerhard J. Woeging...