1. 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) ↗
2. A general framework for Noetherian well ordered polynomial reductions. (November 2019) Authors: Ceria, Michela; Mora, Teo; Roggero, Margherita Journal: Journal of symbolic computation Issue: Volume 95(2019) Page Start: 100 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. Algorithms for tight spans and tropical linear spaces. (March 2019) Authors: Hampe, Simon; Joswig, Michael; Schröter, Benjamin Journal: Journal of symbolic computation Issue: Volume 91(2019) Page Start: 116 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
4. Algorithms for weighted sum of squares decomposition of non-negative univariate polynomials. (July 2019) Authors: Magron, Victor; Safey El Din, Mohab; Schweighofer, Markus Journal: Journal of symbolic computation Issue: Volume 93(2019) Page Start: 200 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
5. Aligning concepts across proof assistant libraries. (January 2019) Authors: Gauthier, Thibault; Kaliszyk, Cezary Journal: Journal of symbolic computation Issue: Volume 90(2018) Page Start: 89 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
6. An algorithm for computing Schur indices of characters. (July 2019) Authors: Unger, W.R. Journal: Journal of symbolic computation Issue: Volume 93(2019) Page Start: 148 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
7. An algorithm for providing the normal forms of spatial quasi-homogeneous polynomial differential systems. (November 2019) Authors: García, Belén; Llibre, Jaume; Lombardero, Antón; Pérez del Río, Jesús S. Journal: Journal of symbolic computation Issue: Volume 95(2019) Page Start: 1 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
8. An approach to constrained polynomial optimization via nonnegative circuit polynomials and geometric programming. (March 2019) Authors: Dressler, Mareike; Iliman, Sadik; de Wolff, Timo Journal: Journal of symbolic computation Issue: Volume 91(2019) Page Start: 149 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
9. An equivalence theorem for regular differential chains. (July 2019) Authors: Boulier, François; Lemaire, François; Poteaux, Adrien; Moreno Maza, Marc Journal: Journal of symbolic computation Issue: Volume 93(2019) Page Start: 34 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
10. An implementation of effective homotopy of fibrations. (September 2019) Authors: Romero, Ana; Rubio, Julio; Sergeraert, Francis Journal: Journal of symbolic computation Issue: Volume 94(2019) Page Start: 149 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗