Cohl, H.
, Schubotz, M.
and Veenhuis, D.
(2016),
Getting the units right, Conference on Intelligent Computer Mathematics 2016, Bialystok, -1, [online], https://tsapps.nist.gov/publication/get_pdf.cfm?pub_id=921084
(Accessed April 26, 2024)
Official websites use .gov
A .gov website belongs to an official government organization in the United States.
Secure .gov websites use HTTPS
A lock (
) or https:// means you’ve safely connected to the .gov website. Share sensitive information only on official, secure websites.
Getting the units right
Published
Author(s)
, , David Veenhuis
Abstract
To understand applied physics, and physical formulae in particular, the investigation of identifier units is beneficial. However, normally the units are not given explicitly in formulae and have to be inferred. In this paper, we investigate how this process can be automated. As an example application, we use physical formulae from Wikipedia together with information from the related knowledge-base Wikidata. We envision that this method can be generalized and describe how, in the future, hard logical constraints may be used as a feedback mechanism for statistical methods inProceedings Title
Conference on Intelligent Computer Mathematics 2016
Volume
1785
Conference Dates
July 25-29, 2016
Conference Location
Bialystok
Conference Title
Conference On Intelligent Computer Mathematics
Pub Type
Conferences
Download Paper
Keywords
Wikidata, Wikipedia, Units, Natural Language Processing, Inference, Mathematical Language Processing, Constraint propagation
Citation
Created July 24, 2016, Updated October 7, 2020