journal articleLitStream CollectionTheorem Proving by Covering ExpressionsHenschen, L. J.1979 Journal of the ACM (JACM)doi: 10.1145/322139.322140pmid: N/A
journal articleLitStream CollectionTwo Algorithms for Determining Volumes of Convex PolyhedraCohen, Jacques; Hickey, Timothy1979 Journal of the ACM (JACM)doi: 10.1145/322139.322141pmid: N/A
journal articleLitStream CollectionAn Optimal Algorithm for Finding the Kernel of a PolygonLee, D. T.; Preparata, F. P.1979 Journal of the ACM (JACM)doi: 10.1145/322139.322142pmid: N/A
journal articleLitStream CollectionThe Tree-to-Tree Correction ProblemTai, Kuo-Chung1979 Journal of the ACM (JACM)doi: 10.1145/322139.322143pmid: N/A
journal articleLitStream CollectionSignificant Improvements to the Hwang-Lin Merging AlgorithmManacher, Glenn K.1979 Journal of the ACM (JACM)doi: 10.1145/322139.322144pmid: N/A
journal articleLitStream CollectionThe Ford-Johnson Sorting Algorithm Is Not OptimalManacher, Glenn K.1979 Journal of the ACM (JACM)doi: 10.1145/322139.322145pmid: N/A
journal articleLitStream CollectionSearch within a PageStrong, H. R.; Markowsky, G.; Chandra, A. K.1979 Journal of the ACM (JACM)doi: 10.1145/322139.322146pmid: N/A
journal articleLitStream CollectionSome A -Stable and L -Stable Methods for the Numerical Integration of Stiff Ordinary Differential EquationsBui, T. D.1979 Journal of the ACM (JACM)doi: 10.1145/322139.322147pmid: N/A
journal articleLitStream CollectionScaling for Numerical Stability in Gaussian EliminationSkeel, Robert D.1979 Journal of the ACM (JACM)doi: 10.1145/322139.322148pmid: N/A
journal articleLitStream CollectionMaximal Order and Order of Information for Numerical QuadratureWerschulz, Arthur G.1979 Journal of the ACM (JACM)doi: 10.1145/322139.322149pmid: N/A