Reliable Computing
An international journal devoted to reliable mathematical computations based on finite representations and guaranteed accuracy. Tables of contents. Full text to subscribers.