Journal: Journal of symbolic computation - British Library Electronic Legal Deposit Catalogue-Journal Issues and Articles Search Results

Journal Journal of symbolic computation

1. A census of small transitive groups and vertex-transitive graphs. (November 2020)

Authors:: Holt, Derek; Royle, Gordon
Journal:: Journal of symbolic computation
Issue:: Volume 101(2020)
Page Start:: 51
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

2. A certificate for semidefinite relaxations in computing positive-dimensional real radical ideals. (January 2016)

Authors:: Ma, Yue; Wang, Chu; Zhi, Lihong
Journal:: Journal of symbolic computation
Issue:: Volume 72(2016)
Page Start:: 1
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

3. A certified iterative method for isolated singular roots. (March 2023)

Authors:: Mantzaflaris, Angelos; Mourrain, Bernard; Szanto, Agnes
Journal:: Journal of symbolic computation
Issue:: Volume 115(2023)
Page Start:: 223
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

4. A certified numerical algorithm for the topology of resultant and discriminant curves. (May 2017)

Authors:: Imbach, Rémi; Moroz, Guillaume; Pouget, Marc
Journal:: Journal of symbolic computation
Issue:: Volume 80:Part 2(2017)
Page Start:: 285
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

5. A combinatorial description of finite O-sequences and aCM genera. (March 2016)

Authors:: Cioffi, Francesca; Lella, Paolo; Marinari, Maria Grazia
Journal:: Journal of symbolic computation
Issue:: Volume 73(2016)
Page Start:: 104
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

6. A complete and terminating approach to linear integer solving. (September 2020)

Authors:: Bromberger, Martin; Sturm, Thomas; Weidenbach, Christoph
Journal:: Journal of symbolic computation
Issue:: Volume 100(2020)
Page Start:: 102
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

7. A computable extension for D-finite functions: DD-finite functions. (September 2019)

Authors:: Jiménez-Pastor, Antonio; Pillwein, Veronika
Journal:: Journal of symbolic computation
Issue:: Volume 94(2019)
Page Start:: 90
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

8. A condition for multiplicity structure of univariate polynomials. (May 2021)

Authors:: Hong, Hoon; Yang, Jing
Journal:: Journal of symbolic computation
Issue:: Volume 104(2021)
Page Start:: 523
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

9. A constructive method for decomposing real representations. (May 2021)

Authors:: Ali, Sajid; Azad, Hassan; Biswas, Indranil; de Graaf, Willem A.
Journal:: Journal of symbolic computation
Issue:: Volume 104(2021)
Page Start:: 328
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

10. A difference ring theory for symbolic summation. (January 2016)

Authors:: Schneider, Carsten
Journal:: Journal of symbolic computation
Issue:: Volume 72(2016)
Page Start:: 82
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗