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

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

Namespace Prefixes

PrefixIRI
n19http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F60076658%3A_____%2F02%3A00004242%21RIV%2F2003%2FMSM%2F120003%2FN/
n14http://linked.opendata.cz/ontology/domain/vavai/riv/typAkce/
dctermshttp://purl.org/dc/terms/
n7http://purl.org/net/nknouf/ns/bibtex#
n15http://linked.opendata.cz/resource/domain/vavai/riv/tvurce/
n18http://linked.opendata.cz/ontology/domain/vavai/
n20https://schema.org/
n9http://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#
n13http://linked.opendata.cz/ontology/domain/vavai/riv/klicoveSlovo/
n16http://linked.opendata.cz/ontology/domain/vavai/riv/duvernostUdaju/
xsdhhttp://www.w3.org/2001/XMLSchema#
n17http://linked.opendata.cz/ontology/domain/vavai/riv/aktivita/
n11http://linked.opendata.cz/ontology/domain/vavai/riv/jazykVysledku/
n12http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledku/
n4http://linked.opendata.cz/ontology/domain/vavai/riv/obor/
n10http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item
n2:RIV%2F60076658%3A_____%2F02%3A00004242%21RIV%2F2003%2FMSM%2F120003%2FN
rdf:type
skos:Concept n18:Vysledek
dcterms:description
Článek pojednává o automatickém dokazování vět. 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. Článek pojednává o automatickém dokazování vět. 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
Discovering Theorems by Computer Discovering Theorems by Computer
skos:prefLabel
Discovering Theorems by Computer Discovering Theorems by Computer
skos:notation
RIV/60076658:_____/02:00004242!RIV/2003/MSM/120003/N
n3:strany
67-70
n3:aktivita
n17:Z
n3:aktivity
Z(MSM 124100006)
n3:dodaniDat
n10:2003
n3:domaciTvurceVysledku
n15:6370950
n3:druhVysledku
n12:D
n3:duvernostUdaju
n16:S
n3:entitaPredkladatele
n19:predkladatel
n3:idSjednocenehoVysledku
643298
n3:idVysledku
RIV/60076658:_____/02:00004242
n3:jazykVysledku
n11:eng
n3:klicovaSlova
algorithms of computer algebra, discovery of theorems, elimination of variables
n3:klicoveSlovo
n13:discovery%20of%20theorems n13:elimination%20of%20variables n13:algorithms%20of%20computer%20algebra
n3:kontrolniKodProRIV
[0203096A05B0]
n3:mistoKonaniAkce
Kočovce
n3:mistoVydani
Bratislava
n3:nazevZdroje
Proceedings of Symposium on Computational Geometry SCG´2002
n3:obor
n4:BA
n3:pocetDomacichTvurcuVysledku
1
n3:pocetTvurcuVysledku
1
n3:pocetUcastnikuAkce
0
n3:pocetZahranicnichUcastnikuAkce
0
n3:rokUplatneniVysledku
n10:2002
n3:tvurceVysledku
Pech, Pavel
n3:typAkce
n14:EUR
n3:zahajeniAkce
2002-09-09+02:00
n3:zamer
n9:MSM%20124100006
s:numberOfPages
4
n7:hasPublisher
Slovenská technická univerzita v Bratislave
n20:isbn
80-227-1773-8