This document is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
The copyright holder grants you permission to redistribute this
document freely as a verbatim copy. Furthermore, the copyright
holder permits you to develop any derived work from this document
provided that the following conditions are met.
a) The derived work acknowledges the fact that it is derived from
this document, and maintains a prominent reference in the
work to the original source.
b) The fact that the derived work is not the original OpenMath
document is stated prominently in the derived work. Moreover if
both this document and the derived work are Content Dictionaries
then the derived work must include a different CDName element,
chosen so that it cannot be confused with any works adopted by
the OpenMath Society. In particular, if there is a Content
Dictionary Group whose name is, for example, `math' containing
Content Dictionaries named `math1', `math2' etc., then you should
not name a derived Content Dictionary `mathN' where N is an integer.
However you are free to name it `private_mathN' or some such. This
is because the names `mathN' may be used by the OpenMath Society
for future extensions.
c) The derived work is distributed under terms that allow the
compilation of derived works, but keep paragraphs a) and b)
intact. The simplest way to do this is to distribute the derived
work under the OpenMath license, but this is not a requirement.
If you have questions about this license please contact the OpenMath
society at http://www.openmath.org.
physical_consts1
http://www.openmath.org/cd
http://www.openmath.org/cd/physical_consts1.ocd
2017-12-31
experimental
2005-05-28
3
2
Author: OpenMath Consortium
SourceURL: https://github.com/OpenMath/CDs
This CD defines symbols which represent some elementary physical constants.
absolute_zero
constant
This symbol represents the absolute zero of temperature, synonymous
with the object of that temperature having zero latent heat.
zero_Celsius
constant
This symbol represents the zero of the Celsius temperature scale.
zero_Fahrenheit
constant
This symbol represents the zero of the Fahrenheit temperature scale.
light_year
constant
This symbol represents the distant for which a beam of light would
take a year to traverse, in a vacuum.
one light year is approximately 9221136415095314 metres
9221136415095314
speed_of_light
constant
This symbol represents the speed of light in a vacuum. It is
approximately 299792458 metres per second.
The speed of light is approximately 299792458 metres per second
299792458
Planck_constant
constant
This symbol represents the fundamental constant equal to the ratio of
the energy of a quantum of energy to its frequency. It is
approximately equal to 6.6260755*10^(-34) +/- 4.0*10^(-40) Joule seconds.
The Planck constant is 6.6260755*10^(-34) +/- 4.0*10^(-40) Joule
seconds
this is equivalent to
There exists P s.t.
6.626075... -4.0... < P
and
6.626075... +4.0... > P
and
Planck constant = P*Joule*second
10-34
10-40
10-34
10-40
mole
constant
This symbol represents the number of atoms in one gramme of carbon(12).
gravitational_constant
constant
This symbol represents the constant of proportionality in Newtons law
of universal gravitation which states; Two bodies attract each other
with equal and opposite forces; the magnitude of this force is
proportional to the product of the two masses and is also proportional
to the inverse square of the distance between the centers of mass of
the two bodies. It is approximately equal to: 6.672*10^(-11) Newton
square metres per kilogramme squared.
The gravitational constant is approximately 6.672*10^(-11) Newton
square metres per kilogramme squared
10-11
1000
2
Avogadros_constant
constant
This symbol represents the number of atoms in 12 grammes of pure
carbon(12). It is approximately 6.0221367*10^(23) +/- 3.6*10^(17).
Avogadros constant is 6.0221367*10^(23) +/- 3.6*10^(17).
1023
1017
1023
1017
Faradays_constant
constant
This symbol represents the electric charge carried by one mole of
electrons. It is approximately 96485.309 +/- 0.029 Coulombs per mole.
Faradays constant is 96485.309 +/- 0.029 Coulombs per mole.
gas_constant
constant
This symbol represents the constant which is equal to the ratio of the
pressure times the volume and the temperature of an ideal gas. It is
approximately 8.31451 +/- 7.0*10^(-05) Joules per mole per Kelvin.
The gas constant is 8.31451 +/- 7.0*10^(-05) Joules per
mole per Kelvin.
Loschmidt_constant
constant
This symbol represents the number of particles per unit volume of an
ideal gas at standard temperature and pressure. It is approximately
2.686763 * 10^(25) +/- 2.3 * 10^(20) per metre cubed.
The Loschmidt constant is 2.686763 * 10^(25) +/- 2.3 *
10^(20) per metre cubed.
1025
1020
1025
1020
3
magnetic_constant
constant
This symbol represents the ratio of the magnetic flux density in a
substance to the external field strength for vacuum. It is equal to
4 pi x 10^(-7) H/m.
The magnetic constant is equal to 4 pi x 10^(-7) H/m.
410-7
Boltzmann_constant
constant
A constant which describes the relationship between temperature and kinetic energy for
molecules in an ideal gas. It is approximately 1.380658*10^(-23)
+/- 1.2*10^(-28) Joules per Kelvin.
The Boltzmann constant is equal to 1.380658*10^(-23) +/- 1.2*10^(-28)
Joules per Kelvin.
10-23
10-28
10-23
10-28