The ACM Computing Classification System (1991)

G.4 MATHEMATICAL SOFTWARE

  • Algorithm analysis
  • Certification and testing
  • Efficiency
  • Portability
  • Reliability and robustness
  • Verification