Durvye, Clémence Evaluation techniques for zero-dimensional primary decomposition. (English) Zbl 1221.13043 J. Symb. Comput. 44, No. 9, 1089-1113 (2009). MSC: 13P15 68W30 12Y05 PDF BibTeX XML Cite \textit{C. Durvye}, J. Symb. Comput. 44, No. 9, 1089--1113 (2009; Zbl 1221.13043) Full Text: DOI OpenURL
Durvye, Clémence; Lecerf, Grégoire A concise proof of the Kronecker polynomial system solver from scratch. (English) Zbl 1134.14317 Expo. Math. 26, No. 2, 101-139 (2008). MSC: 14Q15 13P10 68W30 PDF BibTeX XML Cite \textit{C. Durvye} and \textit{G. Lecerf}, Expo. Math. 26, No. 2, 101--139 (2008; Zbl 1134.14317) Full Text: DOI OpenURL
Bank, B.; Giusti, M.; Heintz, J.; Pardo, Luis M. Generalized polar varieties: geometry and algorithms. (English) Zbl 1085.14047 J. Complexity 21, No. 4, 377-412 (2005). MSC: 14P05 14B05 14Q99 68Q25 68W30 PDF BibTeX XML Cite \textit{B. Bank} et al., J. Complexity 21, No. 4, 377--412 (2005; Zbl 1085.14047) Full Text: DOI OpenURL
Bank, Bernd; Giusti, Marc; Heintz, Joos; Pardo, Luis M. Generalized polar varieties and an efficient real elimination. (English) Zbl 1249.14019 Kybernetika 40, No. 5, 519-550 (2004). MSC: 14P05 14B05 68W30 68Q25 PDF BibTeX XML Cite \textit{B. Bank} et al., Kybernetika 40, No. 5, 519--550 (2004; Zbl 1249.14019) Full Text: EuDML Link OpenURL
Lecerf, Grégoire Computing the equidimensional decomposition of an algebraic closed set by means of lifting fibers. (English) Zbl 1230.68222 J. Complexity 19, No. 4, 564-596 (2003). MSC: 68W30 14Q99 PDF BibTeX XML Cite \textit{G. Lecerf}, J. Complexity 19, No. 4, 564--596 (2003; Zbl 1230.68222) Full Text: DOI OpenURL
Bruno, N.; Heintz, J.; Matera, G.; Wachenchauzer, R. Functional programming concepts and straight-line programs in computer algebra. (English) Zbl 1005.68187 Math. Comput. Simul. 60, No. 6, 423-473 (2002). MSC: 68W30 68N18 PDF BibTeX XML Cite \textit{N. Bruno} et al., Math. Comput. Simul. 60, No. 6, 423--473 (2002; Zbl 1005.68187) Full Text: DOI OpenURL
Almeida, Marcela; Blaum, Manuela; D’Alfonso, Lisi; Solernó, Pablo Computing bases of complete intersection rings in Noether position. (English) Zbl 1029.13016 J. Pure Appl. Algebra 162, No. 2-3, 127-170 (2001). Reviewer: A.Logar (Trieste) MSC: 13P10 68W10 13C10 13-04 PDF BibTeX XML Cite \textit{M. Almeida} et al., J. Pure Appl. Algebra 162, No. 2--3, 127--170 (2001; Zbl 1029.13016) Full Text: DOI OpenURL