@Article{Lucks:1992:ASM,
  author =       "Michael Lucks and Ian Gladwell",
  title =        "Automated Selection of Mathematical Software",
  journal =      "{ACM} Transactions on Mathematical Software",
  volume =       "18",
  number =       "1",
  pages =        "11--34",
  month =        mar,
  year =         "1992",
  CODEN =        "ACMSCU",
  ISSN =         "0098-3500",
  URL =          "http://doi.acm.org/10.1145/128745.128747",
  abstract =     "Current approaches to recommending mathematical
                 software are qualitative and categorical. These
                 approaches are unsatisfactory when the problem to be
                 solved has features that can ``trade-off'' in the
                 recommendation process. A quantitative system is
                 proposed that permits tradeoffs and can be built and
                 modified incrementally. This quantitative approach
                 extends other knowledge-engineering techniques in its
                 knowledge representation and aggregation facilities.
                 The system is demonstrated on the domain of ordinary
                 differential equation initial value problems. The
                 results are significantly superior to an existing
                 qualitative (decision tree) system.",
  keywords =     "algorithms; performance",
  subject =      "{\bf G.4}: Mathematics of Computing, MATHEMATICAL
                 SOFTWARE. {\bf G.1.7}: Mathematics of Computing,
                 NUMERICAL ANALYSIS, Ordinary Differential Equations,
                 Initial value problems. {\bf G.4}: Mathematics of
                 Computing, MATHEMATICAL SOFTWARE. {\bf I.2.4}:
                 Computing Methodologies, ARTIFICIAL INTELLIGENCE,
                 Knowledge Representation Formalisms and Methods,
                 Representation languages.",
}