Automatic inequality proving based on interval analysis

MaRDI QIDQ3110281zbMATH OpenFDO

Authors Xiaorong Hou, Junwei Shao

Publication date 27 January 2012

zbMATH Keywords

automatic provinginequalityinterval analysis

Mathematics Subject Classification ID

Inequalities involving other types of functions (26D07)

Recommendations

• scientific article; zbMATH DE number 802415
• On one method of proving inequalities in automated way
• Automated inequality proving and discovering
• Some notes on a method for proving inequalities by computer
• Automated proof of mixed trigonometric-polynomial inequalities

Cited in

(6)

• A software tool for automatically verified operations on intervals and probability distributions
• Simplified frequency response computation of fractional order systems with multiple linear uncertainty structures
• scientific article; zbMATH DE number 6719570 (Why is no real title available?)
• Interval analysis and automatic result verification
• scientific article; zbMATH DE number 67122 (Why is no real title available?)
• scientific article; zbMATH DE number 802415 (Why is no real title available?)

This page was built for publication: Automatic inequality proving based on interval analysis

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