Tsigaridas, Elias SLV: a software for real root isolation. (English) Zbl 1365.68502 ACM Commun. Comput. Algebra 50, No. 3, 117-120 (2016). MSC: 68W30 65H04 PDF BibTeX XML Cite \textit{E. Tsigaridas}, ACM Commun. Comput. Algebra 50, No. 3, 117--120 (2016; Zbl 1365.68502) Full Text: DOI OpenURL
Leykin, Anton Polynomial homotopy continuation in Macaulay2. (English) Zbl 1365.68499 ACM Commun. Comput. Algebra 50, No. 3, 113-116 (2016). MSC: 68W30 14-04 14F35 PDF BibTeX XML Cite \textit{A. Leykin}, ACM Commun. Comput. Algebra 50, No. 3, 113--116 (2016; Zbl 1365.68499) Full Text: DOI OpenURL
Koutschan, Christoph Motion polynomials and planar linkages. (English) Zbl 1365.68496 ACM Commun. Comput. Algebra 50, No. 3, 109-112 (2016). MSC: 68W30 14-04 14M06 14Q05 68U05 PDF BibTeX XML Cite \textit{C. Koutschan}, ACM Commun. Comput. Algebra 50, No. 3, 109--112 (2016; Zbl 1365.68496) Full Text: DOI OpenURL
Groves, A. Whitman; Roche, Daniel S. Sparse polynomials in FLINT. (English) Zbl 1365.68491 ACM Commun. Comput. Algebra 50, No. 3, 105-108 (2016). MSC: 68W30 12Y05 PDF BibTeX XML Cite \textit{A. W. Groves} and \textit{D. S. Roche}, ACM Commun. Comput. Algebra 50, No. 3, 105--108 (2016; Zbl 1365.68491) Full Text: DOI OpenURL
Fukasaku, Ryoya; Iwane, Hidenao; Sato, Yosuke CGSQE/SyNRAC: a real quantifier elimination package based on the computation of comprehensive Gröbner systems. (English) Zbl 1365.68488 ACM Commun. Comput. Algebra 50, No. 3, 101-104 (2016). MSC: 68W30 13-04 13P10 PDF BibTeX XML Cite \textit{R. Fukasaku} et al., ACM Commun. Comput. Algebra 50, No. 3, 101--104 (2016; Zbl 1365.68488) Full Text: DOI OpenURL
Chen, Changbo; Covanov, Svyatoslav; Mansouri, Farnam; Moir, Robert H. C.; Maza, Marc Moreno; Xie, Ning; Xie, Yuzhen The basic polynomial algebra subprograms. (English) Zbl 1365.68484 ACM Commun. Comput. Algebra 50, No. 3, 97-100 (2016). MSC: 68W30 12Y05 13P05 PDF BibTeX XML Cite \textit{C. Chen} et al., ACM Commun. Comput. Algebra 50, No. 3, 97--100 (2016; Zbl 1365.68484) Full Text: DOI OpenURL
Alvandi, Parisa; Kazemi, Mahsa; Maza, Marc Moreno Computing limits with the RegularChains and PowerSeries libraries: from rational functions to Zariski closure. (English) Zbl 1365.68481 ACM Commun. Comput. Algebra 50, No. 3, 93-96 (2016). MSC: 68W30 13J05 13P10 14P05 26A03 26C15 PDF BibTeX XML Cite \textit{P. Alvandi} et al., ACM Commun. Comput. Algebra 50, No. 3, 93--96 (2016; Zbl 1365.68481) Full Text: DOI OpenURL
Aichinger, Erhard; Yatchak, Rika SONATA: a GAP tool for nearring computations. (English) Zbl 1365.68479 ACM Commun. Comput. Algebra 50, No. 3, 89-92 (2016). MSC: 68W30 16-04 16Y30 16Z05 PDF BibTeX XML Cite \textit{E. Aichinger} and \textit{R. Yatchak}, ACM Commun. Comput. Algebra 50, No. 3, 89--92 (2016; Zbl 1365.68479) Full Text: DOI OpenURL
Abánades, Miguel; Botana, Francisco; Kovács, Zoltán; Recio, Tomás; Sólyom-Gecse, Csilla Development of automatic reasoning tools in GeoGebra. (English) Zbl 1365.68431 ACM Commun. Comput. Algebra 50, No. 3, 85-88 (2016). MSC: 68U05 51M15 68T15 68W30 PDF BibTeX XML Cite \textit{M. Abánades} et al., ACM Commun. Comput. Algebra 50, No. 3, 85--88 (2016; Zbl 1365.68431) Full Text: DOI OpenURL
Schwarz, Fritz Decomposing and solving quasilinear second-order differential equations. (English) Zbl 1369.34004 ACM Commun. Comput. Algebra 50, No. 3, 73-82 (2016). MSC: 34A05 34C14 68W30 34A34 PDF BibTeX XML Cite \textit{F. Schwarz}, ACM Commun. Comput. Algebra 50, No. 3, 73--82 (2016; Zbl 1369.34004) Full Text: DOI OpenURL