來源：學術(shù)之家整理 2025-03-18 15:38:58
《Journal Of Symbolic Computation》中文名稱：《符號計算雜志》，創(chuàng)刊于1985年，由Academic Press Inc.出版商出版，出版周期Monthly。
《符號計算雜志》是一本國際期刊，由 Bruno Buchberger 于 1985 年創(chuàng)辦，面向?qū)Ψ栍嬎闾貏e感興趣的數(shù)學家和計算機科學家。該雜志為研究所有類型符號對象的算法處理提供了一個論壇：形式語言中的對象（術(shù)語、公式、程序）；代數(shù)對象（基本數(shù)字域中的元素、多項式、剩余類等）；以及幾何對象。
該雜志的明確目標是通過為不同子領(lǐng)域的研究人員建立一個共同的交流渠道來促進符號計算的整合。同樣重要的是，這些領(lǐng)域的算法成果應(yīng)該在用于符號計算的集成軟件系統(tǒng)中提供給人類問題解決者。為了促進這種整合，該雜志發(fā)表了受邀教程調(diào)查以及應(yīng)用信函和系統(tǒng)描述。
旨在及時、準確、全面地報道國內(nèi)外COMPUTER SCIENCE, THEORY & METHODS工作者在該領(lǐng)域的科學研究等工作中取得的經(jīng)驗、科研成果、技術(shù)革新、學術(shù)動態(tài)等。
| 文章引用名稱 | 引用次數(shù) |
| Semi-automated proof of supe... | 9 |
| Deciding the existence of ra... | 5 |
| Similarity detection of rati... | 5 |
| Existence of Pythagorean-hod... | 4 |
| On the complexity of the Lic... | 4 |
| Bar code for monomial ideals | 3 |
| Projective and affine symmet... | 3 |
| Computing finite semigroups | 3 |
| Deterministic genericity for... | 3 |
| An equivalence theorem for r... | 2 |
| 被引用期刊名稱 | 數(shù)量 |
| J SYMB COMPUT | 231 |
| J SYST SCI COMPLEX | 84 |
| COMPUT AIDED GEOM D | 42 |
| J ALGEBRA | 38 |
| MATH COMPUT | 38 |
| COMMUN ALGEBRA | 24 |
| J COMPUT APPL MATH | 24 |
| J PURE APPL ALGEBRA | 23 |
| J ALGEBRA APPL | 22 |
| FOUND COMPUT MATH | 21 |
| 引用期刊名稱 | 數(shù)量 |
| J SYMB COMPUT | 231 |
| J ALGEBRA | 51 |
| J PURE APPL ALGEBRA | 34 |
| APPL ALGEBR ENG COMM | 27 |
| ADV MATH | 22 |
| MATH COMPUT | 20 |
| COMMUN ALGEBRA | 19 |
| COMPUT AIDED GEOM D | 19 |
| LECT NOTES MATH | 19 |
| T AM MATH SOC | 19 |
聲明：該作品系作者結(jié)合互聯(lián)網(wǎng)公開知識整合。如有錯漏請聯(lián)系我們，我們將及時更正。
