Journal of Symbolic Computation
GPTKB entity
Properties (54)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
academic journal
|
| gptkbp:abstract |
gptkb:Google_Scholar
Scopus MathSciNet DBLP |
| gptkbp:access |
subscription-based
|
| gptkbp:archives |
gptkb:Elsevier
|
| gptkbp:citedBy |
APA
|
| gptkbp:discipline |
computer science
|
| gptkbp:documentType |
research articles
|
| gptkbp:editor |
Hoon_Hong
|
| gptkbp:field |
symbolic computation
|
| gptkbp:firstPublished |
1985
|
| gptkbp:frequency |
monthly
|
| https://www.w3.org/2000/01/rdf-schema#label |
Journal of Symbolic Computation
|
| gptkbp:impact |
1.5
|
| gptkbp:investmentFocus |
various experts in symbolic computation
|
| gptkbp:isReviewedBy |
true
|
| gptkbp:language |
English
|
| gptkbp:notableFeature |
Papers on algebraic structures
Papers on software verification Papers on algebraic geometry Papers on algebraic computation Papers on algebraic topology Papers on automated reasoning Papers on combinatorial algorithms Papers on computational algebra Papers on computational logic Papers on computer algebra systems Papers on formal methods Papers on mathematical proofs Papers on mathematical software Papers on numerical methods Papers on optimization techniques Papers on symbolic algebra Papers on symbolic computation algorithms Papers on symbolic computation frameworks Papers on symbolic computation in biology Papers on symbolic computation in economics Papers on symbolic computation in engineering Papers on symbolic computation in physics Papers on symbolic computation in social sciences Papers on symbolic data analysis Papers on symbolic differentiation Papers on symbolic execution Papers on symbolic integration Papers on symbolic logic Papers on symbolic model checking Papers on symbolic programming Papers on symbolic regression Papers on theorem proving |
| gptkbp:publisher |
gptkb:Elsevier
|
| gptkbp:symbol |
J._Symb._Comput.
|
| gptkbp:website |
https://www.journals.elsevier.com/journal-of-symbolic-computation
|