581. 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) ↗
582. 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) ↗
583. 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) ↗
584. 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) ↗
585. 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) ↗
586. 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) ↗
587. 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) ↗
588. 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) ↗
589. 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) ↗
590. Permutations avoiding sets of patterns with long monotone subsequences. (May 2023) Authors: Bóna, Miklós; Pantone, Jay Journal: Journal of symbolic computation Issue: Volume 116(2023) Page Start: 130 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗