KDI: Mathematical Foundations for a Networked Scientific Knowledge Base

9980036这个项目解决的问题的生成，验证，组织，分布和使用面向Web的知识库的数学概念。 所涉及的领域是应用数学中的特殊函数。 研究人员和他的同事们开发了一个数学函数数字图书馆（DLMF），这是一个通过对档案文献进行全新调查获得的经验证的数学数据的网络访问知识库。 DLMF以经典的NBS数学函数手册（Abramowitz和Stegun编辑）的简洁风格提供参考信息，但是在基于语义的表示、元数据、交互特征和内部/外部链接的丰富结构内。 它支持不同的用户需求，如简单的查找，复杂的搜索和检索，公式验证和发现，自动规则生成，交互式可视化，按需定制数据，以及指向软件和评估数值方法的指针。 作为NBS手册的继承者，DLMF提供了可追溯到NIST定义的数学概念的权威来源。 基本的研究问题与内容，表示，以及人类和其他代理与DLMF知识库的交互。 这些问题包括相关材料的识别和验证;数学信息基于语义的表示的发展;元数据的结构;数学数据库中的搜索和检索;以及适合于组合、显示和计算的格式之间的数学数据转换。 这些问题正由一个国际专家小组在编辑委员会的监督下加以解决。 DLMF将以印刷版和CD-ROM以及免费的Web服务分发，该服务将由NIST无限期维护。项目人员正在构建数学函数数字图书馆（DLMF），该图书馆提供NIST认证的参考数据和应用数学高级函数的相关信息。 这些函数具有大量极其重要和高度技术性的特性，被工程师、科学家、统计学家和其他人用来帮助构建和分析各种应用中的材料和过程的计算模型。 DLMF帮助其用户查找公式、算法和软件;通过交互式图形和典型应用程序理解复杂关系;跟踪NIST标准的数学定义和属性;以及将复杂的数学信息转录成具有完全可靠性和准确性的文档和计算机程序。 例如，软件公司将能够使用DLMF来生产大大改进的库和软件包。 这是非常重要的，因为软件为从业者提供了最有效的手段，可以轻松可靠地使用数学方法。 由NIST在NSF的支持下于20世纪50年代开发的当前数学函数标准参考已经严重过时。 从那时起，无数新的性质、功能、应用和计算技术变得重要起来。 这一差距需要填补，并以充分利用现代信息技术的方式填补。 这些数据被呈现在一个最先进的万维网网站上，该网站将成为数学函数技术的研究人员和用户的关注焦点，以及一本带有CD-ROM的书。预计DLMF将成为类似类型的其他项目的模型。 该KDI项目由数学科学部和信息与智能系统部支持。

9980036This project addresses the problems of generation, validation, organization, distribution and use of a Web-oriented knowledge base of mathematical concepts. The field of coverage is the special functions of applied mathematics. The investigator and his colleagues develop a Digital Library of Mathematical Functions (DLMF), a Web-accessible knowledge base of validated mathematical data obtained by a completely new survey of the archival literature. The DLMF delivers reference information in the concise style of the classic NBS Handbook of Mathematical Functions (Abramowitz and Stegun, eds.), but within a rich structure of semantic-based representation, metadata, interactive features, and internal/external links. It supports diverse user requirements such as simple lookup, complex search and retrieval, formula validation and discovery, automatic rule generation, interactive visualization, custom data on demand, and pointers to software and evaluated numerical methodology. As successor to the NBS Handbook, the DLMF provides an authoritative source of mathematical concepts traceable to a NIST definition. The basic research issues are associated with content, representation, and interaction of humans and other agents with the DLMF knowledge base. Such issues include identification and validation of relevant material; development of semantic-based representations of mathematical information; structure of metadata; search and retrieval in mathematical databases; and conversion of mathematical data between formats suitable for composition, display, and computation. These problems are being solved by an international team of experts, overseen by an editorial board. The DLMF will be disseminated in a print edition with CD-ROM as well as from a free Web service that will be maintained indefinitely at NIST.The project personnel are constructing a Digital Library of Mathematical Functions (DLMF) which provides NIST-certified reference data and associated information for the higher functions of applied mathematics. Such functions possess a wealth of critically important and highly technical properties that are used by engineers, scientists, statisticians and others to aid in the construction and analysis of computational models of materials and processes in a wide variety of applications. TheDLMF assists its users in locating formulas, algorithms and software; in understanding complex relationships through interactive graphics and typical applications; in tracing mathematical definitions and properties to a NIST standard; and in transcribing intricate mathematical information into documents and computer programs with complete reliability and accuracy. For example, software companies will be able to use the DLMF to produce vastly improved libraries and software packages. This is very significant because software provides the most effective means for practitioners to employ mathematical methods easily and reliably. The current standard reference for mathematical functions, developed by NIST with NSF support in the 1950s, is seriously out-of-date. A myriad of new properties, functions, applications and computational techniques have come into importance since then. This gap needs to be filled, and done so in a way that takes full advantage of modern information technology. The data are presented at a state-of-the-art World Wide Web site that will become a focus for the community of researchers and users of mathematical function technology, as well as in a book with CD-ROM. It is expected that the DLMF will be a model for other projects of similar type. This KDI project is supported by the Division of Mathematical Sciences and the Division of Information and Intelligent Systems.