| slovo | definícia |
magma
(encz) | magma,grupoid n: [mat.] algebraická struktura s jednou binární
operací web |
magma
(encz) | magma,magma n: luke |
magma
(encz) | magma,sopečná láva n: luke |
magma
(czen) | magma,liquid rockn: janule |
magma
(czen) | magma,magman: luke |
Magma
(gcide) | Magma \Mag"ma\, n. [L., fr. Gr. ?, fr. ? to squeeze, knead.]
1. Any crude mixture of mineral or organic matters in the
state of a thin paste. --Ure.
[1913 Webster]
2. (Med.)
(a) A thick residuum obtained from certain substances
after the fluid parts are expressed from them; the
grounds which remain after treating a substance with
any menstruum, as water or alcohol.
(b) A salve or confection of thick consistency.
--Dunglison.
[1913 Webster]
3. (Geol.)
(a) The molten matter within the earth, the source of the
material of lava flows, dikes of eruptive rocks, etc.
(b) The glassy base of an eruptive rock.
[1913 Webster]
4. (Chem.) The amorphous or homogenous matrix or ground mass,
as distinguished from well-defined crystals; as, the magma
of porphyry.
[1913 Webster] Magna Carta |
magma
(wn) | magma
n 1: molten rock in the earth's crust |
magma
(foldoc) | Magma
A program used for heavy duty
algebraic computation in many branches of mathematics. Magma,
developed by John Cannon and associates at the University of
Sydney, succeeded Cayley. It runs at several hundred sites.
E-mail: .
(http://maths.usyd.edu.au:8000/u/magma/).
[W. Bosma, J. Cannon and C. Playoust, The Magma algebra system
I: The user language, J. Symb. Comp., 24, 3/4, 1997, 235-265].
(2000-12-21)
|
| | podobné slovo | definícia |
magma
(encz) | magma,grupoid n: [mat.] algebraická struktura s jednou binární
operací webmagma,magma n: lukemagma,sopečná láva n: luke |
magma differentiation
(encz) | magma differentiation,magmatická diferenciace [fráz.] [eko.] RNDr.
Pavel Piskač |
magmatic
(encz) | magmatic,lávovitý adj: Zdeněk Brožmagmatic,magmatický adj: Zdeněk Brož |
magma
(czen) | magma,liquid rockn: janulemagma,magman: luke |
magmatická diferenciace
(czen) | magmatická diferenciace,magma differentiation[fráz.] [eko.] RNDr. Pavel
Piskač |
magmatický
(czen) | magmatický,igneousadj: Zdeněk Brožmagmatický,magmaticadj: Zdeněk Brož |
magma
(wn) | magma
n 1: molten rock in the earth's crust |
magma
(foldoc) | Magma
A program used for heavy duty
algebraic computation in many branches of mathematics. Magma,
developed by John Cannon and associates at the University of
Sydney, succeeded Cayley. It runs at several hundred sites.
E-mail: .
(http://maths.usyd.edu.au:8000/u/magma/).
[W. Bosma, J. Cannon and C. Playoust, The Magma algebra system
I: The user language, J. Symb. Comp., 24, 3/4, 1997, 235-265].
(2000-12-21)
|
magma2
(foldoc) | Magma2
A language that allows programmability of the
control environment, e.g. recursion, backtracking,
coroutines, nondeterminism, etc. Magma2 was the successor
to MagmaLISP.
["Magma2: A Language Oriented Toward Experiments in Control",
Franco Turini, ACM TOPLAS 6(4):468-486 (Oct 1984)].
(1995-07-30)
|
magmalisp
(foldoc) | MagmaLISP
The predecessor of Magma2.
["MagmaLISP: A Machine Language for Artificial Intelligence",
C. Mantagero et al, Proc 4th Intl Joint Conf Artif Intell,
1975, pp. 556-561].
(1995-07-30)
|
|