Seynnaeve, Tim; Tairi, Nafie Universal equations for maximal isotropic Grassmannians. (English) Zbl 07740064 J. Symb. Comput. 121, Article ID 102260, 23 p. (2024). MSC: 14M15 51M35 15A75 PDFBibTeX XMLCite \textit{T. Seynnaeve} and \textit{N. Tairi}, J. Symb. Comput. 121, Article ID 102260, 23 p. (2024; Zbl 07740064) Full Text: DOI arXiv
Prébet, Rémi; Safey El Din, Mohab; Schost, Éric Computing roadmaps in unbounded smooth real algebraic sets. I: Connectivity results. (English) Zbl 1527.14116 J. Symb. Comput. 120, Article ID 102234, 27 p. (2024). Reviewer: Gema Maria Diaz Toca (Murcia) MSC: 14Q20 14Q30 14P05 68W30 PDFBibTeX XMLCite \textit{R. Prébet} et al., J. Symb. Comput. 120, Article ID 102234, 27 p. (2024; Zbl 1527.14116) Full Text: DOI arXiv
Elliott, Jesse; Giesbrecht, Mark; Schost, Éric Bit complexity for computing one point in each connected component of a smooth real algebraic set. (English) Zbl 07621046 J. Symb. Comput. 116, 72-97 (2023). MSC: 14Qxx 68Wxx 14Pxx PDFBibTeX XMLCite \textit{J. Elliott} et al., J. Symb. Comput. 116, 72--97 (2023; Zbl 07621046) Full Text: DOI arXiv
Duff, Timothy; Ruddy, Michael Signatures of algebraic curves via numerical algebraic geometry. (English) Zbl 1507.14047 J. Symb. Comput. 115, 452-477 (2023). Reviewer: Hans-Peter Schröcker (Innsbruck) MSC: 14H50 65H20 14Q05 53A55 PDFBibTeX XMLCite \textit{T. Duff} and \textit{M. Ruddy}, J. Symb. Comput. 115, 452--477 (2023; Zbl 1507.14047) Full Text: DOI arXiv
Mantzaflaris, Angelos; Mourrain, Bernard; Szanto, Agnes A certified iterative method for isolated singular roots. (English) Zbl 1514.13029 J. Symb. Comput. 115, 223-247 (2023). Reviewer: Nelly Villamizar (Swansea) MSC: 13P15 65H10 68W01 PDFBibTeX XMLCite \textit{A. Mantzaflaris} et al., J. Symb. Comput. 115, 223--247 (2023; Zbl 1514.13029) Full Text: DOI
Le, Huu Phuoc; Safey El Din, Mohab Solving parametric systems of polynomial equations over the reals through Hermite matrices. (English) Zbl 1487.14130 J. Symb. Comput. 112, 25-61 (2022). Reviewer: Beatriz Pascual Escudero (Madrid) MSC: 14Q30 13P99 12Dxx 14P10 PDFBibTeX XMLCite \textit{H. P. Le} and \textit{M. Safey El Din}, J. Symb. Comput. 112, 25--61 (2022; Zbl 1487.14130) Full Text: DOI arXiv
Hashemi, Amir; Heintz, Joos; Pardo, Luis M.; Solernó, Pablo On Bézout inequalities for non-homogeneous polynomial ideals. (English) Zbl 1477.13042 J. Symb. Comput. 106, 1-22 (2021). Reviewer: Hamid Rahkooy (Saarbrücken) MSC: 13F20 14Qxx 13P10 PDFBibTeX XMLCite \textit{A. Hashemi} et al., J. Symb. Comput. 106, 1--22 (2021; Zbl 1477.13042) Full Text: DOI arXiv
Zheng, Tao A fast algorithm for computing multiplicative relations between the roots of a generic polynomial. (English) Zbl 1462.11095 J. Symb. Comput. 104, 381-401 (2021). MSC: 11R09 11R32 11Y16 12-08 PDFBibTeX XMLCite \textit{T. Zheng}, J. Symb. Comput. 104, 381--401 (2021; Zbl 1462.11095) Full Text: DOI arXiv
Brysiewicz, Taylor Necklaces count polynomial parametric osculants. (English) Zbl 1461.32004 J. Symb. Comput. 103, 95-107 (2021). MSC: 32E30 PDFBibTeX XMLCite \textit{T. Brysiewicz}, J. Symb. Comput. 103, 95--107 (2021; Zbl 1461.32004) Full Text: DOI arXiv
Guo, Feng; Phạm, Ti’ên-Son On types of degenerate critical points of real polynomial functions. (English) Zbl 1451.13079 J. Symb. Comput. 99, 108-126 (2020). MSC: 13P10 14P10 65K05 68W30 PDFBibTeX XMLCite \textit{F. Guo} and \textit{T.-S. Phạm}, J. Symb. Comput. 99, 108--126 (2020; Zbl 1451.13079) Full Text: DOI arXiv
Safey El Din, Mohab; Schost, Éric Bit complexity for multi-homogeneous polynomial system solving – application to polynomial minimization. (English) Zbl 1391.13056 J. Symb. Comput. 87, 176-206 (2018). Reviewer: Amir Hashemi (Isfahan) MSC: 13P15 68W30 PDFBibTeX XMLCite \textit{M. Safey El Din} and \textit{É. Schost}, J. Symb. Comput. 87, 176--206 (2018; Zbl 1391.13056) Full Text: DOI arXiv
Naldi, Simone Solving rank-constrained semidefinite programs in exact arithmetic. (English) Zbl 1380.90212 J. Symb. Comput. 85, 206-223 (2018). MSC: 90C22 PDFBibTeX XMLCite \textit{S. Naldi}, J. Symb. Comput. 85, 206--223 (2018; Zbl 1380.90212) Full Text: DOI
Vršek, Jan; Lávička, Miroslav Recognizing implicitly given rational canal surfaces. (English) Zbl 1359.14053 J. Symb. Comput. 74, 367-377 (2016). Reviewer: Nelly Villamizar (Linz) MSC: 14Q10 53A05 PDFBibTeX XMLCite \textit{J. Vršek} and \textit{M. Lávička}, J. Symb. Comput. 74, 367--377 (2016; Zbl 1359.14053) Full Text: DOI arXiv
Henrion, Didier; Naldi, Simone; Safey El Din, Mohab Real root finding for determinants of linear matrices. (English) Zbl 1329.65090 J. Symb. Comput. 74, 205-238 (2016). MSC: 65F40 65H04 14Q15 PDFBibTeX XMLCite \textit{D. Henrion} et al., J. Symb. Comput. 74, 205--238 (2016; Zbl 1329.65090) Full Text: DOI arXiv
Hong, Hoon; El Din, Mohab Safey Variant quantifier elimination. (English) Zbl 1238.14001 J. Symb. Comput. 47, No. 7, 883-901 (2012). MSC: 14-04 14Q15 68W30 14P99 PDFBibTeX XMLCite \textit{H. Hong} and \textit{M. S. El Din}, J. Symb. Comput. 47, No. 7, 883--901 (2012; Zbl 1238.14001) Full Text: DOI
Greuet, Aurélien; Guo, Feng; El Din, Mohab Safey; Zhi, Lihong Global optimization of polynomials restricted to a smooth variety using sums of squares. (English) Zbl 1266.90148 J. Symb. Comput. 47, No. 5, 503-518 (2012). MSC: 90C26 PDFBibTeX XMLCite \textit{A. Greuet} et al., J. Symb. Comput. 47, No. 5, 503--518 (2012; Zbl 1266.90148) Full Text: DOI
D’Alfonso, L.; Jeronimo, G.; Ollivier, F.; Sedoglavic, A.; Solernó, P. A geometric index reduction method for implicit systems of differential algebraic equations. (English) Zbl 1235.34030 J. Symb. Comput. 46, No. 10, 1114-1138 (2011). Reviewer: Werner M. Seiler (Kassel) MSC: 34A09 14Q20 68W30 34C20 PDFBibTeX XMLCite \textit{L. D'Alfonso} et al., J. Symb. Comput. 46, No. 10, 1114--1138 (2011; Zbl 1235.34030) Full Text: DOI arXiv Link
Faugère, Jean-Charles; El Din, Mohab Safey; Spaenlehauer, Pierre-Jean Gröbner bases of bihomogeneous ideals generated by polynomials of bidegree \((1,1)\): algorithms and complexity. (English) Zbl 1226.13017 J. Symb. Comput. 46, No. 4, 406-437 (2011). Reviewer: Gabor Hegedüs (Linz) MSC: 13P10 PDFBibTeX XMLCite \textit{J.-C. Faugère} et al., J. Symb. Comput. 46, No. 4, 406--437 (2011; Zbl 1226.13017) Full Text: DOI
Scheiblechner, Peter On a generalization of Stickelberger’s theorem. (English) Zbl 1211.14065 J. Symb. Comput. 45, No. 12, 1459-1470 (2010). Reviewer: Carlos D’Andrea (Barcelona) MSC: 14Q15 14Q20 PDFBibTeX XMLCite \textit{P. Scheiblechner}, J. Symb. Comput. 45, No. 12, 1459--1470 (2010; Zbl 1211.14065) Full Text: DOI
Bulygin, Stanislav; Pellikaan, Ruud Bounded distance decoding of linear error-correcting codes with Gröbner bases. (English) Zbl 1174.94031 J. Symb. Comput. 44, No. 12, 1626-1643 (2009). Reviewer: Richard A. Mollin (Calgary) MSC: 94B35 13P10 PDFBibTeX XMLCite \textit{S. Bulygin} and \textit{R. Pellikaan}, J. Symb. Comput. 44, No. 12, 1626--1643 (2009; Zbl 1174.94031) Full Text: DOI
Bürgisser, Peter; Scheiblechner, Peter On the complexity of counting components of algebraic varieties. (English) Zbl 1169.14041 J. Symb. Comput. 44, No. 9, 1114-1136 (2009). MSC: 14Q15 68W30 68W10 PDFBibTeX XMLCite \textit{P. Bürgisser} and \textit{P. Scheiblechner}, J. Symb. Comput. 44, No. 9, 1114--1136 (2009; Zbl 1169.14041) Full Text: DOI
Dohm, Marc Implicitization of rational ruled surfaces with \(\mu \)-bases. (English) Zbl 1159.14309 J. Symb. Comput. 44, No. 5, 479-489 (2009). MSC: 14Q10 14J26 PDFBibTeX XMLCite \textit{M. Dohm}, J. Symb. Comput. 44, No. 5, 479--489 (2009; Zbl 1159.14309) Full Text: DOI arXiv
Andradas, Carlos; Recio, Tomas; Sendra, J. Rafael; Tabera, Luis Felipe On the simplification of the coefficients of a parametrization. (English) Zbl 1152.13303 J. Symb. Comput. 44, No. 2, 192-210 (2009). Reviewer: Josef Schicho (Linz) MSC: 13P10 14Q99 14Q15 68W30 PDFBibTeX XMLCite \textit{C. Andradas} et al., J. Symb. Comput. 44, No. 2, 192--210 (2009; Zbl 1152.13303) Full Text: DOI
de Graaf, Willem A.; Pílniková, Jana; Schicho, Josef Parametrizing del Pezzo surfaces of degree 8 using Lie algebras. (English) Zbl 1166.14037 J. Symb. Comput. 44, No. 1, 1-14 (2009). Reviewer: David Sevilla (Linz) MSC: 14Q10 14J26 17B45 PDFBibTeX XMLCite \textit{W. A. de Graaf} et al., J. Symb. Comput. 44, No. 1, 1--14 (2009; Zbl 1166.14037) Full Text: DOI arXiv
Lecerf, Grégoire Improved dense multivariate polynomial factorization algorithms. (English) Zbl 1127.13021 J. Symb. Comput. 42, No. 4, 477-494 (2007). Reviewer: Didier Henrion (Toulouse) MSC: 13P05 68W30 PDFBibTeX XMLCite \textit{G. Lecerf}, J. Symb. Comput. 42, No. 4, 477--494 (2007; Zbl 1127.13021) Full Text: DOI
Hubert, Evelyne; Kogan, Irina A. Rational invariants of a group action. Construction and rewriting. (English) Zbl 1121.13010 J. Symb. Comput. 42, No. 1-2, 203-217 (2007). MSC: 13A50 13P10 68W30 PDFBibTeX XMLCite \textit{E. Hubert} and \textit{I. A. Kogan}, J. Symb. Comput. 42, No. 1--2, 203--217 (2007; Zbl 1121.13010) Full Text: DOI
Beltrán, Carlos; Pardo, Luis Miguel On the probability distribution of singular varieties of given corank. (English) Zbl 1149.11038 J. Symb. Comput. 42, No. 1-2, 4-29 (2007). MSC: 11K36 PDFBibTeX XMLCite \textit{C. Beltrán} and \textit{L. M. Pardo}, J. Symb. Comput. 42, No. 1--2, 4--29 (2007; Zbl 1149.11038) Full Text: DOI
Gutierrez, Jaime; Sevilla, David Computation of unirational fields. (English) Zbl 1149.12001 J. Symb. Comput. 41, No. 11, 1222-1244 (2006). MSC: 12F05 12-04 PDFBibTeX XMLCite \textit{J. Gutierrez} and \textit{D. Sevilla}, J. Symb. Comput. 41, No. 11, 1222--1244 (2006; Zbl 1149.12001) Full Text: DOI arXiv
Rajaee, Saeed Non-associative Gröbner bases. (English) Zbl 1236.17006 J. Symb. Comput. 41, No. 8, 887-904 (2006). Reviewer: Olaf Ninnemann (Berlin) MSC: 17A50 17D05 16S15 68Q42 68W30 PDFBibTeX XMLCite \textit{S. Rajaee}, J. Symb. Comput. 41, No. 8, 887--904 (2006; Zbl 1236.17006) Full Text: DOI
Coutinho, S. C.; Schechter, L. Menasché Algebraic solutions of holomorphic foliations: an algorithmic approach. (English) Zbl 1134.32011 J. Symb. Comput. 41, No. 5, 603-618 (2006). Reviewer: Carlos Galindo (Castellon) MSC: 32S65 37F75 68W30 PDFBibTeX XMLCite \textit{S. C. Coutinho} and \textit{L. M. Schechter}, J. Symb. Comput. 41, No. 5, 603--618 (2006; Zbl 1134.32011) Full Text: DOI
Gerritzen, Lothar Tree polynomials and non-associative Gröbner bases. (English) Zbl 1158.17300 J. Symb. Comput. 41, No. 3-4, 297-316 (2006). MSC: 17A50 68W30 PDFBibTeX XMLCite \textit{L. Gerritzen}, J. Symb. Comput. 41, No. 3--4, 297--316 (2006; Zbl 1158.17300) Full Text: DOI
Alcázar, Juan Gerardo; Sendra, J. Rafael Computation of the topology of real algebraic space curves. (English) Zbl 1120.14049 J. Symb. Comput. 39, No. 6, 719-744 (2005). MSC: 14P25 PDFBibTeX XMLCite \textit{J. G. Alcázar} and \textit{J. R. Sendra}, J. Symb. Comput. 39, No. 6, 719--744 (2005; Zbl 1120.14049) Full Text: DOI
Bøgvad, Rikard; Meyer, Thomas On algorithmically checking whether a Hilbert series comes from a complete intersection. (English) Zbl 1130.13303 J. Symb. Comput. 38, No. 6, 1487-1506 (2004). MSC: 13D40 13C40 13H10 14M10 PDFBibTeX XMLCite \textit{R. Bøgvad} and \textit{T. Meyer}, J. Symb. Comput. 38, No. 6, 1487--1506 (2005; Zbl 1130.13303) Full Text: DOI
Blanco, Cristina; Jeronimo, Gabriela; Solernó, Pablo Computing generators of the ideal of a smooth affine algebraic variety. (English) Zbl 1137.14319 J. Symb. Comput. 38, No. 1, 843-872 (2004). MSC: 14Q20 13P10 PDFBibTeX XMLCite \textit{C. Blanco} et al., J. Symb. Comput. 38, No. 1, 843--872 (2005; Zbl 1137.14319) Full Text: DOI
Chtcherba, Arthur D.; Kapur, Deepak Constructing Sylvester-type resultant matrices using the Dixon formulation. (English) Zbl 1137.13320 J. Symb. Comput. 38, No. 1, 777-814 (2004). MSC: 13P99 14Q20 15A15 68W30 PDFBibTeX XMLCite \textit{A. D. Chtcherba} and \textit{D. Kapur}, J. Symb. Comput. 38, No. 1, 777--814 (2005; Zbl 1137.13320) Full Text: DOI
Migliore, Juan; Peterson, Chris A symbolic test for \((i,j)\)-uniformity in reduced zero-dimensional schemes. (English) Zbl 1137.14316 J. Symb. Comput. 37, No. 3, 403-413 (2004). MSC: 14N05 PDFBibTeX XMLCite \textit{J. Migliore} and \textit{C. Peterson}, J. Symb. Comput. 37, No. 3, 403--413 (2004; Zbl 1137.14316) Full Text: DOI
Sendra, J. Rafael Normal parametrizations of algebraic plane curves. (English) Zbl 1013.14009 J. Symb. Comput. 33, No. 6, 863-885 (2002). MSC: 14H50 14Q05 PDFBibTeX XMLCite \textit{J. R. Sendra}, J. Symb. Comput. 33, No. 6, 863--885 (2002; Zbl 1013.14009) Full Text: DOI
Hong, Hoon; Minimair, Manfred Sparse resultant of composed polynomials. I: Mixed-unmixed case. (English) Zbl 1041.13019 J. Symb. Comput. 33, No. 4, 447-465 (2002). MSC: 13P05 65H10 13F20 68W30 PDFBibTeX XMLCite \textit{H. Hong} and \textit{M. Minimair}, J. Symb. Comput. 33, No. 4, 447--465 (2002; Zbl 1041.13019) Full Text: DOI
Schicho, Josef Proper parametrization of real tubular surfaces. (English) Zbl 1031.14029 J. Symb. Comput. 30, No. 5, 583-593 (2000). MSC: 14P15 14Q15 14M20 68W30 PDFBibTeX XMLCite \textit{J. Schicho}, J. Symb. Comput. 30, No. 5, 583--593 (2000; Zbl 1031.14029) Full Text: DOI Link
Poulakis, Dimitrios; Voskos, Evaggelos On the practical solution of genus zero Diophantine equations. (English) Zbl 0985.11051 J. Symb. Comput. 30, No. 5, 573-582 (2000). Reviewer: Nikos Tzanakis (Iraklion) MSC: 11Y50 11R21 11D59 PDFBibTeX XMLCite \textit{D. Poulakis} and \textit{E. Voskos}, J. Symb. Comput. 30, No. 5, 573--582 (2000; Zbl 0985.11051) Full Text: DOI
van der Put, Marius Galois theory of differential equations, algebraic groups and Lie algebras. (English) Zbl 0997.12008 J. Symb. Comput. 28, No. 4-5, 441-472 (1999). Reviewer: O.Ninnemann (Berlin) MSC: 12H05 17B45 34A34 PDFBibTeX XMLCite \textit{M. van der Put}, J. Symb. Comput. 28, No. 4--5, 441--472 (1999; Zbl 0997.12008) Full Text: DOI
Vorobjov, Nicolai Complexity of computing the local dimension of a semialgebraic set. (English) Zbl 0986.14036 J. Symb. Comput. 27, No. 6, 565-579 (1999). Reviewer: Joos Heintz (Santander) MSC: 14P10 68W30 14Q20 PDFBibTeX XMLCite \textit{N. Vorobjov}, J. Symb. Comput. 27, No. 6, 565--579 (1999; Zbl 0986.14036) Full Text: DOI
Sendra, J. Rafael; Winkler, Franz Symbolic parametrization of curves. (English) Zbl 0759.14044 J. Symb. Comput. 12, No. 6, 607-631 (1991). MSC: 14Q05 68W30 PDFBibTeX XMLCite \textit{J. R. Sendra} and \textit{F. Winkler}, J. Symb. Comput. 12, No. 6, 607--631 (1991; Zbl 0759.14044) Full Text: DOI
Grigor’ev, D. Yu. Complexity of deciding Tarski algebra. (English) Zbl 0689.03021 J. Symb. Comput. 5, No. 1-2, 65-108 (1988). Reviewer: M.Tetruashvili MSC: 03D15 03B25 PDFBibTeX XMLCite \textit{D. Yu. Grigor'ev}, J. Symb. Comput. 5, No. 1--2, 65--108 (1988; Zbl 0689.03021) Full Text: DOI