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

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

Namespace Prefixes

Prefix	IRI
n17	http://linked.opendata.cz/ontology/domain/vavai/riv/typAkce/
dcterms	http://purl.org/dc/terms/
n18	http://purl.org/net/nknouf/ns/bibtex#
n19	http://linked.opendata.cz/resource/domain/vavai/riv/tvurce/
n13	http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F60076658%3A_____%2F02%3A00004249%21RIV%2F2003%2FMSM%2F120003%2FN/
n7	http://linked.opendata.cz/ontology/domain/vavai/
n14	https://schema.org/
n6	http://linked.opendata.cz/resource/domain/vavai/zamer/
s	http://schema.org/
skos	http://www.w3.org/2004/02/skos/core#
n3	http://linked.opendata.cz/ontology/domain/vavai/riv/
n2	http://linked.opendata.cz/resource/domain/vavai/vysledek/
rdf	http://www.w3.org/1999/02/22-rdf-syntax-ns#
n11	http://linked.opendata.cz/ontology/domain/vavai/riv/klicoveSlovo/
n4	http://linked.opendata.cz/ontology/domain/vavai/riv/duvernostUdaju/
xsdh	http://www.w3.org/2001/XMLSchema#
n10	http://linked.opendata.cz/ontology/domain/vavai/riv/jazykVysledku/
n5	http://linked.opendata.cz/ontology/domain/vavai/riv/aktivita/
n16	http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledku/
n9	http://linked.opendata.cz/ontology/domain/vavai/riv/obor/
n15	http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item

n2:RIV%2F60076658%3A_____%2F02%3A00004249%21RIV%2F2003%2FMSM%2F120003%2FN

rdf:type

n7:Vysledek skos:Concept

dcterms:description

Pomocí algoritmů počítačové algebry je dokázána a (znovu)objevena známá Heronova a Brahmaguptova formule pro výpočet obsahu trojúhelníka a tětivového čtyřúhelníka By means of algorithms of computer algebra well-known Heron and Brahmagupta formulas for the area of a triangle and cyclic quadrangle are proved and (re)discovered

dcterms:title

Objevování vět z geometrie pomocí počítače Discovery of theorems from geometry by computer Discovery of theorems from geometry by computer Discovery of theorems from geometry by computer Objevování vět z geometrie pomocí počítače

skos:prefLabel

Objevování vět z geometrie pomocí počítače Objevování vět z geometrie pomocí počítače Discovery of theorems from geometry by computer Discovery of theorems from geometry by computer Discovery of theorems from geometry by computer

skos:notation

RIV/60076658:_____/02:00004249!RIV/2003/MSM/120003/N

n3:strany

36

n3:aktivita

n5:Z

n3:aktivity

Z(MSM 124100006)

n3:dodaniDat

n15:2003

n3:domaciTvurceVysledku

n19:6370950

n3:druhVysledku

n16:D

n3:duvernostUdaju

n4:S

n3:entitaPredkladatele

n13:predkladatel

n3:idSjednocenehoVysledku

656411

n3:idVysledku

RIV/60076658:_____/02:00004249

n3:jazykVysledku

n10:cze

n3:klicovaSlova

Buchberger's algorithm, area of polygons

n3:klicoveSlovo

n11:area%20of%20polygons n11:Buchberger%27s%20algorithm

n3:kontrolniKodProRIV

[018DBAB2C7EB]

n3:mistoKonaniAkce

České Budějovice

n3:mistoVydani

České Budějovice

n3:nazevZdroje

Sborník přednášek a programů z 8. ročníku mezinárodní konference Pedagogický software 2002

n3:obor

n9:BA

n3:pocetDomacichTvurcuVysledku

1

n3:pocetTvurcuVysledku

2

n3:pocetUcastnikuAkce

0

n3:pocetZahranicnichUcastnikuAkce

0

n3:rokUplatneniVysledku

n15:2002

n3:tvurceVysledku

Pech, Pavel Hora, Jan

n3:typAkce

n17:CST

n3:zahajeniAkce

2002-06-05+02:00

n3:zamer

n6:MSM%20124100006

s:numberOfPages

1

n18:hasPublisher

Scientific Pedagogical Publishing, České Budějovice

n14:isbn

80-85645-46-7