This HTML5 document contains 39 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dctermshttp://purl.org/dc/terms/
n13http://localhost/temp/predkladatel/
n12http://linked.opendata.cz/resource/domain/vavai/riv/tvurce/
n14http://linked.opendata.cz/ontology/domain/vavai/
n10https://schema.org/
n8http://linked.opendata.cz/resource/domain/vavai/zamer/
shttp://schema.org/
n4http://linked.opendata.cz/ontology/domain/vavai/riv/
skoshttp://www.w3.org/2004/02/skos/core#
n2http://linked.opendata.cz/resource/domain/vavai/vysledek/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n15http://linked.opendata.cz/ontology/domain/vavai/riv/klicoveSlovo/
n18http://linked.opendata.cz/ontology/domain/vavai/riv/duvernostUdaju/
xsdhhttp://www.w3.org/2001/XMLSchema#
n17http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F60076658%3A12410%2F01%3A00003050%21RIV%2F2002%2FMSM%2F124102%2FN/
n16http://linked.opendata.cz/ontology/domain/vavai/riv/aktivita/
n11http://linked.opendata.cz/ontology/domain/vavai/riv/jazykVysledku/
n19http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledku/
n6http://linked.opendata.cz/ontology/domain/vavai/riv/obor/
n5http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item
n2:RIV%2F60076658%3A12410%2F01%3A00003050%21RIV%2F2002%2FMSM%2F124102%2FN
rdf:type
skos:Concept n14:Vysledek
dcterms:description
The mathematical software Co Coa is used by proving and discovering theorems from planimetry. The example os Ptolemy´s theorem shows, how important comlete assumptions of the theorem for proving it is. The mathematical software Co Coa is used by proving and discovering theorems from planimetry. The example os Ptolemy´s theorem shows, how important comlete assumptions of the theorem for proving it is.
dcterms:title
On Discovering and Proving of Some Theorems in Geometry On Discovering and Proving of Some Theorems in Geometry
skos:prefLabel
On Discovering and Proving of Some Theorems in Geometry On Discovering and Proving of Some Theorems in Geometry
skos:notation
RIV/60076658:12410/01:00003050!RIV/2002/MSM/124102/N
n4:strany
1-8
n4:aktivita
n16:Z
n4:aktivity
Z(MSM 124100006)
n4:cisloPeriodika
1
n4:dodaniDat
n5:2002
n4:domaciTvurceVysledku
n12:6370950
n4:druhVysledku
n19:J
n4:duvernostUdaju
n18:S
n4:entitaPredkladatele
n17:predkladatel
n4:idSjednocenehoVysledku
689863
n4:idVysledku
RIV/60076658:12410/01:00003050
n4:jazykVysledku
n11:eng
n4:klicovaSlova
Buchberger's algoritm
n4:klicoveSlovo
n15:Buchberger%27s%20algoritm
n4:kodStatuVydavatele
CZ - Česká republika
n4:kontrolniKodProRIV
[F634D7CEE5F8]
n4:nazevZdroje
Univ. S. Boh. Dept. Math. Rep. Ser.
n4:obor
n6:BA
n4:pocetDomacichTvurcuVysledku
1
n4:pocetTvurcuVysledku
2
n4:pocetUcastnikuAkce
0
n4:pocetZahranicnichUcastnikuAkce
0
n4:rokUplatneniVysledku
n5:2001
n4:svazekPeriodika
9
n4:tvurceVysledku
Hora, Jaroslav Pech, Pavel
n4:zamer
n8:MSM%20124100006
s:numberOfPages
8
n10:isbn
80-7040-532-5
n13:organizacniJednotka
12410