Journal of Symbolic Computation Short Title: J. Symb. Comput. Publisher: Elsevier (Academic Press), London ISSN: 0747-7171 Online: https://www.sciencedirect.com/journal/journal-of-symbolic-computation/issues Comments: Journal; Indexed cover-to-cover Documents Indexed: 2,832 Publications (since 1985) References Indexed: 2,268 Publications with 56,745 References. all top 5 Latest Issues 124 (2024) 123 (2024) 122 (2024) 121 (2024) 120 (2024) 119 (2023) 118 (2023) 117 (2023) 116 (2023) 115 (2023) 114 (2023) 113 (2022) 112 (2022) 111 (2022) 110 (2022) 109 (2022) 108 (2022) 107 (2021) 106 (2021) 105 (2021) 104 (2021) 103 (2021) 102 (2021) 101 (2020) 100 (2020) 99 (2020) 98 (2020) 97 (2020) 96 (2020) 95 (2019) 94 (2019) 93 (2019) 92 (2019) 91 (2019) 90 (2019) 89 (2018) 88 (2018) 87 (2018) 86 (2018) 85 (2018) 84 (2018) 83 (2017) 82 (2017) 81 (2017) 80, Part 3 (2017) 80, Part 2 (2017) 80, Part 1 (2017) 79, Part 3 (2017) 79, Part 2 (2017) 79, Part 1 (2017) 78 (2017) 77 (2016) 76 (2016) 75 (2016) 74 (2016) 73 (2016) 72 (2016) 71 (2015) 70 (2015) 69 (2015) 68, Part 2 (2015) 68, Part 1 (2015) 67 (2015) 66 (2015) 65 (2014) 64 (2014) 63 (2014) 61-62 (2014) 60 (2014) 59 (2013) 58 (2013) 57 (2013) 56 (2013) 55 (2013) 54 (2013) 53 (2013) 52 (2013) 51 (2013) 50 (2013) 49 (2013) 48 (2013) 47, No. 12 (2012) 47, No. 11 (2012) 47, No. 10 (2012) 47, No. 9 (2012) 47, No. 8 (2012) 47, No. 7 (2012) 47, No. 6 (2012) 47, No. 5 (2012) 47, No. 4 (2012) 47, No. 3 (2012) 47, No. 2 (2012) 47, No. 1 (2012) 46, No. 12 (2011) 46, No. 11 (2011) 46, No. 10 (2011) 46, No. 9 (2011) 46, No. 8 (2011) 46, No. 7 (2011) 46, No. 6 (2011) ...and 242 more Volumes all top 5 Authors 28 Hong, Hoon 22 Schicho, Josef 22 Sendra, Juan Rafael 21 Mourrain, Bernard 21 Safey El Din, Mohab 20 Schost, Éric 19 van der Hoeven, Joris 18 Faugère, Jean-Charles 18 Gao, Xiaoshan 18 Giesbrecht, Mark W. 18 Holt, Derek F. 17 Sturmfels, Bernd 16 Cannon, John J. 16 Kaltofen, Erich L. 16 Kapur, Deepak 16 Moreno Maza, Marc 15 Labahn, George 15 Lazard, Daniel 15 von zur Gathen, Joachim 14 Barkatou, Moulay A. 14 Emiris, Ioannis Z. 14 Salvy, Bruno 14 Szántó, Ágnes 13 Davenport, James Harold 13 Tsigaridas, Elias P. 13 Wang, Dongming 12 Collins, George E. 12 Levandovskyy, Viktor 12 McCallum, Scott 12 Winkler, Franz 11 Abramov, Sergeĭ Aleksandrovich 11 Farouki, Rida T. 11 Hashemi, Amir 11 Koepf, Wolfram A. 11 Petkovšek, Marko 11 Singer, Michael F. 11 Xia, Bican 10 D’Andrea, Carlos 10 de Graaf, Willem Adriaan 10 Eick, Bettina 10 Galligo, André 10 Gianni, Patrizia M. 10 Hauenstein, Jonathan D. 10 Kauers, Manuel 10 Mora, Teo 10 Robbiano, Lorenzo 10 Roy, Marie-Françoise 10 van Hoeij, Mark 10 Weispfenning, Volker 10 Zhi, Lihong 9 Grigor’ev, Dmitriĭ Yur’evich 9 Gutierrez, Jaime 9 Hubert, Evelyne 9 Klüners, Jürgen 9 Mignotte, Maurice 9 Pohst, Michael E. 9 Schmidt-Schauß, Manfred 9 Seiler, Werner M. 9 Storjohann, Arne 9 Ulmer, Felix 9 Yokoyama, Kazuhiro 8 Abbott, John A. 8 Brown, Christopher W. 8 Gonzalez-Vega, Laureano 8 Kalkbrener, Michael 8 La Scala, Roberto 8 Otto, Friedrich 8 Recio, Tomas 8 Rouillier, Fabrice 8 Trager, Barry M. 8 Yap, Chee-Keng 7 Alcazar, Juan Gerardo 7 Bronstein, Manuel Eric 7 Busé, Laurent 7 Chen, Shaoshi 7 Fortuna, Elisabetta 7 Gaál, István 7 Gatermann, Karin 7 Gerdt, Vladimir Petrovich 7 Goldman, Ronald N. 7 Hou, Qinghu 7 Jebelean, Tudor 7 Jeronimo, Gabriela 7 Kemper, Gregor 7 Kutsia, Temur 7 Leykin, Anton 7 Monagan, Michael B. 7 Noro, Masayuki 7 Pfister, Gerhard 7 Rusinowitch, Michaël 7 Sagraloff, Michael 7 Stillman, Michael Eugene 7 Strzeboński, Adam Wojciech 7 Sullivant, Seth 7 Villard, Gilles 7 Zeilberger, Doron 6 Bernardi, Alessandra 6 Bigatti, Anna Maria 6 Bonacina, Maria Paola 6 Bostan, Alin ...and 3,052 more Authors all top 5 Fields 1,693 Computer science (68-XX) 740 Commutative algebra (13-XX) 509 Algebraic geometry (14-XX) 339 Numerical analysis (65-XX) 325 Field theory and polynomials (12-XX) 306 Number theory (11-XX) 250 Group theory and generalizations (20-XX) 159 Mathematical logic and foundations (03-XX) 135 Combinatorics (05-XX) 120 Associative rings and algebras (16-XX) 117 Ordinary differential equations (34-XX) 95 Linear and multilinear algebra; matrix theory (15-XX) 87 Information and communication theory, circuits (94-XX) 86 Special functions (33-XX) 64 General and overarching topics; collections (00-XX) 51 Nonassociative rings and algebras (17-XX) 50 Partial differential equations (35-XX) 49 Operations research, mathematical programming (90-XX) 47 Functions of a complex variable (30-XX) 46 Several complex variables and analytic spaces (32-XX) 41 Real functions (26-XX) 40 Convex and discrete geometry (52-XX) 32 Dynamical systems and ergodic theory (37-XX) 32 Differential geometry (53-XX) 30 Geometry (51-XX) 27 Difference and functional equations (39-XX) 24 Category theory; homological algebra (18-XX) 22 Manifolds and cell complexes (57-XX) 22 Mechanics of particles and systems (70-XX) 21 Algebraic topology (55-XX) 21 Statistics (62-XX) 19 Approximations and expansions (41-XX) 19 Mechanics of deformable solids (74-XX) 18 Global analysis, analysis on manifolds (58-XX) 18 Systems theory; control (93-XX) 17 General algebraic systems (08-XX) 17 Biology and other natural sciences (92-XX) 15 Quantum theory (81-XX) 14 Probability theory and stochastic processes (60-XX) 13 Order, lattices, ordered algebraic structures (06-XX) 11 History and biography (01-XX) 10 Topological groups, Lie groups (22-XX) 10 Fluid mechanics (76-XX) 10 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 6 Harmonic analysis on Euclidean spaces (42-XX) 5 Optics, electromagnetic theory (78-XX) 4 Sequences, series, summability (40-XX) 4 Operator theory (47-XX) 4 Classical thermodynamics, heat transfer (80-XX) 4 Mathematics education (97-XX) 3 \(K\)-theory (19-XX) 3 Abstract harmonic analysis (43-XX) 3 Calculus of variations and optimal control; optimization (49-XX) 1 Measure and integration (28-XX) 1 Integral transforms, operational calculus (44-XX) 1 Integral equations (45-XX) 1 Functional analysis (46-XX) 1 General topology (54-XX) 1 Statistical mechanics, structure of matter (82-XX) 1 Relativity and gravitational theory (83-XX) 1 Astronomy and astrophysics (85-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 2,355 Publications have been cited 27,804 times in 17,017 Documents Cited by ▼ Year ▼ The Magma algebra system. I: The user language. Zbl 0898.68039 Bosma, Wieb; Cannon, John; Playoust, Catherine 3,193 1997 Eigenvalues of a real supersymmetric tensor. Zbl 1125.15014 Qi, Liqun 768 2005 Matrix multiplication via arithmetic progressions. Zbl 0702.65046 Coppersmith, Don; Winograd, Shmuel 458 1990 Practical graph isomorphism. II. Zbl 1394.05079 McKay, Brendan D.; Piperno, Adolfo 305 2014 Termination of rewriting. Zbl 0637.68035 Dershowitz, Nachum 198 1987 Efficient computation of zero-dimensional Gröbner bases by change of ordering. Zbl 0805.13007 Faugère, J. C.; Gianni, P.; Lazard, D.; Mora, T. 196 1993 An algorithm for solving second order linear homogeneous differential equations. Zbl 0603.68035 Kovacic, Jerald J. 180 1986 Gröbner bases and primary decomposition of polynomial ideals. Zbl 0667.13008 Gianni, Patrizia; Trager, Barry; Zacharias, Gail 176 1988 The method of creative telescoping. Zbl 0738.33002 Zeilberger, Doron 171 1991 Bruno Buchberger’s PhD thesis 1965: An algorithm for finding the basis elements of the residue class ring of a zero dimensional polynomial ideal. Translation from the German. Zbl 1158.01307 Buchberger, Bruno 151 2006 Partial cylindrical algebraic decomposition for quantifier elimination. Zbl 0754.68063 Collins, George E.; Hong, Hoon 128 1991 Non-commutative Gröbner bases in algebras of solvable type. Zbl 0715.16010 Kandri-Rody, A.; Weispfenning, Volker 112 1990 A structure-preserving clause form translation. Zbl 0636.68119 Plaisted, David A.; Greenbaum, Steven 105 1986 Solving systems of polynomial inequalities in subexponential time. Zbl 0662.12001 Grigor’ev, D. Yu.; Vorobjov, N. N. jun. 105 1988 Toric dynamical systems. Zbl 1188.37082 Craciun, Gheorghe; Dickenstein, Alicia; Shiu, Anne; Sturmfels, Bernd 99 2009 On the computational complexity and geometry of the first-order theory of the reals. I: Introduction. Preliminaries. The geometry of semi-algebraic sets. The decision problem for the existential theory of the reals. Zbl 0763.68042 Renegar, James 98 1992 Cylindrical algebraic decomposition using validated numerics. Zbl 1124.68123 Strzeboński, Adam W. 96 2006 On determinants and eigenvalue theory of tensors. Zbl 1259.15038 Hu, Shenglong; Huang, Zheng-Hai; Ling, Chen; Qi, Liqun 96 2013 On the theories of triangular sets. Zbl 0943.12003 Aubry, Philippe; Lazard, Daniel; Moreno Maza, Marc 92 1999 KANT V4. Zbl 0886.11070 Daberkow, M.; Fieker, C.; Klüners, J.; Pohst, M.; Roegner, K.; Schörnig, M.; Wildanger, K. 92 1997 Real quantifier elimination is doubly exponential. Zbl 0663.03015 Davenport, James H.; Heintz, Joos 87 1988 The Gröbner fan of an ideal. Zbl 0668.13017 Mora, Teo; Robbiano, Lorenzo 87 1988 On the computational complexity and geometry of the first-order theory of the reals. III: Quantifier elimination. Zbl 0798.68073 Renegar, James 87 1992 Hypergeometric solutions of linear recurrences with polynomial coefficients. Zbl 0761.11008 Petkovšek, Marko 87 1992 Coding with skew polynomial rings. Zbl 1174.94025 Boucher, Delphine; Ulmer, Felix 83 2009 Computing symmetric rank for symmetric tensors. Zbl 1211.14057 Bernardi, Alessandra; Gimigliano, Alessandro; Idà, Monica 82 2011 Comprehensive Gröbner bases. Zbl 0784.13013 Weispfenning, Volker 82 1992 Computing tropical varieties. Zbl 1121.14051 Bogart, T.; Jensen, A. N.; Speyer, D.; Sturmfels, B.; Thomas, R. R. 77 2007 Introduction to the GiNaC framework for symbolic computation within the \(\text{C}^{++}\) programming language. Zbl 1017.68163 Bauer, Christian; Frink, Alexander; Kreckel, Richard 73 2002 Non-commutative elimination in Ore algebras proves multivariate identities. Zbl 0944.05006 Chyzak, Frédéric; Salvy, Bruno 71 1998 A Mathematica version of Zeilberger’s algorithm for proving binomial coefficient identities. Zbl 0851.68052 Paule, Peter; Schorn, Markus 71 1995 Symbolic computation of exact solutions expressible in hyperbolic and elliptic functions for nonlinear PDEs. Zbl 1137.35324 Baldwin, D.; Göktaş, Ü.; Hereman, W.; Hong, L.; Martino, R. S.; Miller, J. C. 71 2004 Effective lattice point counting in rational convex polytopes. Zbl 1137.52303 De Loera, Jesús A.; Hemmecke, Raymond; Tauzer, Jeremiah; Yoshida, Ruriko 71 2005 Recent advances on determining the number of real roots of parametric polynomials. Zbl 0957.65041 Yang, Lu 67 1999 Unification theory. Zbl 0678.68098 Siekmann, Jörg H. 67 1989 The complexity of linear problems in fields. Zbl 0646.03005 Weispfenning, Volker 66 1988 Equational problems and disunification. Zbl 0678.68093 Comon, Hubert; Lescanne, Pierre 66 1989 Rational invariants of a group action. Construction and rewriting. Zbl 1121.13010 Hubert, Evelyne; Kogan, Irina A. 66 2007 Univariate polynomials: Nearly optimal algorithms for numerical factorization and root-finding. Zbl 1004.65061 Pan, Victor Y. 65 2002 Computing Riemann-Roch spaces in algebraic function fields and related topics. Zbl 1058.14071 Hess, F. 64 2002 A generalized Euclidean algorithm for computing triangular representations of algebraic varieties. Zbl 0783.14039 Kalkbrener, Michael 64 1993 On an installation of Buchberger’s algorithm. Zbl 0675.13013 Gebauer, Rüdiger; Möller, H. Michael 61 1988 Complexity of deciding Tarski algebra. Zbl 0689.03021 Grigor’ev, D. Yu. 61 1988 Algebraic geometry of Bayesian networks. Zbl 1126.68102 Garcia, Luis David; Stillman, Michael; Sturmfels, Bernd 60 2005 The \(p\)-group generation algorithm. Zbl 0736.20001 O’Brien, E. A. 57 1990 Differential invariants of a Lie group action: syzygies on a generating set. Zbl 1176.12004 Hubert, Evelyne 57 2009 Eigenvectors of tensors and algorithms for Waring decomposition. Zbl 1277.15019 Oeding, Luke; Ottaviani, Giorgio 57 2013 Solving parametric polynomial systems. Zbl 1156.14044 Lazard, Daniel; Rouillier, Fabrice 55 2007 On the application of Buchberger’s algorithm to automated geometry theorem proving. Zbl 0629.68086 Kutzler, B.; Stifter, S. 54 1986 Converting bases with the Gröbner walk. Zbl 0908.13020 Collart, S.; Kalkbrener, M.; Mall, D. 54 1997 Rank and eigenvalues of a supersymmetric tensor, the multivariate homogeneous polynomial and the algebraic hypersurface it defines. Zbl 1121.14050 Qi, Liqun 53 2006 On the complexity of computing syzygies. Zbl 0667.68053 Bayer, David; Stillman, Michael 52 1988 Symbolic computations of conserved densities for systems of nonlinear evolution equations. Zbl 0891.65129 Göktaş, Ünal; Hereman, Willy 52 1997 Permutation group algorithms based on partitions. I: Theory and algorithms. Zbl 0807.20001 Leon, Jeffrey S. 51 1991 Solving difference equations in finite terms. Zbl 0930.39004 Hendriks, Peter A.; Singer, Michael F. 50 1999 Termination of term rewriting: Interpretation and type elimination. Zbl 0810.68087 Zantema, H. 50 1994 Galois groups of second and third order linear differential equations. Zbl 0802.12004 Singer, Michael F.; Ulmer, Felix 49 1993 The method of differentiating under the integral sign. Zbl 0717.33004 Almkvist, Gert; Zeilberger, Doron 48 1990 Computing isometries of lattices. Zbl 0882.11042 Plesken, W.; Souvignier, B. 48 1997 Efficient incremental algorithms for the sparse resultant and the mixed volume. Zbl 0843.68036 Emiris, Ioannis Z.; Canny, John F. 48 1995 Thom’s lemma, the coding of real algebraic numbers and the computation of the topology of semi-algebraic sets. Zbl 0689.14006 Coste, M.; Roy, M. F. 48 1988 Parametric generalized offsets to hypersurfaces. Zbl 0878.68134 Arrondo, Enrique; Sendra, Juana; Sendra, J. Rafael 48 1997 Modular algorithms for computing Gröbner bases. Zbl 1046.13018 Arnold, Elizabeth A. 47 2003 On the theory of graded structures. Zbl 0609.13007 Robbiano, Lorenzo 46 1986 Interpolating polynomials from their values. Zbl 0702.65011 Zippel, Richard 46 1990 Fast construction of irreducible polynomials over finite fields. Zbl 0815.11059 Shoup, Victor 46 1994 Localization and primary decomposition of polynomial ideals. Zbl 0874.13022 Shimoyama, Takeshi; Yokoyama, Kazuhiro 46 1996 A database of local fields. Zbl 1140.11350 Jones, John W.; Roberts, David P. 46 2006 Factorization-free decomposition algorithms in differential algebra. Zbl 0984.12004 Hubert, Evelyne 45 2000 Calculating invariant rings of finite groups over arbitrary fields. Zbl 0889.13004 Kemper, Gregor 45 1996 A new algorithm for discussing Gröbner bases with parameters. Zbl 1068.13016 Montes, Antonio 45 2002 Rational parametrization of surfaces. Zbl 0924.14027 Schicho, Josef 45 1998 Solving zero-dimensional algebraic systems. Zbl 0753.13012 Lazard, D. 45 1992 Cubic vertex-transitive graphs on up to 1280 vertices. Zbl 1256.05102 Potočnik, Primož; Spiga, Pablo; Verret, Gabriel 45 2013 Factorization of differential operators with rational functions coefficients. Zbl 0886.68082 van Hoeij, Mark 44 1997 On the validity of implicitization by moving quadrics for rational surfaces with no base points. Zbl 0959.68124 Cox, David; Goldman, Ronald; Zhang, Ming 43 2000 Thue systems as rewriting systems. Zbl 0638.68091 Book, Ronald V. 43 1987 Index calculus for abelian varieties of small dimension and the elliptic curve discrete logarithm problem. Zbl 1177.94148 Gaudry, Pierrick 43 2009 Symbolic reachability computation for families of linear vector fields. Zbl 0983.93004 Lafferriere, Gerardo; Pappas, George J.; Yovine, Sergio 42 2001 Greatest factorial factorization and symbolic summation. Zbl 0854.68047 Paule, Peter 41 1995 Computation of Hilbert functions. Zbl 0763.13007 Bayer, Dave; Stillman, Mike 41 1992 Solving and factoring boundary problems for linear ordinary differential equations in differential algebras. Zbl 1151.34008 Rosenkranz, Markus; Regensburger, Georg 41 2008 Relax, but don’t be too lazy. Zbl 1011.68189 van der Hoeven, Joris 40 2002 Computing triangular systems and regular systems. Zbl 1007.65039 Wang, Dongming 40 2000 Computing singular points of plane rational curves. Zbl 1130.14039 Chen, Falai; Wang, Wenping; Liu, Yang 40 2008 Matrices in elimination theory. Zbl 0943.13005 Emiris, Ioannis Z.; Mourrain, Bernard 39 1999 An algorithm of Katz and its application to the inverse Galois problem. Zbl 1049.12005 Dettweiler, Michael; Reiter, Stefan 39 2000 Computing with polynomials given by black boxes for their evaluations: greatest common divisors, factorization, separation of numerators and denominators. Zbl 0712.12001 Kaltofen, Erich; Trager, Barry M. 39 1990 Symbolic parametrization of curves. Zbl 0759.14044 Sendra, J. Rafael; Winkler, Franz 39 1991 The \(\mu \)-basis and implicitization of a rational parametric surface. Zbl 1120.14054 Chen, Falai; Cox, David; Liu, Yang 39 2005 Cohomology and toric varieties and local cohomology with monomial supports. Zbl 1044.14028 Eisenbud, David; Mustaţǎ, Mircea; Stillman, Mike 38 2000 Improved projection for cylindrical algebraic decomposition. Zbl 0981.68186 Brown, Christopher W. 38 2001 On the complexity of the \(F_5\) Gröbner basis algorithm. Zbl 1328.68319 Bardet, Magali; Faugère, Jean-Charles; Salvy, Bruno 38 2015 Using Gröbner bases to reason about geometry problems. Zbl 0629.68087 Kapur, Deepak 38 1986 Unification in a combination of arbitrary disjoint equational theories. Zbl 0691.03003 Schmidt-Schauß, Manfred 38 1989 Theory of summation in finite terms. Zbl 0585.68052 Karr, Michael 37 1985 Properties of substitutions and unifications. Zbl 0589.68063 Eder, Elmar 37 1985 The \((n^ 2-1)\)-puzzle and related relocation problems. Zbl 0704.68057 Ratner, Daniel; Warmuth, Manfred 37 1990 A faster way to count the solutions of inhomogeneous systems of algebraic equations, with applications to cyclic \(n\)-roots. Zbl 0751.12001 Björck, Göran; Fröberg, Ralf 37 1991 Rational parametrizations of algebraic curves using a canonical divisor. Zbl 0878.68073 van Hoeij, Mark 37 1997 An algorithmic approach based on generating trees for enumerating pattern-avoiding inversion sequences. Zbl 1519.05008 Kotsireas, Ilias; Mansour, Toufik; Yıldırım, Gökhan 4 2024 Massively parallel computation of tropical varieties, their positive part, and tropical Grassmannians. Zbl 07725349 Bendle, Dominik; Böhm, Janko; Ren, Yue; Schröter, Benjamin 3 2024 Counting solutions of a polynomial system locally and exactly. Zbl 07725347 Becker, Ruben; Sagraloff, Michael 2 2024 A “pseudo-polynomial” algorithm for the Frobenius number and Gröbner basis. Zbl 1523.13043 Morales, Marcel; Dung, Nguyen Thi 2 2024 Free resolutions and Lefschetz properties of some Artin Gorenstein rings of codimension four. Zbl 1524.13065 Abdallah, Nancy; Schenck, Hal 2 2024 Representation of hypergeometric products of higher nesting depths in difference rings. Zbl 1527.33003 Ocansey, Evans Doe; Schneider, Carsten 1 2024 Computing tropical bitangents to smooth quartic curves in polymake. Zbl 07725350 Geiger, Alheydis; Panizzut, Marta 1 2024 Critical configurations for two projective views, a new approach. Zbl 07725351 Bråtelund, Martin 1 2024 Sum-of-squares certificates for Vizing’s conjecture via determining Gröbner bases. Zbl 1519.05190 Gaar, Elisabeth; Siebenhofer, Melanie 1 2024 Isolating all the real roots of a mixed trigonometric-polynomial. Zbl 07740058 Chen, Rizeng; Li, Haokun; Xia, Bican; Zhao, Tianqi; Zheng, Tao 1 2024 The critical curvature degree of an algebraic variety. Zbl 1527.14114 Horobeţ, Emil 1 2024 KP solitons from tropical limits. Zbl 1495.14046 Agostini, Daniele; Fevola, Claudia; Mandelshtam, Yelena; Sturmfels, Bernd 4 2023 The card guessing game: a generating function approach. Zbl 1496.91036 Krityakierne, Tipaluck; Thanatipanonda, Thotsaporn Aek 4 2023 Neurons on amoebae. Zbl 1519.14063 Bao, Jiakang; He, Yang-Hui; Hirst, Edward 3 2023 Computing critical points for invariant algebraic systems. Zbl 1499.14096 Faugère, Jean-Charles; Labahn, George; Safey El Din, Mohab; Schost, Éric; Vu, Thi Xuan 3 2023 Solving degree, last fall degree, and related invariants. Zbl 1491.13035 Caminata, Alessio; Gorla, Elisa 3 2023 Machine learning the real discriminant locus. Zbl 1504.14104 Bernal, Edgar A.; Hauenstein, Jonathan D.; Mehta, Dhagash; Regan, Margaret H.; Tang, Tingting 3 2023 A signature-based algorithm for computing the nondegenerate locus of a polynomial system. Zbl 07704551 Eder, Christian; Lairez, Pierre; Mohr, Rafael; El Din, Mohab Safey 3 2023 Gram spectrahedra of ternary quartics. Zbl 1516.14107 Vill, Julian 2 2023 An extension of holonomic sequences: \(C^2\)-finite sequences. Zbl 1511.16025 Jiménez-Pastor, Antonio; Nuspl, Philipp; Pillwein, Veronika 2 2023 A certified iterative method for isolated singular roots. Zbl 1514.13029 Mantzaflaris, Angelos; Mourrain, Bernard; Szanto, Agnes 2 2023 Positive dimensional parametric polynomial systems, connectivity queries and applications in robotics. Zbl 1506.14118 Capco, Jose; Safey El Din, Mohab; Schicho, Josef 2 2023 SONC optimization and exact nonnegativity certificates via second-order cone programming. Zbl 1500.90045 Magron, Victor; Wang, Jie 2 2023 The factorial-basis method for finding definite-sum solutions of linear recurrences with polynomial coefficients. Zbl 07658452 Jiménez-Pastor, Antonio; Petkovšek, Marko 2 2023 Computing rational powers of monomial ideals. Zbl 1499.13067 Dongre, Pratik; Drabkin, Benjamin; Lim, Josiah; Partida, Ethan; Roy, Ethan; Ruff, Dylan; Seceleanu, Alexandra; Tang, Tingting 1 2023 \(q\)-rational reduction and \(q\)-analogues of series for \(\pi\). Zbl 07621045 Wang, Rong-Hua; Zhong, Michael X. X. 1 2023 Regular orbits of finite primitive solvable groups, the final classification. Zbl 1511.20040 Holt, Derek; Yang, Yong 1 2023 A fast algorithm for computing the Smith normal form with multipliers for a nonsingular integer matrix. Zbl 1505.65190 Birmpilis, Stavros; Labahn, George; Storjohann, Arne 1 2023 Computing splitting fields using Galois theory and other Galois constructions. Zbl 1518.11080 Fieker, Claus; Sutherland, Nicole 1 2023 Computing valuations of the Dieudonné determinants. Zbl 1506.12006 Oki, Taihei 1 2023 Perfect refiners for permutation group backtracking algorithms. Zbl 1514.20007 Jefferson, Christopher; Waldecker, Rebecca; Wilson, Wilf A. 1 2023 Degrees of Kalman varieties of tensors. Zbl 1497.14104 Shahidi, Zahra; Sodomaco, Luca; Ventura, Emanuele 1 2023 Certified numerical real root isolation for bivariate nonlinear systems. Zbl 1505.65201 Cheng, Jin-San; Wen, Junyi; Zhang, Bingwei 1 2023 General non-realizability certificates for spheres with linear programming. Zbl 1493.05061 Gouveia, João; Macchia, Antonio; Wiebe, Amy 1 2023 Multivariate volume, Ehrhart, and \(h^\ast \)-polynomials of polytropes. Zbl 07558518 Brandenburg, Marie-Charlotte; Elia, Sophia; Zhang, Leon 1 2023 Exploring circulations yielding no vortex equilibria. Zbl 1505.76018 Tsai, Ya-Lun 1 2023 Duality of sum of nonnegative circuit polynomials and optimal SONC bounds. Zbl 1491.90116 Papp, Dávid 1 2023 Fast commutative matrix algorithms. Zbl 07558523 Rosowski, Andreas 1 2023 Loci of 3-periodics in an Elliptic Billiard: why so many ellipses? Zbl 1506.37042 Garcia, Ronaldo; Koiller, Jair; Reznik, Dan 1 2023 The anisotropic part of a quadratic form over a number field. Zbl 1511.11039 Koprowski, Przemysław; Rothkegel, Beata 1 2023 On initials and the fundamental theorem of tropical partial differential algebraic geometry. Zbl 1502.14150 Falkensteiner, Sebastian; Garay-López, Cristhian; Haiech, Mercedes; Noordman, Marc Paul; Boulier, François; Toghani, Zeinab 1 2023 Fast computation of the \(N\)-th term of a \(q\)-holonomic sequence and applications. Zbl 07589742 Bostan, Alin; Yurkevich, Sergey 1 2023 Computing free non-commutative Gröbner bases over \(\mathbb{Z}\) with Singular:Letterplace. Zbl 1523.16055 Levandovskyy, Viktor; Metzlaff, Tobias; Zeid, Karim Abou 1 2023 Signatures of algebraic curves via numerical algebraic geometry. Zbl 1507.14047 Duff, Timothy; Ruddy, Michael 1 2023 Machine learning invariants of arithmetic curves. Zbl 1522.14004 He, Yang-Hui; Lee, Kyu-Hwan; Oliver, Thomas 1 2023 An algorithmic approach to small limit cycles of nonlinear differential systems: the averaging method revisited. Zbl 1505.34066 Huang, Bo; Yap, Chee 1 2023 A new algorithm for computing staggered linear bases. Zbl 1519.13015 Hashemi, Amir; Möller, H. Michael 1 2023 Lower bounds on the rank and symmetric rank of real tensors. Zbl 1514.15038 Wang, Kexin; Seigal, Anna 1 2023 Special issue on algebraic geometry and machine learning. Zbl 07680286 1 2023 Computing pullback function of second order differential operators by using their semi-invariants. Zbl 07704553 Aldossari, Shayea 1 2023 Betti sequence of the projective closure of affine monomial curves. Zbl 1521.13037 Saha, Joydip; Sengupta, Indranath; Srivastava, Pranjal 1 2023 Reflection groups and cones of sums of squares. Zbl 1521.14102 Debus, Sebastian; Riener, Cordian 1 2023 Existence and convergence of Puiseux series solutions for autonomous first order differential equations. Zbl 1471.34026 Cano, José; Falkensteiner, Sebastian; Sendra, J. Rafael 4 2022 On certain polynomial systems involving Stirling numbers of second kind. Zbl 1500.11021 Castro-Jiménez, F. J.; Cobo Pablos, H. 3 2022 Certification for polynomial systems via square subsystems. Zbl 1476.14103 Duff, Timothy; Hein, Nickolas; Sottile, Frank 3 2022 Unexpected hypersurfaces with multiple fat points. Zbl 1471.14018 Szpond, Justyna 3 2022 Heuristics to sift extraneous factors in Dixon resultants. Zbl 07493811 Qin, Xiaolin; Zhang, Lige; Yang, Lu; Cao, Sheng 3 2022 Signature Gröbner bases, bases of syzygies and cofactor reconstruction in the free algebra. Zbl 1502.16049 Hofstadler, Clemens; Verron, Thibaut 3 2022 Staged tree models with toric structure. Zbl 1491.14074 Görgen, Christiane; Maraj, Aida; Nicklasson, Lisa 3 2022 Noetherian operators and primary decomposition. Zbl 1484.14108 Chen, Justin; Härkönen, Marc; Krone, Robert; Leykin, Anton 3 2022 Lexicographic Gröbner bases of bivariate polynomials modulo a univariate one. Zbl 07457757 Dahan, Xavier 3 2022 Groups whose orders factorise into at most four primes. Zbl 07379069 Dietrich, Heiko; Eick, Bettina; Pan, Xueyu 3 2022 Stronger bounds on the cost of computing Gröbner bases for HFE systems. Zbl 1473.94100 Gorla, Elisa; Mueller, Daniela; Petit, Christophe 2 2022 Measuring the local non-convexity of real algebraic curves. Zbl 1471.14122 Sorea, Miruna-Ştefana 2 2022 On the classification of foliations of degree three with one singularity. Zbl 1495.32057 Coutinho, S. C. 2 2022 Computing the Lie algebra of the differential Galois group: the reducible case. Zbl 1493.34233 Dreyfus, Thomas; Weil, Jacques-Arthur 2 2022 Effective computations of the Atiyah-Bott formula. Zbl 1487.14115 Muratore, Giosuè; Schneider, Csaba 2 2022 Algebraic equations for constant width curves and Zindler curves. Zbl 1485.53007 Rochera, David 2 2022 Tensor decomposition for learning Gaussian mixtures from moments. Zbl 1492.14094 Khouja, Rima; Mattei, Pierre-Alexandre; Mourrain, Bernard 2 2022 Polynomial-division-based algorithms for computing linear recurrence relations. Zbl 1481.68050 Berthomieu, Jérémy; Faugère, Jean-Charles 1 2022 Stream/block ciphers, difference equations and algebraic attacks. Zbl 1477.13052 La Scala, Roberto; Tiwari, Sharwan K. 1 2022 Catalecticant intersections and confinement of decompositions of forms. Zbl 1474.14074 Angelini, Elena; Bocci, Cristiano; Chiantini, Luca 1 2022 Strict inclusions of high rank loci. Zbl 1476.14091 Ballico, Edoardo; Bernardi, Alessandra; Ventura, Emanuele 1 2022 Saturations of subalgebras, SAGBI bases, and U-invariants. Zbl 1472.13044 Bigatti, Anna Maria; Robbiano, Lorenzo 1 2022 Voronoi cells of varieties. Zbl 1477.13054 Cifuentes, Diego; Ranestad, Kristian; Sturmfels, Bernd; Weinstein, Madeleine 1 2022 On a tropical version of the Jacobian conjecture. Zbl 1471.14128 Grigoriev, Dima; Radchenko, Danylo 1 2022 Initial steps in the classification of maximal mediated sets. Zbl 1475.52023 Hartzer, Jacob; Röhrig, Olivia; de Wolff, Timo; Yürük, Oğuzhan 1 2022 Solving parametric systems of polynomial equations over the reals through Hermite matrices. Zbl 1487.14130 Le, Huu Phuoc; Safey El Din, Mohab 1 2022 Finite group characters on free resolutions. Zbl 1485.13037 Galetto, Federico 1 2022 Homogeneous spaces of real simple Lie groups with proper actions of non virtually abelian discrete subgroups: a computational approach. Zbl 1492.22008 Bocheński, Maciej; Jastrzȩbski, Piotr; Tralle, Aleksy 1 2022 Machine-learning the Sato-Tate conjecture. Zbl 1483.11133 He, Yang-Hui; Lee, Kyu-Hwan; Oliver, Thomas 1 2022 Disjoint direct product decompositions of permutation groups. Zbl 07379067 Chang, Mun See; Jefferson, Christopher 1 2022 A linear-algebraic method to compute polynomial PDE conservation laws. Zbl 1475.35124 Boreale, Michele; Collodi, Luisa 1 2022 On the computation of identities relating partition numbers in arithmetic progressions with eta quotients: an implementation of Radu’s algorithm. Zbl 1462.11093 Smoot, Nicolas Allen 18 2021 On rational and hypergeometric solutions of linear ordinary difference equations in \(\Pi\Sigma^\ast\)-field extensions. Zbl 1483.12005 Abramov, Sergei A.; Bronstein, Manuel; Petkovšek, Marko; Schneider, Carsten 13 2021 Symmetric ideals, Specht polynomials and solutions to symmetric systems of equations. Zbl 1475.13053 Moustrou, Philippe; Riener, Cordian; Verdure, Hugues 9 2021 Wasserstein distance to independence models. Zbl 1460.62205 Çelik, Türkü Özlüm; Jamneshan, Asgar; Montúfar, Guido; Sturmfels, Bernd; Venturello, Lorenzo 8 2021 qFunctions – a Mathematica package for \(q\)-series and partition theory applications. Zbl 1465.05001 Ablinger, Jakob; Uncu, Ali Kemal 7 2021 On exact Reznick, Hilbert-Artin and Putinar’s representations. Zbl 1476.14102 Magron, Victor; Safey El Din, Mohab 7 2021 Polynomial reduction and supercongruences. Zbl 1509.11005 Hou, Qing-Hu; Mu, Yan-Ping; Zeilberger, Doron 7 2021 Identifiability in phylogenetics using algebraic matroids. Zbl 1455.92103 Hollering, Benjamin; Sullivant, Seth 6 2021 Solving determinantal systems using homotopy techniques. Zbl 1461.13034 Hauenstein, Jon D.; Safey El Din, Mohab; Schost, Éric; Vu, Thi Xuan 6 2021 On the maximal number of real embeddings of minimally rigid graphs in \(\mathbb{R}^2,\mathbb{R}^3\) and \(S^2\). Zbl 1448.05144 Bartzos, Evangelos; Emiris, Ioannis Z.; Legerský, Jan; Tsigaridas, Elias 6 2021 Multivariate interpolation: preserving and exploiting symmetry. Zbl 1479.41002 Rodriguez Bazan, Erick; Hubert, Evelyne 5 2021 Standard monomial theory and toric degenerations of Schubert varieties from matching field tableaux. Zbl 1467.14116 Clarke, Oliver; Mohammadi, Fatemeh 5 2021 Chordal graphs in triangular decomposition in top-down style. Zbl 1443.05132 Mou, Chenqi; Bai, Yang; Lai, Jiahua 5 2021 Coisotropic hypersurfaces in Grassmannians. Zbl 1472.13046 Kohn, Kathlén 5 2021 Rationalizability of square roots. Zbl 1465.81075 Besier, Marco; Festi, Dino 4 2021 New ways to multiply \(3 \times 3\)-matrices. Zbl 1491.68276 Heule, Marijn J. H.; Kauers, Manuel; Seidl, Martina 4 2021 Galois groups over rational function fields and explicit Hilbert irreducibility. Zbl 1461.11152 Krumm, David; Sutherland, Nicole 4 2021 ...and 1541 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 16,214 Authors 111 Qi, Liqun 73 Conder, Marston Donald Edward 67 Sturmfels, Bernd 61 O’Brien, Eamonn A. 60 Sendra, Juan Rafael 60 Zhou, Jinxin 58 Feng, Yanquan 57 Praeger, Cheryl Elisabeth 55 Ballico, Edoardo 51 Schost, Éric 47 van der Hoeven, Joris 46 Spiga, Pablo 44 Gao, Xiaoshan 43 Mourrain, Bernard 41 Pan, Victor Yakovlevich 40 Abramov, Sergeĭ Aleksandrovich 40 Kauers, Manuel 40 Pérez-Díaz, Sonia 39 Safey El Din, Mohab 39 Schneider, Carsten 38 Romanovskiĭ, Valeriĭ Georgievich 37 Farouki, Rida T. 37 Kapur, Deepak 37 Moreno Maza, Marc 37 Wei, Yimin 36 Eick, Bettina 36 Leemans, Dimitri 36 Schicho, Josef 35 Bu, Changjiang 35 Faugère, Jean-Charles 35 Harada, Masaaki 35 Hashemi, Amir 35 Llibre, Jaume 34 Burness, Timothy C. 34 Giné, Jaume 33 Grigor’ev, Dmitriĭ Yur’evich 32 Bostan, Alin 32 de Graaf, Willem Adriaan 32 Emiris, Ioannis Z. 32 Koutschan, Christoph 32 Siksek, Samir 31 Alcazar, Juan Gerardo 31 Holt, Derek F. 31 Xia, Bican 30 D’Andrea, Carlos 30 Davenport, James Harold 30 Gaál, István 30 Giudici, Michael 30 Li, Chaoqian 30 Middeldorp, Aart 30 Seiler, Werner M. 29 Hauenstein, Jonathan D. 29 Koepf, Wolfram A. 29 Voight, John Michael 29 von zur Gathen, Joachim 29 Zeilberger, Doron 28 Baader, Franz 28 Barkatou, Moulay A. 28 Guo, Li 28 Otto, Friedrich 28 Wang, Dongming 27 Busé, Laurent 27 Giesbrecht, Mark W. 27 Meseguer Guaita, José 27 Nebe, Gabriele 27 Potočnik, Primož 27 Singer, Michael F. 27 Tsigaridas, Elias P. 27 Wang, Yiju 26 Bernardi, Alessandra 26 Dickenstein, Alicia M. 26 Jeronimo, Gabriela 26 Li, Yaotang 26 Peltier, Nicolas 26 Rusinowitch, Michaël 26 van Hoeij, Mark 25 Craciun, Gheorghe 25 Fu, Fangwei 25 Gerdt, Vladimir Petrovich 25 Mora, Teo 25 Özbudak, Ferruh 25 Roy, Marie-Françoise 25 Shen, Liyong 25 Stoll, Michael 24 Gao, Jian 24 Kaltofen, Erich L. 24 Kemper, Gregor 24 Kutnar, Klavdija 24 Lecerf, Grégoire 24 Leedham-Green, Charles R. 24 Pohst, Michael E. 24 Rodrigues, Bernardo Gabriel 24 Song, Yisheng 24 Szántó, Ágnes 24 Tajima, Shinichi 24 Wilson, Robert Arnott 23 Hong, Hoon 23 Key, Jennifer D. 23 Labahn, George 23 Lucas, Salvador ...and 16,114 more Authors all top 5 Cited in 917 Journals 1,458 Journal of Symbolic Computation 687 Journal of Algebra 432 Theoretical Computer Science 327 Mathematics of Computation 315 Journal of Pure and Applied Algebra 278 Linear Algebra and its Applications 225 Communications in Algebra 212 Discrete Mathematics 210 Journal of Number Theory 207 Applicable Algebra in Engineering, Communication and Computing 186 Designs, Codes and Cryptography 176 Journal of Computational and Applied Mathematics 176 Journal of Automated Reasoning 175 Computer Aided Geometric Design 175 Finite Fields and their Applications 162 Transactions of the American Mathematical Society 154 Applied Mathematics and Computation 135 Mathematics in Computer Science 129 Proceedings of the American Mathematical Society 122 Experimental Mathematics 122 Journal of Algebra and its Applications 121 Information and Computation 119 Advances in Applied Mathematics 119 International Journal of Algebra and Computation 117 Discrete Applied Mathematics 116 Journal of Algebraic Combinatorics 113 Advances in Mathematics 107 Discrete & Computational Geometry 107 International Journal of Number Theory 106 Information Processing Letters 101 LMS Journal of Computation and Mathematics 95 Journal of Combinatorial Theory. Series A 95 The Electronic Journal of Combinatorics 93 Linear and Multilinear Algebra 92 Journal of High Energy Physics 88 Journal of Complexity 86 Journal of Systems Science and Complexity 85 Journal of Mathematical Physics 78 Journal de Théorie des Nombres de Bordeaux 77 Foundations of Computational Mathematics 75 European Journal of Combinatorics 71 Programming and Computer Software 71 Advances in Mathematics of Communications 70 Annals of Mathematics and Artificial Intelligence 68 SIAM Journal on Applied Algebra and Geometry 67 Mathematische Zeitschrift 63 Journal of Mathematical Sciences (New York) 62 Computers & Mathematics with Applications 62 Journal of Mathematical Analysis and Applications 60 The Ramanujan Journal 60 Frontiers of Mathematics in China 54 Research in Number Theory 53 Artificial Intelligence 52 Cryptography and Communications 51 Algorithmica 51 Journal of Group Theory 48 Archiv der Mathematik 48 Mathematics and Computers in Simulation 47 Computational Complexity 46 Journal of Computer and System Sciences 46 Computational Geometry 45 Journal of Combinatorial Theory. Series B 45 Computational and Applied Mathematics 44 Acta Arithmetica 43 Science China. Mathematics 42 Bulletin of the Australian Mathematical Society 42 Graphs and Combinatorics 41 SIAM Journal on Matrix Analysis and Applications 41 Mathematical Programming. Series A. Series B 41 International Journal of Bifurcation and Chaos in Applied Sciences and Engineering 40 Numerical Algorithms 39 Computer Physics Communications 39 Israel Journal of Mathematics 39 Mathematische Annalen 38 Rocky Mountain Journal of Mathematics 38 SIAM Journal on Discrete Mathematics 36 Annales de l’Institut Fourier 36 Journal of Optimization Theory and Applications 34 Quantum Information Processing 33 Semigroup Forum 33 Journal of Industrial and Management Optimization 32 Monatshefte für Mathematik 32 Journal of Difference Equations and Applications 32 Mediterranean Journal of Mathematics 32 Algebra & Number Theory 31 Collectanea Mathematica 31 Journal of the London Mathematical Society. Second Series 31 Acta Applicandae Mathematicae 31 International Journal of Computer Mathematics 31 Transformation Groups 31 Journal of Logical and Algebraic Methods in Programming 30 Automatica 30 Annals of Pure and Applied Logic 30 Applied Mathematics Letters 30 SIGMA. Symmetry, Integrability and Geometry: Methods and Applications 30 Logical Methods in Computer Science 30 Journal of Commutative Algebra 29 Journal of the American Mathematical Society 29 Ars Mathematica Contemporanea 28 Journal of Differential Equations ...and 817 more Journals all top 5 Cited in 63 Fields 5,156 Computer science (68-XX) 2,825 Algebraic geometry (14-XX) 2,673 Number theory (11-XX) 2,343 Commutative algebra (13-XX) 2,225 Combinatorics (05-XX) 1,943 Group theory and generalizations (20-XX) 1,731 Numerical analysis (65-XX) 1,287 Linear and multilinear algebra; matrix theory (15-XX) 1,122 Information and communication theory, circuits (94-XX) 980 Field theory and polynomials (12-XX) 974 Mathematical logic and foundations (03-XX) 729 Ordinary differential equations (34-XX) 697 Associative rings and algebras (16-XX) 597 Operations research, mathematical programming (90-XX) 473 Special functions (33-XX) 443 Convex and discrete geometry (52-XX) 432 Quantum theory (81-XX) 408 Dynamical systems and ergodic theory (37-XX) 352 Partial differential equations (35-XX) 315 Nonassociative rings and algebras (17-XX) 315 Geometry (51-XX) 299 Biology and other natural sciences (92-XX) 260 Several complex variables and analytic spaces (32-XX) 241 Statistics (62-XX) 239 Systems theory; control (93-XX) 215 Manifolds and cell complexes (57-XX) 200 Functions of a complex variable (30-XX) 190 Differential geometry (53-XX) 179 Probability theory and stochastic processes (60-XX) 164 Real functions (26-XX) 162 Mechanics of particles and systems (70-XX) 150 Algebraic topology (55-XX) 142 Approximations and expansions (41-XX) 141 Order, lattices, ordered algebraic structures (06-XX) 140 Difference and functional equations (39-XX) 134 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 119 Operator theory (47-XX) 118 Category theory; homological algebra (18-XX) 87 General algebraic systems (08-XX) 85 Topological groups, Lie groups (22-XX) 85 Fluid mechanics (76-XX) 83 Mechanics of deformable solids (74-XX) 79 Global analysis, analysis on manifolds (58-XX) 56 Relativity and gravitational theory (83-XX) 52 Statistical mechanics, structure of matter (82-XX) 51 Harmonic analysis on Euclidean spaces (42-XX) 51 Functional analysis (46-XX) 49 General and overarching topics; collections (00-XX) 45 Calculus of variations and optimal control; optimization (49-XX) 44 History and biography (01-XX) 31 Classical thermodynamics, heat transfer (80-XX) 28 Integral transforms, operational calculus (44-XX) 24 \(K\)-theory (19-XX) 21 Sequences, series, summability (40-XX) 21 Mathematics education (97-XX) 16 Optics, electromagnetic theory (78-XX) 13 Integral equations (45-XX) 11 Abstract harmonic analysis (43-XX) 11 General topology (54-XX) 9 Geophysics (86-XX) 7 Measure and integration (28-XX) 5 Potential theory (31-XX) 3 Astronomy and astrophysics (85-XX) Citations by Year