A Mathematical Program Generator MPGENR
Publication:3870679
DOI10.1145/355873.355876zbMath0432.90063OpenAlexW1989115953MaRDI QIDQ3870679
Richard P. O'Neill, William M. Michaels
Publication date: 1980
Published in: ACM Transactions on Mathematical Software (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/355873.355876
large-scale optimizationsoftware verificationtest problem generationmathematical program generationMPGENRpredetermined optimal solutionssubroutine system
Numerical mathematical programming methods (65K05) Nonlinear programming (90C30) Linear programming (90C05) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (2)
Uses Software
This page was built for publication: A Mathematical Program Generator MPGENR