PERUSE: An Interactive System for Mathematical Programs

DOI10.1145/355921.355923MaRDI QIDQ3885182zbMATH OpenOpenAlexFDO

Authors William G. Kurator, Richard P. O'Neill

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/355921.355923

zbMATH Keywords

interactive mathematical programmingmodel auditingmodel debuggingmodel verificationPERUSE

Mathematics Subject Classification ID

Theory of software (68N99) Software, source code, etc. for problems pertaining to operations research and mathematical programming (90-04) Mathematical programming (90Cxx)

Cited in

(4)

• Algebraic languages for mathematical programming
• Analyzing mathematical models with inductive learning networks
• Automatic repair of convex optimization problems
• Structural analysis of optimization problems formulated in planning languages

Describes a project that uses

Uses Software

• PERUSE

This page was built for publication: PERUSE: An Interactive System for Mathematical Programs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3885182)