Using Symbolic Computation Systems in Applications

Přeskočit na horní lištu Přeskočit na hlavičku Přeskočit na obsah Přeskočit na patičku

Publikace Přehled o publikaci

Přehled o publikaci

D 2003

Using Symbolic Computation Systems in Applications

HŘEBÍČEK, Jiří; Jan PEŠL a Jaroslav RÁČEK

Základní údaje

Originální název

Using Symbolic Computation Systems in Applications

Autoři

HŘEBÍČEK, Jiří; Jan PEŠL a Jaroslav RÁČEK

Vydání

The Decidable and the Undecidable in Mathematics Education, s. 116-118, 2003

Nakladatel

The Mathematics Education into the 21st Century Project

Další údaje

Typ výsledku

Stať ve sborníku

Utajení

není předmětem státního či obchodního tajemství

Označené pro přenos do RIV

Organizační jednotka

Fakulta informatiky

ISBN

83-919465-1-7

Změněno: 8. 3. 2006 07:36, RNDr. Jaroslav Ráček, Ph.D.

HŘEBÍČEK, Jiří; Jan PEŠL a Jaroslav RÁČEK. Using Symbolic Computation Systems in Applications. In The Decidable and the Undecidable in Mathematics Education. The Mathematics Education into the 21st Century Project, 2003, s. 116-118. ISBN 83-919465-1-7.

@inproceedings{488856,
   author = {Hřebíček, Jiří and Pešl, Jan and Ráček, Jaroslav},
   booktitle = {The Decidable and the Undecidable in Mathematics Education},
   isbn = {83-919465-1-7},
   pages = {116-118},
   publisher = {The Mathematics Education into the 21st Century Project},
   title = {Using Symbolic Computation Systems in Applications},
   year = {2003}
}

TY  - CONF
ID  - 488856
AU  - Hřebíček, Jiří - Pešl, Jan - Ráček, Jaroslav
PY  - 2003
TI  - Using Symbolic Computation Systems in Applications
PB  - The Mathematics Education into the 21st Century Project
SN  - 8391946517
ER  -

HŘEBÍČEK, Jiří; Jan PEŠL a Jaroslav RÁČEK. Using Symbolic Computation Systems in Applications. In \textit{The Decidable and the Undecidable in Mathematics Education}. The Mathematics Education into the 21st Century Project, 2003, s.~116-118. ISBN~83-919465-1-7.