Analyzing mathematical programs using MProbe

DOI10.1023/A:1013178600790MaRDI QIDQ5959311zbMATH OpenOpenAlexFDO

Authors John W. Chinneck

Publication date 26 March 2002

Published in Annals of Operations Research (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1023/a:1013178600790

zbMATH Keywords

C++JavaMProbeprogramming languagessupporting tools

Mathematics Subject Classification ID

Nonlinear programming (90C30)

Recommendations

• Mathematical programming based debugging
• Mathematical programming: Turing completeness and applications to software analysis
• Proof-Producing Program Analysis
• Algebraic program analysis
• Static analysis by abstract interpretation: a mathematical programming approach
• Program analysis via satisfiability modulo path programs
• Inferring functional properties of matrix manipulating programs by abstract interpretation
• Analytic programming -- a comparative study

Cited in

(10)

• A hybrid LP/NLP paradigm for global optimization relaxations
• Inferring functional properties of matrix manipulating programs by abstract interpretation
• SUSPECT: MINLP special structure detector for Pyomo
• On the complexity of detecting convexity over a box
• Automatic repair of convex optimization problems
• Computing bounds on the expected maximum of correlated normal variables
• Assessing the performance of an optimization-based multilevel method
• Discovering the Characteristics of Mathematical Programs via Sampling
• Transforming Source Code to Mathematical Relations for Performance Evaluation
• DrAmpl: A meta solver for optimization problem analysis

Describes a project that uses

Uses Software

• AMPL
• MProbe

This page was built for publication: Analyzing mathematical programs using MProbe

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