About: Research Institute for Symbolic Computation

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

unknown

Property	Value
dbo:wikiPageExternalLink	http://www.risc.uni-linz.ac.at/ http://www.softwarepark-hagenberg.com
dbo:wikiPageWikiLink	dbc:Computer_science_organizations dbr:Automated_theorem_proving dbr:Austria dbr:Computer_algebra dbr:Linz dbr:Bruno_Buchberger dbr:Peter_Paule dbr:Symbolic_computation
dbp:wikiPageUsesTemplate	dbt:Unreferenced dbt:Compsci-stub
dct:subject	dbc:Computer_science_organizations
gold:hypernym	dbr:Institute
rdfs:label	Research Institute for Symbolic Computation (en) Институт исследований символьных вычислений (ru)
owl:sameAs	freebase:Research Institute for Symbolic Computation yago-res:Research Institute for Symbolic Computation wikidata:Research Institute for Symbolic Computation dbpedia-ru:Research Institute for Symbolic Computation dbpedia-global:Research Institute for Symbolic Computation
prov:wasDerivedFrom	wikipedia-en:Research_Institute_for_Symbolic_Computation?oldid=1283854574&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Research_Institute_for_Symbolic_Computation
is dbo:almaMater of	dbr:Christoph_Koutschan
is dbo:institution of	dbr:Bernd_Sturmfels dbr:Manuel_Kauers dbr:George_E._Collins
is dbo:wikiPageDisambiguates of	dbr:RISC_(disambiguation)
is dbo:wikiPageWikiLink of	dbr:Global_Digital_Mathematics_Library dbr:Hagenberg_im_Mühlkreis dbr:RISC_(disambiguation) dbr:Bernd_Sturmfels dbr:SIGSAM dbr:Bruno_Buchberger dbr:International_Workshop_on_First-Order_Theorem_Proving dbr:Peter_Paule dbr:Softwarepark_Hagenberg dbr:Manuel_Kauers dbr:Christoph_Koutschan dbr:George_E._Collins
is dbp:almaMater of	dbr:Christoph_Koutschan
is dbp:workplaces of	dbr:Bernd_Sturmfels dbr:Manuel_Kauers dbr:George_E._Collins
is foaf:primaryTopic of	wikipedia-en:Research_Institute_for_Symbolic_Computation