記号計算ジャーナル

『Journal of Symbolic Computation』は、記号計算のあらゆる側面を網羅する査読付きの月刊科学誌で、当初はAcademic Press、後にElsevierによって 発行されました。数学者とコンピュータ科学者の両方を対象としています。1985年にブルーノ・ブッフベルガーによって創刊され、彼は1994年まで編集長を務めました。

この雑誌は、以下のような幅広いトピックを扱っています。

• コンピュータ代数分野ではトップジャーナルとみなされている^{[ 1 ]}
• 計算幾何学
• 自動定理証明
• 教育、科学、産業における記号計算の応用

Journal Citation Reportsによると、2020年のインパクトファクターは0.847です。^{[ 2 ]}このジャーナルはScopusとScience Citation Indexに抄録および索引付けされています。

• 高階演算と記号計算
• 記号計算および代数計算に関する国際シンポジウム

• 公式サイト