581. On tubular vs. swung surfaces. (January 2016) Authors: Recio, Tomás; Rafael Sendra, J.; Tabera, Luis-Felipe; Villarino, Carlos Journal: Journal of symbolic computation Issue: Volume 72(2016) Page Start: 55 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
582. On types of degenerate critical points of real polynomial functions. (July 2020) Authors: Guo, Feng; Phạm, Tiến-Sơn Journal: Journal of symbolic computation Issue: Volume 99(2020) Page Start: 108 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
583. On using Lazard's projection in CAD construction. (January 2016) Authors: McCallum, Scott; Hong, Hoon Journal: Journal of symbolic computation Issue: Volume 72(2016) Page Start: 65 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
584. Open weak CAD and its applications. (May 2017) Authors: Han, Jingjun; Dai, Liyun; Hong, Hoon; Xia, Bican Journal: Journal of symbolic computation Issue: Volume 80:Part 3(2017) Page Start: 785 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
585. Parallel degree computation for binomial systems. (March 2017) Authors: Chen, Tianran; Mehta, Dhagash Journal: Journal of symbolic computation Issue: Volume 79:Part 3(2017) Page Start: 535 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
586. Parallelization of triangular decompositions: Techniques and implementation. (March 2023) Authors: Asadi, Mohammadali; Brandt, Alexander; Moir, Robert H.C.; Moreno Maza, Marc; Xie, Yuzhen Journal: Journal of symbolic computation Issue: Volume 115(2023) Page Start: 371 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
587. Parametric FGLM algorithm. (September 2017) Authors: Dehghani Darmian, Mahdi; Hashemi, Amir Journal: Journal of symbolic computation Issue: Volume 82(2017) Page Start: 38 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
588. Parametrized automata simulation and application to service composition. (July 2015) Authors: Belkhir, Walid; Chevalier, Yannick; Rusinowitch, Michael Journal: Journal of symbolic computation Issue: Volume 69(2015) Page Start: 40 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
589. Perfect refiners for permutation group backtracking algorithms. (January 2023) Authors: Jefferson, Christopher; Waldecker, Rebecca; Wilson, Wilf A. Journal: Journal of symbolic computation Issue: Volume 114(2023) Page Start: 18 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
590. Periodic continued fractions and elliptic curves over quadratic fields. (September 2016) Authors: Sadek, Mohammad Journal: Journal of symbolic computation Issue: Volume 76(2016) Page Start: 200 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗