Skip to main content
U.S. flag

An official website of the United States government

Dot gov

The .gov means it’s official.
Federal government websites often end in .gov or .mil. Before sharing sensitive information, make sure you’re on a federal government site.

Https

The site is secure.
The https:// ensures that you are connecting to the official website and that any information you provide is encrypted and transmitted securely.

RFC: DLMF Content Dictionaries

Published

Author(s)

Bruce R. Miller

Abstract

This note presents a proposed set of (virtual) OpenMath Content Dictionaries to characterize the mathematical special functions as used in the Digital Library of Mathematical Functions.
Volume
2307
Conference Dates
August 13-17, 2018
Conference Location
Hagenberg, -1
Conference Title
CICM-WS 2018
Workshop Papers at 11th Conference on Intelligent Computer Mathematics CICM 2018

Keywords

Mathematical Knowledge Management, Digital Library of Mathematical Functions, OpenMath Content Dictionaries, Special Functions
Created July 13, 2018, Updated September 18, 2019