LCS Publication Details
Publication Title: HIERARCHICAL INEQUALITY REASONING
Publication Author: Sacks, Elisha, P.
Additional Authors:
LCS Document Number: MIT-LCS-TM-312
Publication Date: 2-1-1987
LCS Group: No Group Specified
Additional URL: No URL Given
Abstract:
This paper describes a program called BOUNDER that proves inequalities between elementary functions over finite sets of constraints. Previous inequality algorithms perform well on some subset of the elementary functions, but poorly elsewhere. Although complex algorithms perform better than simple ones for most functions, exceptions exists.
To obtain this publication:

    To purchase a printed copy of this publication please contact MIT Document Services.