Results 211 to 220 of about 25,811 (260)
Some of the next articles are maybe not open access.
Optimization of the mathematical programming and applications
South Florida Journal of Development, 2021The present investigation responds to the need to solve optimization problems with optimality conditions. The KKT conditions are considered for multiobjective optimization problems with interval-valued objective functions.
Johnny Moisés Valverde Montoro +2 more
openaire +1 more source
A language for automated programming of mathematical applications
Computer Languages, 1992Abstract A new language system, the AUTOMATED PROGRAMMER, has been designed and implemented. It aims to automate a great deal of routine effort for scientific, engineering, and mathematical application programming. Its notation is modeled after conventional textbook mathematical representation so that mathematical expressions may be entered just as ...
Robert J. Klerer +2 more
openaire +1 more source
An Optimal Alternative Theorem and Applications to Mathematical Programming
Journal of Global Optimization, 2006zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Fabián Flores Bazán +2 more
openaire +2 more sources
Applications of symmetric derivatives in mathematical programming
Mathematical Programming, 1971In recent times the Kuhn—Tucker optimality conditions and the duality theorems for convex programming have been extended by generalizations of the convexity concept. In this paper the notion of a symmetric derivative for a function of several variables is introduced and used to provide extensions of some fundamental optimality and duality theorems of ...
openaire +2 more sources
A language for high-level programming of mathematical applications
Proceedings. 1988 International Conference on Computer Languages, 2003A language system called the Automated Programmer automates a great deal of routine effort for scientific, engineering, and mathematical application programming. Its notation is modeled after conventional textbook mathematical representation, so that mathematical expressions can be entered just as they appear in conventional solution specifications. It
Fred Grossman +2 more
openaire +1 more source
Applications of Fuzzy Set Theory to Mathematical Programming
Information Sciences, 1985zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
The application of a symbolic mathematical system to program verification
Proceedings of the 1974 annual conference on - ACM 74, 1974Program verification is a relatively new application area for symbolic mathematical systems. We report on an interactive program verification system, based on the inductive assertion method, which system is implemented using an existing symbolic mathematical language and supporting system, Reduce. Reduce has been augmented with a number of capabilities
Ralph L. London, David R. Musser
openaire +1 more source
A Comparative Study of Multifunction Differentiability with Applications in Mathematical Programming
Mathematics of Operations Research, 1991A unified treatment of various notions of tangency for sets and differentiability for multifunctions is presented. These results are then applied to study first and second order differentiability properties of metric projections and to some applications in mathematical programming.
Alfred Auslender, Roberto Cominetti
openaire +2 more sources
Defense Applications of Mathematical Programs with Optimization Problems in the Constraints
Operations Research, 1974Bracken and McGill have discussed the theory, computations, and an example of mathematical programming models with optimization problems in the constraints [Opns. Res. 21, 37–44 (1973)], and have presented a computer program for solving such models with nonlinear programs in the constraints [Opns. Res. 22, 1097–1101 (1974)].
Jerome Bracken, James T. McGill
openaire +2 more sources
An application of mathematical programming to sample allocation
Computational Statistics & Data Analysis, 1997zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Valliant, Richard, Gentle, James E.
openaire +1 more source