Timothy Daly's Publications

SGMV -- Steamed Glasses Problem in Machine Vision

VAL -- Vicarm Automation Language

AML -- A Manufacturing Language

BOXER -- A Design-To-Build System

YESOPS -- A Rule Based Programming Language

KROPS -- Knowledge Representation And Rules Synthesis

AXIOM -- A Computer Algebra System

SUSAN -- An Administrative Assistant

VERIFICATION -- Verification and Validation of Rule Based Programs

PROVISOS -- Proviso-based Symbolic Mathematics

EPAPER -- Rewriteable Paper

PINGER -- Worldcom SMTP Network Monitor

MAGNUS -- Infinite Group Theory Symbolic Algebra

DOYEN -- A Literate Symbolic Algebra Platform

FX -- Functional Extraction

LCM -- Literate Computational Mathematics

CATS -- A Computer Algebra Test Suite