• Facets (new session)
• Description
• Metadata
• Settings
  • Rule: ActivityStreamsMapasEquivalentb3sb3sifpdbprdf-labelfacetshttp://dbpedia.org/resource/inference/rules/dbpedia#http://dbpedia.org/resource/inference/rules/opencyc#http://dbpedia.org/resource/inference/rules/umbel#http://dbpedia.org/resource/inference/rules/yago#http://dbpedia.org/schema/property_rules#http://www.ontologyportal.org/inference/rules/SUMO#http://www.ontologyportal.org/inference/rules/WordNet#http://www.w3.org/2002/07/owl#ldpoplwebskos-transurn:det:rdf:labelvirtrdf-labelvirtrdf-urlNone
    
  • Inverse Functional Properties: Disabled (fastest) Apply to subjects only Apply to objects only Apply to both subjects and objects
  • "Same As": Disabled (fastest) Apply to subjects only Apply to objects only Apply to both subjects and objects (recommended) Apply to subjects, objects and predicates (not recommended on big datasets) Apply to predicates only (special use cases only)

About: Journal of Symbolic Computation     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : yago:WikicatPublicationsEstablishedIn1985, within Data Space : dbpedia.org associated with source document(s)

Type: Thingschema:CreativeWorkperiodical literatureworkwikidata:Q1092563Text (literary theory)wikidata:Q386724yago:WikicatComputerScienceJournalsyago:WikicatMathematicsJournalsyago:WikicatMonthlyJournalsyago:Artifact100021939yago:Creation103129123yago:Instrumentality103575240yago:Medium106254669yago:Newspaper106267145yago:Object100002684yago:Periodical106593296yago:PhysicalEntity100001930yago:Press106263369yago:PrintMedia106263609yago:Product104007894yago:Publication106589574yago:Work104599396academic journalwritten workyago:Whole100003553yago:WikicatElsevierAcademicJournalsyago:WikicatEnglish-languageJournalsyago:WikicatEnglish-languageNewspapersyago:WikicatPublicationsEstablishedIn1985 New Facet based on Instances of this Class

The Journal of Symbolic Computation is a peer-reviewed monthly scientific journal covering all aspects of symbolic computation published by Academic Press and then by Elsevier. It is targeted to both mathematicians and computer scientists. It was established in 1985 by Bruno Buchberger, who served as its editor until 1994. The journal covers a wide variety of topics, including: * Computer algebra, for which it is considered the top journal * Computational geometry * Automated theorem proving * Applications of symbolic computation in education, science, and industry