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/
n11http://linked.opendata.cz/resource/domain/vavai/riv/tvurce/
n17http://linked.opendata.cz/ontology/domain/vavai/
n15http://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/
n14http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F60076658%3A_____%2F02%3A00004243%21RIV%2F2003%2FMSM%2F120003%2FN/
n2http://linked.opendata.cz/resource/domain/vavai/vysledek/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n10http://linked.opendata.cz/ontology/domain/vavai/riv/klicoveSlovo/
n7http://linked.opendata.cz/ontology/domain/vavai/riv/duvernostUdaju/
xsdhhttp://www.w3.org/2001/XMLSchema#
n16http://linked.opendata.cz/ontology/domain/vavai/riv/jazykVysledku/
n8http://linked.opendata.cz/ontology/domain/vavai/riv/aktivita/
n5http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledku/
n4http://linked.opendata.cz/ontology/domain/vavai/riv/obor/
n13http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item
n2:RIV%2F60076658%3A_____%2F02%3A00004243%21RIV%2F2003%2FMSM%2F120003%2FN
rdf:type
skos:Concept n17:Vysledek
dcterms:description
Teorie automatického dokazování vět je užita v elementární geometrii. Běžný způsob užití této teorie spočívá v dokazání či vyvrácení nějakého tvrzení elementární geometrie. V tomto příspěvku je zdůrazněno objevování vět, čímž je myšleno hledání dodatečných předpokladů, které je nutné přidat ke geometrickému tvrzení (které obecně neplatí) tak aby dané tvrzení platilo. Hlavním prostředkem je proces eliminace proměnných. Jsou vyšetřovány některé formule z geometrie trojúhelníka a čtyřúhelníka Teorie automatického dokazování vět je užita v elementární geometrii. Běžný způsob užití této teorie spočívá v dokazání či vyvrácení nějakého tvrzení elementární geometrie. V tomto příspěvku je zdůrazněno objevování vět, čímž je myšleno hledání dodatečných předpokladů, které je nutné přidat ke geometrickému tvrzení (které obecně neplatí) tak aby dané tvrzení platilo. Hlavním prostředkem je proces eliminace proměnných. Jsou vyšetřovány některé formule z geometrie trojúhelníka a čtyřúhelníka
dcterms:title
Elimination of Variables as a Proof Technique Elimination of Variables as a Proof Technique
skos:prefLabel
Elimination of Variables as a Proof Technique Elimination of Variables as a Proof Technique
skos:notation
RIV/60076658:_____/02:00004243!RIV/2003/MSM/120003/N
n3:strany
5-14
n3:aktivita
n8:Z
n3:aktivity
Z(MSM 124100006)
n3:cisloPeriodika
1
n3:dodaniDat
n13:2003
n3:domaciTvurceVysledku
n11:6370950
n3:druhVysledku
n5:J
n3:duvernostUdaju
n7:S
n3:entitaPredkladatele
n14:predkladatel
n3:idSjednocenehoVysledku
644906
n3:idVysledku
RIV/60076658:_____/02:00004243
n3:jazykVysledku
n16:eng
n3:klicovaSlova
Automatic theorem proving, Gröbner bases, elimination of variables
n3:klicoveSlovo
n10:elimination%20of%20variables n10:Gr%C3%B6bner%20bases n10:Automatic%20theorem%20proving
n3:kodStatuVydavatele
CZ - Česká republika
n3:kontrolniKodProRIV
[E689B206CEF6]
n3:nazevZdroje
. Mundus Symbolicus
n3:obor
n4:BA
n3:pocetDomacichTvurcuVysledku
1
n3:pocetTvurcuVysledku
1
n3:pocetUcastnikuAkce
0
n3:pocetZahranicnichUcastnikuAkce
0
n3:rokUplatneniVysledku
n13:2002
n3:svazekPeriodika
10
n3:tvurceVysledku
Pech, Pavel
n3:zamer
n15:MSM%20124100006
s:issn
1210-809X
s:numberOfPages
15