This HTML5 document contains 38 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://linked.opendata.cz/resource/domain/vavai/riv/tvurce/
n9http://linked.opendata.cz/ontology/domain/vavai/
n16http://linked.opendata.cz/resource/domain/vavai/zamer/
shttp://schema.org/
skoshttp://www.w3.org/2004/02/skos/core#
n3http://linked.opendata.cz/ontology/domain/vavai/riv/
n2http://linked.opendata.cz/resource/domain/vavai/vysledek/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n12http://linked.opendata.cz/ontology/domain/vavai/riv/klicoveSlovo/
n14http://linked.opendata.cz/ontology/domain/vavai/riv/duvernostUdaju/
xsdhhttp://www.w3.org/2001/XMLSchema#
n10http://linked.opendata.cz/ontology/domain/vavai/riv/aktivita/
n15http://linked.opendata.cz/ontology/domain/vavai/riv/jazykVysledku/
n5http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F60076658%3A_____%2F02%3A00004247%21RIV%2F2003%2FMSM%2F120003%2FN/
n17http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledku/
n11http://linked.opendata.cz/ontology/domain/vavai/riv/obor/
n6http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item
n2:RIV%2F60076658%3A_____%2F02%3A00004247%21RIV%2F2003%2FMSM%2F120003%2FN
rdf:type
n9:Vysledek skos:Concept
dcterms:description
V poslední třetině 20.století bylo dosaženo velkého pokroku v oblasti počítačových metod komutativní algebry a algebraické geometrie. Tento článek ukazuje, že teorie eliminace proměnných může být užita nejen při řešení soustav algebraických rovnic, ale ipři dokazování vět z geometrie. Rovněž jsou uvedeny počítačové důkazy geometrických vět, které vyžadují hlubší znalosti z teorie ideálů. V poslední třetině 20.století bylo dosaženo velkého pokroku v oblasti počítačových metod komutativní algebry a algebraické geometrie. Tento článek ukazuje, že teorie eliminace proměnných může být užita nejen při řešení soustav algebraických rovnic, ale ipři dokazování vět z geometrie. Rovněž jsou uvedeny počítačové důkazy geometrických vět, které vyžadují hlubší znalosti z teorie ideálů.
dcterms:title
About proofs of some theorems from geometry About proofs of some theorems from geometry
skos:prefLabel
About proofs of some theorems from geometry About proofs of some theorems from geometry
skos:notation
RIV/60076658:_____/02:00004247!RIV/2003/MSM/120003/N
n3:strany
63-72
n3:aktivita
n10:Z
n3:aktivity
Z(MSM 124100006)
n3:cisloPeriodika
1
n3:dodaniDat
n6:2003
n3:domaciTvurceVysledku
n13:6370950
n3:druhVysledku
n17:J
n3:duvernostUdaju
n14:S
n3:entitaPredkladatele
n5:predkladatel
n3:idSjednocenehoVysledku
637294
n3:idVysledku
RIV/60076658:_____/02:00004247
n3:jazykVysledku
n15:eng
n3:klicovaSlova
About proofs of some theorems from geometry
n3:klicoveSlovo
n12:About%20proofs%20of%20some%20theorems%20from%20geometry
n3:kodStatuVydavatele
CZ - Česká republika
n3:kontrolniKodProRIV
[C0A8FA86D83B]
n3:nazevZdroje
Proceedings of UVVB
n3:obor
n11:BA
n3:pocetDomacichTvurcuVysledku
1
n3:pocetTvurcuVysledku
2
n3:pocetUcastnikuAkce
0
n3:pocetZahranicnichUcastnikuAkce
0
n3:rokUplatneniVysledku
n6:2002
n3:svazekPeriodika
5
n3:tvurceVysledku
Hora, Jan Pech, Pavel
n3:zamer
n16:MSM%20124100006
s:issn
1211-9652
s:numberOfPages
10