Journal: Journal of Symbolic Computation

Volume 47, Issue 5

503 -- 518Aurélien Greuet, Feng Guo, Mohab Safey El Din, Lihong Zhi. Global optimization of polynomials restricted to a smooth variety using sums of squares
519 -- 535Torsten Sprenger, Wolfram Koepf. Algorithmic determination of q-power series for q-holonomic functions
536 -- 551John Abbott. Twin-float arithmetic
552 -- 567Nicole Sutherland. Efficient computation of maximal orders in radical (including Kummer) extensions
568 -- 581Jeaman Ahn, Sijong Kwak, Yeongseok Song. The degree complexity of smooth surfaces of codimension 2