- 充值
- 会员
- 职称材料
文献信息
An international journal, the Journal of Symbolic Computation, founded by Bruno Buchberger in 1985, is directed to mathematicians and computer scientists who have a particular interest in symbolic computation. The journal provides a forum for research in the algorithmic treatment of all types of symbolic objects: objects in formal languages (terms, formulas, programs); algebraic objects (elements in basic number domains, polynomials, residue classes, etc.); and geometrical objects.
vol.138 (2027)
vol.138 (2026)
vol.137 (2026)
vol.136 (2026)
vol.135 (2026)
vol.134 (2026)
vol.133 (2026)
vol.132 (2026)
vol.131 (2025)
vol.130 (2025)
vol.129 (2025)
vol.128 (2025)
vol.127 (2025)
vol.126 (2025)
vol.125 (2024)
vol.124 (2024)
vol.123 (2024)
vol.122 (2024)
vol.121 (2024)
vol.120 (2024)
vol.119 (2023)
vol.118 (2023)
vol.117 (2023)
vol.116 (2023)
vol.115 (2023)
vol.114 (2023)
vol.113 (2022)
vol.112 (2022)
vol.111 (2022)
vol.110 (2022)
vol.109 (2022)
vol.108 (2022)
vol.107 (2021)
vol.106 (2021)
vol.105 (2021)
vol.104 (2021)
vol.103 (2021)
vol.102 (2021)
vol.101 (2020)
vol.100 (2020)
vol.99 (2020)
vol.98 (2020)
vol.97 (2020)
vol.96 (2020)
vol.95 (2019)
vol.94 (2019)
vol.93 (2019)
vol.92 (2019)
vol.91 (2019)
vol.90 (2019)
vol.89 (2018)
vol.88 (2018)
vol.87 (2018)
vol.86 (2018)
vol.85 (2018)
vol.84 (2018)
vol.83 (2017)
vol.82 (2017)
vol.81 (2017)
vol.80 (2017)
vol.79 (2017)
vol.78 (2017)
vol.77 (2016)
vol.76 (2016)
vol.75 (2016)
vol.74 (2016)
vol.73 (2016)
vol.72 (2016)
vol.71 (2015)
vol.70 (2015)
vol.69 (2015)
vol.68 (2015)
vol.67 (2015)
vol.66 (2015)
vol.65 (2014)
vol.64 (2014)
vol.63 (2014)
vol.61 (2014)
vol.60 (2014)
vol.59 (2013)
vol.58 (2013)
vol.57 (2013)
vol.56 (2013)
vol.55 (2013)
vol.54 (2013)
vol.53 (2013)
vol.52 (2013)
vol.51 (2013)
vol.50 (2013)
vol.49 (2013)
vol.48 (2013)
vol.47 (2012)
vol.46 (2011)
vol.45 (2010)
vol.44 (2009)
vol.43 (2008)
vol.42 (2007)
vol.41 (2006)
vol.40 (2005)
vol.39 (2005)
vol.38 (2004)
vol.37 (2004)
vol.36 (2003)
vol.35 (2003)
vol.34 (2002)
vol.33 (2002)
vol.32 (2001)
vol.31 (2001)
vol.30 (2000)
vol.29 (2000)
vol.28 (1999)
vol.27 (1999)
vol.26 (1998)
vol.25 (1998)
vol.24 (1997)
vol.23 (1997)
vol.22 (1996)
vol.21 (1996)
vol.20 (1995)
vol.19 (1995)
vol.18 (1994)
vol.17 (1994)
vol.16 (1993)
vol.15 (1993)
vol.14 (1992)
vol.13 (1992)
vol.12 (1991)
vol.11 (1991)
vol.10 (1990)
vol.9 (1990)
vol.8 (1989)
vol.7 (1989)
vol.6 (1988)
vol.5 (1988)
vol.4 (1987)
vol.3 (1987)
vol.2 (1986)
vol.1 (1985)
Corless, Robert M.Norman, ArthurRecio, TomasTurkel, William J.Watt, Stephen M.