Titlebook: Mathematical Knowledge Management; 4th International Co Michael Kohlhase Conference proceedings 2006 Springer-Verlag Berlin Heidelberg 2006

HERTZ

Designing Diagrammatic Catalogues of Types of Basic Interval Equation: A Case Studyure of finding and describing the types is outlined and a number of different diagrammatic and tabular catalogues are presented and their drawbacks and merits discussed. Suggestions for other solutions, like different forms of the catalogue and interactive catalogue are included. Some preliminary gu