|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ПсковГУ |
||
Journal of Symbolic Computationжурнал
Индексирование:
Zentralblatt MATH (zbMATH) (1 января 1970 г.-),
JCR (1 января 1970 г.-),
Scopus (1 января 1970 г.-),
Белый список (20 октября 2022 г.-)
Период активности журнала:
не указан
- Другие названия журнала: Journal of Symbolic Computation
- Издательство: Academic Press
- Местоположение издательства: United States
- ISSN: 1095-855X, 0747-7171 (Print)
Статьи, опубликованные в журнале
-
- 2025 Orthogonal-symplectic matrices and their parametric representation
- Batkhin A.B., Petrov A.G.
- в журнале Journal of Symbolic Computation, издательство Academic Press (United States), том 127 DOI
-
- 2021 On rational and hypergeometric solutions of linear ordinary difference equations in $upPi$$upSigma
- Abramov Sergei A., Bronstein Manuel, Petkovšek Marko, Schneider Carsten
- в журнале Journal of Symbolic Computation, издательство Academic Press (United States), том 107, с. 23-66 DOI
-
- 2020 Convolutions of Liouvillian sequences
- Abramov S.A., Petkovsek M., Zakrajsek H.
- в журнале Journal of Symbolic Computation, издательство Academic Press (United States), том 101, № Nov.-Dec., с. 73-89
-
- 2020 Noncommutative algebras, context-free grammars and algebraic Hilbert series
- La Scala Roberto, Piontkovski Dmitri, Tiwari Sharwan K.
- в журнале Journal of Symbolic Computation, издательство Academic Press (United States), том 101, с. 28-50
-
- 2017 On Ramification Indices of Formal Solutions of Constructive Linear Ordinary Differential Systems
- Abramov S.A.
- в журнале Journal of Symbolic Computation, издательство Academic Press (United States), том 79, № Part 2, March–April 2017, с. 475-481 DOI
-
- 2015 Knapsack problems in products of groups
- Frenkel Elizaveta, Nikolaev Andrey, Ushakov Alexander
- в журнале Journal of Symbolic Computation, издательство Academic Press (United States) DOI
-
- 2015 On full rank differential systems with power series coefficients
- Abramov S.A., Barkatou M.A., Khmelnov D.E.
- в журнале Journal of Symbolic Computation, издательство Academic Press (United States), том 68, с. 120-137 DOI
-
- 2013 Linear q-difference equations depending on a parameter
- Abramov S.A., Ryabenko A.A.
- в журнале Journal of Symbolic Computation, издательство Academic Press (United States), том 49, с. 65-77 DOI
-
- 2011 Subanalytic solutions of linear difference equations and multidimensional hypergeometric sequences
- Abramov S.A., Barkatou M.A., van Hoeij M., Petkovšek M.
- в журнале Journal of Symbolic Computation, издательство Academic Press (United States), том 46, № 11, с. 1205-1228 DOI
-
- 2010 An invariant-based approach to the verification of asynchronous parameterized networks
- Konnov I.V., Zakharov V.A.
- в журнале Journal of Symbolic Computation, издательство Academic Press (United States), том 45, № 11, с. 1144-1162
-
- 2009 Algebraic transformation of differential characteristic decompositions from one ranking to another
- Golubitsky O., Kondratieva M., Ovchinnikov A.
- в журнале Journal of Symbolic Computation, издательство Academic Press (United States), том 44, № 4, с. 333-357
-
- 2008 A bound for the Rosenfeld--Gröbner algorithm
- Golubitsky O., Kondratieva M.V., Maza M., Obchinnikov A.
- в журнале Journal of Symbolic Computation, издательство Academic Press (United States), том 43, № 8, с. 582-610
-
- 1988 On recognisable properties of associative algebras
- Gateva-Ivanova Tatiana, Latyshev Victor
- в журнале Journal of Symbolic Computation, издательство Academic Press (United States), том 6, № 2–3, с. 371-388 DOI