Journal: ACM Comm. Computer Algebra

Volume 50, Issue 3

73 -- 82Fritz Schwarz. Decomposing and solving quasilinear second-order differential equations
85 -- 88Miguel A. Abánades, Francisco Botana, Zoltán Kovács, Tomás Recio, Csilla Sólyom-Gecse. Development of automatic reasoning tools in GeoGebra
89 -- 92Erhard Aichinger, Rika Yatchak. Sonata: a GAP tool for nearring computations
93 -- 96Parisa Alvandi, Mahsa Kazemi, Marc Moreno Maza. Computing limits with the regularchains and powerseries libraries: from rational functions to Zariski closure
97 -- 100Changbo Chen, Svyatoslav Covanov, Farnam Mansouri, Robert H. C. Moir, Marc Moreno Maza, Ning Xie 0001, Yuzhen Xie. The basic polynomial algebra subprograms
101 -- 104Ryoya Fukasaku, Hidenao Iwane, Yosuke Sato. CGSQE/SyNRAC: a real quantifier elimination package based on the computation of comprehensive Gröbner systems
105 -- 108A. Whitman Groves, Daniel S. Roche. Sparse polynomials in FLINT
109 -- 112Christoph Koutschan. Motion polynomials and planar linkages
113 -- 116Anton Leykin. Polynomial homotopy continuation in Macaulay2
117 -- 120Elias Tsigaridas. SLV: a software for real root isolation