The ACM Computing Classification System (1998) G.4 MATHEMATICAL SOFTWARE Algorithm design and analysis Certification and testing Documentation Efficiency Parallel and vector implementations Portability [**] Reliability and robustness User interfaces Verification [**]
