Completion for Multiple Reduction Orderings Masahito KuriharaHisashi Kondo OriginalPaper Pages: 25 - 42
Automatic Discovery of Theorems in Elementary Geometry T. RecioM. P. VĂ©lez OriginalPaper Pages: 63 - 82
Separability of Polyhedra for Optimal Filtering of Spatial and Constraint Data Alexander BrodskyCatherine LassezMichael J. Maher OriginalPaper Pages: 83 - 104