Journal of Symbolic Computation Short Title: J. Symb. Comput. Publisher: Elsevier (Academic Press), London ISSN: 0747-7171 Online: http://www.sciencedirect.com/science/journal/07477171 Comments: Indexed cover-to-cover Documents Indexed: 2,771 Publications (since 1985) References Indexed: 2,207 Publications with 54,957 References. all top 5 Latest Issues 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) 46, No. 5 (2011) 46, No. 4 (2011) 46, No. 3 (2011) 46, No. 2 (2011) 46, No. 1 (2011) 45, No. 12 (2010) ...and 236 more Volumes all top 5 Authors 28 Hong, Hoon 22 Schicho, Josef 22 Sendra, Juan Rafael 21 Mourrain, Bernard 19 Safey El Din, Mohab 19 Schost, Éric 19 van der Hoeven, Joris 18 Faugère, Jean-Charles 18 Giesbrecht, Mark W. 18 Holt, Derek F. 16 Cannon, John J. 16 Gao, Xiaoshan 16 Kaltofen, Erich L. 16 Kapur, Deepak 16 Moreno Maza, Marc 16 Sturmfels, Bernd 15 Labahn, George 15 Lazard, Daniel 15 von zur Gathen, Joachim 14 Emiris, Ioannis Z. 14 Salvy, Bruno 14 Szántó, Ágnes 13 Barkatou, Moulay A. 12 Collins, George E. 12 Davenport, James Harold 12 Levandovskyy, Viktor 12 McCallum, Scott 12 Tsigaridas, Elias P. 12 Wang, Dongming 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. 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 Xia, Bican 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 9 Zhi, Lihong 8 Abbott, John A. 8 Gonzalez-Vega, Laureano 8 Kalkbrener, Michael 8 La Scala, Roberto 8 Otto, Friedrich 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 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 Recio, Tomas 7 Rusinowitch, Michaël 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 6 Brown, Christopher W. 6 Castro-Jiménez, Francisco Jesús 6 Dickenstein, Alicia M. ...and 2,979 more Authors all top 5 Fields 1,670 Computer science (68-XX) 729 Commutative algebra (13-XX) 483 Algebraic geometry (14-XX) 334 Numerical analysis (65-XX) 321 Field theory and polynomials (12-XX) 299 Number theory (11-XX) 247 Group theory and generalizations (20-XX) 157 Mathematical logic and foundations (03-XX) 128 Combinatorics (05-XX) 117 Associative rings and algebras (16-XX) 116 Ordinary differential equations (34-XX) 90 Linear and multilinear algebra; matrix theory (15-XX) 85 Special functions (33-XX) 84 Information and communication theory, circuits (94-XX) 64 General and overarching topics; collections (00-XX) 50 Nonassociative rings and algebras (17-XX) 50 Partial differential equations (35-XX) 47 Functions of a complex variable (30-XX) 44 Several complex variables and analytic spaces (32-XX) 43 Operations research, mathematical programming (90-XX) 40 Real functions (26-XX) 36 Convex and discrete geometry (52-XX) 31 Dynamical systems and ergodic theory (37-XX) 31 Differential geometry (53-XX) 28 Geometry (51-XX) 27 Difference and functional equations (39-XX) 24 Category theory; homological algebra (18-XX) 22 Manifolds and cell complexes (57-XX) 21 Algebraic topology (55-XX) 21 Mechanics of particles and systems (70-XX) 20 Approximations and expansions (41-XX) 19 Statistics (62-XX) 19 Mechanics of deformable solids (74-XX) 17 General algebraic systems (08-XX) 17 Global analysis, analysis on manifolds (58-XX) 17 Biology and other natural sciences (92-XX) 17 Systems theory; control (93-XX) 14 Probability theory and stochastic processes (60-XX) 13 Order, lattices, ordered algebraic structures (06-XX) 13 Quantum theory (81-XX) 11 History and biography (01-XX) 10 Topological groups, Lie groups (22-XX) 10 Fluid mechanics (76-XX) 9 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 Classical thermodynamics, heat transfer (80-XX) 4 Mathematics education (97-XX) 3 \(K\)-theory (19-XX) 3 Abstract harmonic analysis (43-XX) 3 Operator theory (47-XX) 2 Calculus of variations and optimal control; optimization (49-XX) 2 Statistical mechanics, structure of matter (82-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 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,255 Publications have been cited 25,112 times in 15,315 Documents Cited by ▼ Year ▼ The Magma algebra system. I: The user language. Zbl 0898.68039Bosma, Wieb; Cannon, John; Playoust, Catherine 2,806 1997 Eigenvalues of a real supersymmetric tensor. Zbl 1125.15014Qi, Liqun 702 2005 Matrix multiplication via arithmetic progressions. Zbl 0702.65046Coppersmith, Don; Winograd, Shmuel 422 1990 Practical graph isomorphism. II. Zbl 1394.05079McKay, Brendan D.; Piperno, Adolfo 241 2014 Efficient computation of zero-dimensional Gröbner bases by change of ordering. Zbl 0805.13007Faugère, J. C.; Gianni, P.; Lazard, D.; Mora, T. 182 1993 Termination of rewriting. Zbl 0637.68035Dershowitz, Nachum 169 1987 An algorithm for solving second order linear homogeneous differential equations. Zbl 0603.68035Kovacic, Jerald J. 166 1986 Gröbner bases and primary decomposition of polynomial ideals. Zbl 0667.13008Gianni, Patrizia; Trager, Barry; Zacharias, Gail 166 1988 The method of creative telescoping. Zbl 0738.33002Zeilberger, Doron 152 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.01307Buchberger, Bruno 134 2006 Partial cylindrical algebraic decomposition for quantifier elimination. Zbl 0754.68063Collins, George E.; Hong, Hoon 115 1991 Non-commutative Gröbner bases in algebras of solvable type. Zbl 0715.16010Kandri-Rody, A.; Weispfenning, Volker 106 1990 A structure-preserving clause form translation. Zbl 0636.68119Plaisted, David A.; Greenbaum, Steven 99 1986 Solving systems of polynomial inequalities in subexponential time. Zbl 0662.12001Grigor’ev, D. Yu.; Vorobjov, N. N. jun. 97 1988 Cylindrical algebraic decomposition using validated numerics. Zbl 1124.68123Strzeboński, Adam W. 93 2006 KANT V4. Zbl 0886.11070Daberkow, M.; Fieker, C.; Klüners, J.; Pohst, M.; Roegner, K.; Schörnig, M.; Wildanger, K. 92 1997 Toric dynamical systems. Zbl 1188.37082Craciun, Gheorghe; Dickenstein, Alicia; Shiu, Anne; Sturmfels, Bernd 90 2009 On determinants and eigenvalue theory of tensors. Zbl 1259.15038Hu, Shenglong; Huang, Zheng-Hai; Ling, Chen; Qi, Liqun 90 2013 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.68042Renegar, James 88 1992 On the theories of triangular sets. Zbl 0943.12003Aubry, Philippe; Lazard, Daniel; Moreno Maza, Marc 87 1999 On the computational complexity and geometry of the first-order theory of the reals. III: Quantifier elimination. Zbl 0798.68073Renegar, James 82 1992 The Gröbner fan of an ideal. Zbl 0668.13017Mora, Teo; Robbiano, Lorenzo 82 1988 Hypergeometric solutions of linear recurrences with polynomial coefficients. Zbl 0761.11008Petkovšek, Marko 81 1992 Computing symmetric rank for symmetric tensors. Zbl 1211.14057Bernardi, Alessandra; Gimigliano, Alessandro; Idà, Monica 75 2011 Comprehensive Gröbner bases. Zbl 0784.13013Weispfenning, Volker 75 1992 Real quantifier elimination is doubly exponential. Zbl 0663.03015Davenport, James H.; Heintz, Joos 75 1988 Computing tropical varieties. Zbl 1121.14051Bogart, T.; Jensen, A. N.; Speyer, D.; Sturmfels, B.; Thomas, R. R. 73 2007 Coding with skew polynomial rings. Zbl 1174.94025Boucher, Delphine; Ulmer, Felix 72 2009 Symbolic computation of exact solutions expressible in hyperbolic and elliptic functions for nonlinear PDEs. Zbl 1137.35324Baldwin, D.; Göktaş, Ü.; Hereman, W.; Hong, L.; Martino, R. S.; Miller, J. C. 68 2004 Effective lattice point counting in rational convex polytopes. Zbl 1137.52303De Loera, Jesús A.; Hemmecke, Raymond; Tauzer, Jeremiah; Yoshida, Ruriko 67 2005 Non-commutative elimination in Ore algebras proves multivariate identities. Zbl 0944.05006Chyzak, Frédéric; Salvy, Bruno 67 1998 The complexity of linear problems in fields. Zbl 0646.03005Weispfenning, Volker 64 1988 Equational problems and disunification. Zbl 0678.68093Comon, Hubert; Lescanne, Pierre 63 1989 A Mathematica version of Zeilberger’s algorithm for proving binomial coefficient identities. Zbl 0851.68052Paule, Peter; Schorn, Markus 62 1995 Rational invariants of a group action. Construction and rewriting. Zbl 1121.13010Hubert, Evelyne; Kogan, Irina A. 62 2007 Computing Riemann-Roch spaces in algebraic function fields and related topics. Zbl 1058.14071Hess, F. 60 2002 Complexity of deciding Tarski algebra. Zbl 0689.03021Grigor’ev, D. Yu. 60 1988 Univariate polynomials: Nearly optimal algorithms for numerical factorization and root-finding. Zbl 1004.65061Pan, Victor Y. 59 2002 Differential invariants of a Lie group action: syzygies on a generating set. Zbl 1176.12004Hubert, Evelyne 57 2009 A generalized Euclidean algorithm for computing triangular representations of algebraic varieties. Zbl 0783.14039Kalkbrener, Michael 57 1993 Introduction to the GiNaC framework for symbolic computation within the \(\text{C}^{++}\) programming language. Zbl 1017.68163Bauer, Christian; Frink, Alexander; Kreckel, Richard 56 2002 Eigenvectors of tensors and algorithms for Waring decomposition. Zbl 1277.15019Oeding, Luke; Ottaviani, Giorgio 56 2013 On an installation of Buchberger’s algorithm. Zbl 0675.13013Gebauer, Rüdiger; Möller, H. Michael 56 1988 Recent advances on determining the number of real roots of parametric polynomials. Zbl 0957.65041Yang, Lu 56 1999 Unification theory. Zbl 0678.68098Siekmann, Jörg H. 55 1989 Algebraic geometry of Bayesian networks. Zbl 1126.68102Garcia, Luis David; Stillman, Michael; Sturmfels, Bernd 54 2005 Rank and eigenvalues of a supersymmetric tensor, the multivariate homogeneous polynomial and the algebraic hypersurface it defines. Zbl 1121.14050Qi, Liqun 52 2006 On the application of Buchberger’s algorithm to automated geometry theorem proving. Zbl 0629.68086Kutzler, B.; Stifter, S. 51 1986 Symbolic computations of conserved densities for systems of nonlinear evolution equations. Zbl 0891.65129Göktaş, Ünal; Hereman, Willy 51 1997 Converting bases with the Gröbner walk. Zbl 0908.13020Collart, S.; Kalkbrener, M.; Mall, D. 51 1997 On the complexity of computing syzygies. Zbl 0667.68053Bayer, David; Stillman, Michael 50 1988 Solving parametric polynomial systems. Zbl 1156.14044Lazard, Daniel; Rouillier, Fabrice 49 2007 The \(p\)-group generation algorithm. Zbl 0736.20001O’Brien, E. A. 48 1990 Efficient incremental algorithms for the sparse resultant and the mixed volume. Zbl 0843.68036Emiris, Ioannis Z.; Canny, John F. 47 1995 Thom’s lemma, the coding of real algebraic numbers and the computation of the topology of semi-algebraic sets. Zbl 0689.14006Coste, M.; Roy, M. F. 47 1988 Parametric generalized offsets to hypersurfaces. Zbl 0878.68134Arrondo, Enrique; Sendra, Juana; Sendra, J. Rafael 47 1997 Termination of term rewriting: Interpretation and type elimination. Zbl 0810.68087Zantema, H. 47 1994 Galois groups of second and third order linear differential equations. Zbl 0802.12004Singer, Michael F.; Ulmer, Felix 47 1993 Solving difference equations in finite terms. Zbl 0930.39004Hendriks, Peter A.; Singer, Michael F. 46 1999 Calculating invariant rings of finite groups over arbitrary fields. Zbl 0889.13004Kemper, Gregor 45 1996 On the theory of graded structures. Zbl 0609.13007Robbiano, Lorenzo 45 1986 Factorization-free decomposition algorithms in differential algebra. Zbl 0984.12004Hubert, Evelyne 44 2000 Localization and primary decomposition of polynomial ideals. Zbl 0874.13022Shimoyama, Takeshi; Yokoyama, Kazuhiro 44 1996 Rational parametrization of surfaces. Zbl 0924.14027Schicho, Josef 44 1998 Solving zero-dimensional algebraic systems. Zbl 0753.13012Lazard, D. 42 1992 A database of local fields. Zbl 1140.11350Jones, John W.; Roberts, David P. 42 2006 The method of differentiating under the integral sign. Zbl 0717.33004Almkvist, Gert; Zeilberger, Doron 42 1990 On the validity of implicitization by moving quadrics for rational surfaces with no base points. Zbl 0959.68124Cox, David; Goldman, Ronald; Zhang, Ming 41 2000 A new algorithm for discussing Gröbner bases with parameters. Zbl 1068.13016Montes, Antonio 40 2002 Thue systems as rewriting systems. Zbl 0638.68091Book, Ronald V. 40 1987 Interpolating polynomials from their values. Zbl 0702.65011Zippel, Richard 40 1990 Fast construction of irreducible polynomials over finite fields. Zbl 0815.11059Shoup, Victor 40 1994 Symbolic reachability computation for families of linear vector fields. Zbl 0983.93004Lafferriere, Gerardo; Pappas, George J.; Yovine, Sergio 39 2001 Symbolic parametrization of curves. Zbl 0759.14044Sendra, J. Rafael; Winkler, Franz 39 1991 Index calculus for abelian varieties of small dimension and the elliptic curve discrete logarithm problem. Zbl 1177.94148Gaudry, Pierrick 39 2009 Modular algorithms for computing Gröbner bases. Zbl 1046.13018Arnold, Elizabeth A. 39 2003 Factorization of differential operators with rational functions coefficients. Zbl 0886.68082van Hoeij, Mark 39 1997 Computing isometries of lattices. Zbl 0882.11042Plesken, W.; Souvignier, B. 39 1997 The \(\mu \)-basis and implicitization of a rational parametric surface. Zbl 1120.14054Chen, Falai; Cox, David; Liu, Yang 38 2005 Computation of Hilbert functions. Zbl 0763.13007Bayer, Dave; Stillman, Mike 38 1992 Computing singular points of plane rational curves. Zbl 1130.14039Chen, Falai; Wang, Wenping; Liu, Yang 38 2008 An algorithm of Katz and its application to the inverse Galois problem. Zbl 1049.12005Dettweiler, Michael; Reiter, Stefan 38 2000 Relax, but don’t be too lazy. Zbl 1011.68189van der Hoeven, Joris 38 2002 Computing triangular systems and regular systems. Zbl 1007.65039Wang, Dongming 37 2000 Cubic vertex-transitive graphs on up to 1280 vertices. Zbl 1256.05102Potočnik, Primož; Spiga, Pablo; Verret, Gabriel 37 2013 Solving and factoring boundary problems for linear ordinary differential equations in differential algebras. Zbl 1151.34008Rosenkranz, Markus; Regensburger, Georg 37 2008 Greatest factorial factorization and symbolic summation. Zbl 0854.68047Paule, Peter 36 1995 Permutation group algorithms based on partitions. I: Theory and algorithms. Zbl 0807.20001Leon, Jeffrey S. 36 1991 Matrices in elimination theory. Zbl 0943.13005Emiris, Ioannis Z.; Mourrain, Bernard 36 1999 Rational parametrizations of algebraic curves using a canonical divisor. Zbl 0878.68073van Hoeij, Mark 36 1997 MOPS: multivariate orthogonal polynomials (symbolically). Zbl 1122.33019Dumitriu, Ioana; Edelman, Alan; Shuman, Gene 35 2007 A faster way to count the solutions of inhomogeneous systems of algebraic equations, with applications to cyclic \(n\)-roots. Zbl 0751.12001Björck, Göran; Fröberg, Ralf 35 1991 Properties of substitutions and unifications. Zbl 0589.68063Eder, Elmar 35 1985 Using Gröbner bases to reason about geometry problems. Zbl 0629.68087Kapur, Deepak 35 1986 Quartic curves and their bitangents. Zbl 1214.14049Plaumann, Daniel; Sturmfels, Bernd; Vinzant, Cynthia 35 2011 Improved projection for cylindrical algebraic decomposition. Zbl 0981.68186Brown, Christopher W. 34 2001 Using Gröbner bases to determine algebra membership, split surjective algebra homomorphisms determine birational equivalence. Zbl 0681.68052Shannon, David; Sweedler, Moss 34 1988 Implicitizing rational curves by the method of moving algebraic curves. Zbl 0872.68193Sederberg, Tom; Goldman, Ron; Du, Hang 34 1997 Parametrization of algebraic curves over optimal field extensions. Zbl 0878.68072Sendra, J. Rafael; Winkler, Franz 34 1997 Constructing transitive permutation groups. Zbl 1131.20003Hulpke, Alexander 33 2005 Degrees of Kalman varieties of tensors. Zbl 1497.14104Shahidi, Zahra; Sodomaco, Luca; Ventura, Emanuele 1 2023 KP solitons from tropical limits. Zbl 1495.14046Agostini, Daniele; Fevola, Claudia; Mandelshtam, Yelena; Sturmfels, Bernd 1 2023 Solving degree, last fall degree, and related invariants. Zbl 1491.13035Caminata, Alessio; Gorla, Elisa 1 2023 Loci of 3-periodics in an Elliptic Billiard: why so many ellipses? Zbl 1506.37042Garcia, Ronaldo; Koiller, Jair; Reznik, Dan 1 2023 SONC optimization and exact nonnegativity certificates via second-order cone programming. Zbl 1500.90045Magron, Victor; Wang, Jie 1 2023 Machine learning the real discriminant locus. Zbl 1504.14104Bernal, Edgar A.; Hauenstein, Jonathan D.; Mehta, Dhagash; Regan, Margaret H.; Tang, Tingting 1 2023 Existence and convergence of Puiseux series solutions for autonomous first order differential equations. Zbl 1471.34026Cano, José; Falkensteiner, Sebastian; Sendra, J. Rafael 3 2022 On certain polynomial systems involving Stirling numbers of second kind. Zbl 1500.11021Castro-Jiménez, F. J.; Cobo Pablos, H. 3 2022 Heuristics to sift extraneous factors in Dixon resultants. Zbl 07493811Qin, Xiaolin; Zhang, Lige; Yang, Lu; Cao, Sheng 3 2022 Groups whose orders factorise into at most four primes. Zbl 07379069Dietrich, Heiko; Eick, Bettina; Pan, Xueyu 2 2022 Certification for polynomial systems via square subsystems. Zbl 1476.14103Duff, Timothy; Hein, Nickolas; Sottile, Frank 2 2022 Measuring the local non-convexity of real algebraic curves. Zbl 1471.14122Sorea, Miruna-Ştefana 2 2022 Disjoint direct product decompositions of permutation groups. Zbl 07379067Chang, Mun See; Jefferson, Christopher 1 2022 A linear-algebraic method to compute polynomial PDE conservation laws. Zbl 1475.35124Boreale, Michele; Collodi, Luisa 1 2022 Polynomial-division-based algorithms for computing linear recurrence relations. Zbl 1481.68050Berthomieu, Jérémy; Faugère, Jean-Charles 1 2022 Stream/block ciphers, difference equations and algebraic attacks. Zbl 1477.13052La Scala, Roberto; Tiwari, Sharwan K. 1 2022 Strict inclusions of high rank loci. Zbl 1476.14091Ballico, Edoardo; Bernardi, Alessandra; Ventura, Emanuele 1 2022 Stronger bounds on the cost of computing Gröbner bases for HFE systems. Zbl 1473.94100Gorla, Elisa; Mueller, Daniela; Petit, Christophe 1 2022 Initial steps in the classification of maximal mediated sets. Zbl 1475.52023Hartzer, 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.14130Le, Huu Phuoc; Safey El Din, Mohab 1 2022 Computing the Lie algebra of the differential Galois group: the reducible case. Zbl 1493.34233Dreyfus, Thomas; Weil, Jacques-Arthur 1 2022 Noetherian operators and primary decomposition. Zbl 1484.14108Chen, Justin; Härkönen, Marc; Krone, Robert; Leykin, Anton 1 2022 Machine-learning the Sato-Tate conjecture. Zbl 1483.11133He, Yang-Hui; Lee, Kyu-Hwan; Oliver, Thomas 1 2022 Algebraic equations for constant width curves and Zindler curves. Zbl 1485.53007Rochera, David 1 2022 Staged tree models with toric structure. Zbl 1491.14074Görgen, Christiane; Maraj, Aida; Nicklasson, Lisa 1 2022 On the computation of identities relating partition numbers in arithmetic progressions with eta quotients: an implementation of Radu’s algorithm. Zbl 1462.11093Smoot, Nicolas Allen 9 2021 On rational and hypergeometric solutions of linear ordinary difference equations in \(\Pi\Sigma^\ast\)-field extensions. Zbl 1483.12005Abramov, Sergei A.; Bronstein, Manuel; Petkovšek, Marko; Schneider, Carsten 6 2021 Polynomial reduction and supercongruences. Zbl 07274358Hou, Qing-Hu; Mu, Yan-Ping; Zeilberger, Doron 5 2021 Multivariate interpolation: preserving and exploiting symmetry. Zbl 1479.41002Rodriguez Bazan, Erick; Hubert, Evelyne 5 2021 qFunctions – a Mathematica package for \(q\)-series and partition theory applications. Zbl 1465.05001Ablinger, Jakob; Uncu, Ali Kemal 5 2021 Standard monomial theory and toric degenerations of Schubert varieties from matching field tableaux. Zbl 1467.14116Clarke, Oliver; Mohammadi, Fatemeh 4 2021 Solving determinantal systems using homotopy techniques. Zbl 1461.13034Hauenstein, Jon D.; Safey El Din, Mohab; Schost, Éric; Vu, Thi Xuan 4 2021 Coisotropic hypersurfaces in Grassmannians. Zbl 1472.13046Kohn, Kathlén 4 2021 Chordal graphs in triangular decomposition in top-down style. Zbl 1443.05132Mou, Chenqi; Bai, Yang; Lai, Jiahua 4 2021 On the maximal number of real embeddings of minimally rigid graphs in \(\mathbb{R}^2,\mathbb{R}^3\) and \(S^2\). Zbl 1448.05144Bartzos, Evangelos; Emiris, Ioannis Z.; Legerský, Jan; Tsigaridas, Elias 4 2021 Rationalizability of square roots. Zbl 1465.81075Besier, Marco; Festi, Dino 4 2021 Identifiability in phylogenetics using algebraic matroids. Zbl 1455.92103Hollering, Benjamin; Sullivant, Seth 3 2021 Symmetric ideals, Specht polynomials and solutions to symmetric systems of equations. Zbl 1475.13053Moustrou, Philippe; Riener, Cordian; Verdure, Hugues 3 2021 Catalan-many tropical morphisms to trees. Part I: Constructions. Zbl 1467.14160Draisma, Jan; Vargas, Alejandro 2 2021 Combinatorial decompositions for monomial ideals. Zbl 1458.13030Ceria, Michela 2 2021 New ways to multiply \(3 \times 3\)-matrices. Zbl 1491.68276Heule, Marijn J. H.; Kauers, Manuel; Seidl, Martina 2 2021 Exact algorithms for semidefinite programs with degenerate feasible set. Zbl 1460.90128Henrion, Didier; Naldi, Simone; Safey El Din, Mohab 2 2021 Galois groups over rational function fields and explicit Hilbert irreducibility. Zbl 1461.11152Krumm, David; Sutherland, Nicole 2 2021 Cyclic distances of idempotent convolutional codes. Zbl 1477.94078Gómez-Torrecillas, José; Lobillo, F. J.; Navarro, Gabriel 2 2021 Truncated normal forms for solving polynomial systems: generalized and efficient algorithms. Zbl 1443.13024Mourrain, Bernard; Telen, Simon; Van Barel, Marc 2 2021 Constructive arithmetics in Ore localizations enjoying enough commutativity. Zbl 1455.16014Hoffmann, Johannes; Levandovskyy, Viktor 2 2021 Computing nearby non-trivial Smith forms. Zbl 1452.65084Giesbrecht, Mark; Haraldson, Joseph; Labahn, George 2 2021 On exact Reznick, Hilbert-Artin and Putinar’s representations. Zbl 1476.14102Magron, Victor; Safey El Din, Mohab 2 2021 Computing the real Weyl group. Zbl 1493.17017Dietrich, Heiko; de Graaf, Willem A. 1 2021 Powers of monomial ideals and the Ratliff-Rush operation. Zbl 1457.13006Gasanova, Oleksandra 1 2021 Distance invariant method for normalization of indexed differentials. Zbl 1496.13041Liu, Jiang; Ni, Feng 1 2021 A constructive method for decomposing real representations. Zbl 1498.17032Ali, Sajid; Azad, Hassan; Biswas, Indranil; de Graaf, Willem A. 1 2021 Reducing radicals in the spirit of Euclid. Zbl 1462.12001Girstmair, Kurt 1 2021 Reconstruction of rational ruled surfaces from their silhouettes. Zbl 1461.14051Gallet, Matteo; Lubbes, Niels; Schicho, Josef; Vršek, Jan 1 2021 Exact \(p\)-adic computation in Magma. Zbl 1472.11004Doris, Christopher 1 2021 On the existence of telescopers for rational functions in three variables. Zbl 1465.05185Chen, Shaoshi; Du, Lixin; Wang, Rong-Hua; Zhu, Chaochao 1 2021 Computing invariants for multipersistence via spectral systems and effective homology. Zbl 1482.55007Guidolin, Andrea; Divasón, Jose; Romero, Ana; Vaccarino, Francesco 1 2021 Efficiently factoring polynomials modulo \(p^4\). Zbl 1465.13022Dwivedi, Ashish; Mittal, Rajat; Saxena, Nitin 1 2021 Wasserstein distance to independence models. Zbl 1460.62205Çelik, Türkü Özlüm; Jamneshan, Asgar; Montúfar, Guido; Sturmfels, Bernd; Venturello, Lorenzo 1 2021 Toward the best algorithm for approximate GCD of univariate polynomials. Zbl 1475.13050Nagasaka, Kosaku 1 2021 Symbolic analysis of multiple steady states in a MAPK chemical reaction network. Zbl 1457.92062Lichtblau, Daniel 1 2021 Multilinear polynomial systems: root isolation and bit complexity. Zbl 1475.13051Emiris, Ioannis Z.; Mantzaflaris, Angelos; Tsigaridas, Elias P. 1 2021 Efficient Gröbner bases computation over principal ideal rings. Zbl 1451.13078Eder, Christian; Hofmann, Tommy 1 2021 On the primary decomposition of some determinantal hyperedge ideal. Zbl 1467.13062Pfister, Gerhard; Steenpaß, Andreas 1 2021 Necklaces count polynomial parametric osculants. Zbl 1461.32004Brysiewicz, Taylor 1 2021 Lexicographic and reverse lexicographic quadratic Gröbner bases of cut ideals. Zbl 1457.13051Sakamoto, Ryuichi 1 2021 Symmetric polynomials in upper-bound semirings. Zbl 1506.15029Kališnik, Sara; Lešnik, Davorin 1 2021 Standard bases over Euclidean domains. Zbl 1444.13035Eder, Christian; Pfister, Gerhard; Popescu, Adrian 1 2021 Complex Golay pairs up to length 28: a search via computer algebra and programmatic SAT. Zbl 1468.68276Bright, Curtis; Kotsireas, Ilias; Heinle, Albert; Ganesh, Vijay 1 2021 Bivariate Kolchin-type dimension polynomials of non-reflexive prime difference-differential ideals. The case of one translation. Zbl 1456.12004Levin, Alexander 1 2021 Formal reduction of singular linear differential systems using eigenrings: a refined approach. Zbl 1457.12004Barkatou, Moulay A.; Saade, Joelle; Weil, Jacques-Arthur 1 2021 Computing real radicals and \(S\)-radicals of polynomial systems. Zbl 1448.14061Safey El Din, Mohab; Yang, Zhi-Hong; Zhi, Lihong 1 2021 A generic and executable formalization of signature-based Gröbner basis algorithms. Zbl 1467.13050Maletzky, Alexander 1 2021 Computing the Schur multipliers of the Lie \(p\)-rings in the family defined by a symbolic Lie \(p\)-ring presentation. Zbl 07354267Eick, Bettina; Ghorbanzadeh, Taleea Jalaeeyan 1 2021 Construction of free differential algebras by extending Gröbner-Shirshov bases. Zbl 1462.13027Li, Yunnan; Guo, Li 1 2021 Lifting tropical bitangents. Zbl 1498.14154Len, Yoav; Markwig, Hannah 10 2020 A census of small transitive groups and vertex-transitive graphs. Zbl 07211783Holt, Derek; Royle, Gordon 9 2020 Identifying the parametric occurrence of multiple steady states for some biological networks. Zbl 1442.92056Bradford, Russell; Davenport, James H.; England, Matthew; Errami, Hassan; Gerdt, Vladimir; Grigoriev, Dima; Hoyt, Charles; Košta, Marek; Radulescu, Ovidiu; Sturm, Thomas; Weber, Andreas 8 2020 Explicit formulas of Euler sums via multiple zeta values. Zbl 1459.11173Xu, Ce; Wang, Weiping 8 2020 The BMM symmetrising trace conjecture for groups \(G_{4}\), \(G_{5}\), \(G_{6}\), \(G_{7}\), \(G_{8}\). Zbl 1453.20008Boura, Christina; Chavli, Eirini; Chlouveraki, Maria; Karvounis, Konstantinos 7 2020 Ranks and symmetric ranks of cubic surfaces. Zbl 1444.14091Seigal, Anna 7 2020 An automated study of isoptic curves of an astroid. Zbl 1444.68302Dana-Picard, Thierry 6 2020 Cylindrical algebraic decomposition with equational constraints. Zbl 1432.68599England, Matthew; Bradford, Russell; Davenport, James H. 6 2020 Equations defining probability tree models. Zbl 1451.13086Duarte, Eliana; Görgen, Christiane 5 2020 Fully incremental cylindrical algebraic decomposition. Zbl 1432.68601Kremer, Gereon; Ábrahám, Erika 4 2020 Separation bounds for polynomial systems. Zbl 1446.68202Emiris, Ioannis; Mourrain, Bernard; Tsigaridas, Elias 4 2020 An algorithm for computing the Hilbert-Samuel multiplicities and reductions of zero-dimensional ideals of Cohen-Macaulay local rings. Zbl 1446.13011Shibuta, Takafumi; Tajima, Shinichi 3 2020 Fast computation of approximant bases in canonical form. Zbl 1450.65040Jeannerod, Claude-Pierre; Neiger, Vincent; Villard, Gilles 3 2020 Effective Buchberger-Zacharias-Weispfenning theory of skew polynomial extensions of subbilateral coherent rings. Zbl 1470.13044Nguefack, Bertrand; Pola, Emmanuel 3 2020 Zacharias representation of effective associative rings. Zbl 1445.16044Mora, Teo 3 2020 Editorial: Symbolic computation and satisfiability checking. Zbl 1444.68006 3 2020 Computing and using minimal polynomials. Zbl 1468.13063Abbott, John; Bigatti, Anna Maria; Palezzato, Elisa; Robbiano, Lorenzo 3 2020 The complexity of subdivision for diameter-distance tests. Zbl 1444.68274Burr, Michael; Gao, Shuhong; Tsigaridas, Elias 3 2020 Constructive arithmetics in Ore localizations of domains. Zbl 1441.16029Hoffmann, Johannes; Levandovskyy, Viktor 2 2020 Fast Hermite interpolation and evaluation over finite fields of characteristic two. Zbl 1444.68301Coxon, Nicholas 2 2020 Noncommutative algebras, context-free grammars and algebraic Hilbert series. Zbl 1455.16007La Scala, Roberto; Piontkovski, Dmitri; Tiwari, Sharwan K. 2 2020 On the solutions of holonomic third-order linear irreducible differential equations in terms of hypergeometric functions. Zbl 1454.34005Mouafo Wouodjié, Merlin; Koepf, Wolfram 2 2020 An approach for computing families of multi-branch-point covers and applications for symplectic Galois groups. Zbl 1451.14097Barth, Dominik; König, Joachim; Wenz, Andreas 2 2020 Deterministic polynomial factoring over finite fields: a uniform approach via \(\mathcal{P}\)-schemes. Zbl 1426.11135Guo, Zeyu 1 2020 Matrix formulæ for resultants and discriminants of bivariate tensor-product polynomials. Zbl 1471.13059Busé, Laurent; Mantzaflaris, Angelos; Tsigaridas, Elias 1 2020 ...and 1500 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 14,745 Authors 111 Qi, Liqun 67 Conder, Marston Donald Edward 64 Sturmfels, Bernd 59 O’Brien, Eamonn A. 58 Sendra, Juan Rafael 53 Feng, Yanquan 53 Zhou, Jinxin 51 Ballico, Edoardo 51 Praeger, Cheryl Elisabeth 46 Schost, Éric 45 van der Hoeven, Joris 41 Spiga, Pablo 40 Gao, Xiaoshan 40 Mourrain, Bernard 40 Pan, Victor Yakovlevich 39 Abramov, Sergeĭ Aleksandrovich 37 Pérez-Díaz, Sonia 36 Moreno Maza, Marc 36 Romanovskiĭ, Valeriĭ Georgievich 35 Schicho, Josef 35 Wei, Yimin 34 Farouki, Rida T. 34 Faugère, Jean-Charles 34 Hashemi, Amir 34 Kapur, Deepak 34 Leemans, Dimitri 33 Eick, Bettina 33 Grigor’ev, Dmitriĭ Yur’evich 33 Schneider, Carsten 32 Emiris, Ioannis Z. 32 Harada, Masaaki 32 Llibre, Jaume 31 Bu, Changjiang 31 Giné, Jaume 31 Holt, Derek F. 31 Kauers, Manuel 30 Alcazar, Juan Gerardo 30 Burness, Timothy C. 30 Safey El Din, Mohab 29 D’Andrea, Carlos 29 de Graaf, Willem Adriaan 29 Koepf, Wolfram A. 29 Seiler, Werner M. 29 Siksek, Samir 29 von zur Gathen, Joachim 29 Zeilberger, Doron 28 Bostan, Alin 28 Gaál, István 28 Giudici, Michael 28 Li, Chaoqian 28 Xia, Bican 27 Barkatou, Moulay A. 27 Busé, Laurent 27 Giesbrecht, Mark W. 27 Middeldorp, Aart 27 Otto, Friedrich 27 Singer, Michael F. 26 Baader, Franz 26 Hauenstein, Jonathan D. 26 Koutschan, Christoph 26 Li, Yaotang 26 Nebe, Gabriele 26 Tsigaridas, Elias P. 26 van Hoeij, Mark 26 Wang, Yiju 25 Bernardi, Alessandra 25 Dickenstein, Alicia M. 25 Gerdt, Vladimir Petrovich 25 Meseguer Guaita, José 25 Roy, Marie-Françoise 25 Wang, Dongming 25 Wazwaz, Abdul-Majid Abdul-Rahman 24 Davenport, James Harold 24 Peltier, Nicolas 24 Pohst, Michael E. 24 Rusinowitch, Michaël 24 Szántó, Ágnes 24 Wilson, Robert Arnott 23 Guo, Li 23 Jeronimo, Gabriela 23 Kaltofen, Erich L. 23 Kemper, Gregor 23 Lecerf, Grégoire 23 Leedham-Green, Charles R. 23 Potočnik, Primož 23 Shen, Liyong 23 Song, Yisheng 22 Craciun, Gheorghe 22 Goldman, Ronald N. 22 Hong, Hoon 22 Key, Jennifer D. 22 Kutnar, Klavdija 22 Marušič, Dragan 22 Mora, Teo 22 Tajima, Shinichi 22 Voight, John Michael 21 Chu, Wenchang 21 Gonzalez-Vega, Laureano 21 Hu, ShengLong 21 Labahn, George ...and 14,645 more Authors all top 5 Cited in 878 Journals 1,411 Journal of Symbolic Computation 654 Journal of Algebra 425 Theoretical Computer Science 314 Mathematics of Computation 299 Journal of Pure and Applied Algebra 268 Linear Algebra and its Applications 212 Communications in Algebra 203 Journal of Number Theory 191 Discrete Mathematics 190 Applicable Algebra in Engineering, Communication and Computing 169 Journal of Automated Reasoning 168 Designs, Codes and Cryptography 167 Journal of Computational and Applied Mathematics 167 Computer Aided Geometric Design 162 Finite Fields and their Applications 158 Transactions of the American Mathematical Society 149 Applied Mathematics and Computation 129 Proceedings of the American Mathematical Society 122 Mathematics in Computer Science 120 Information and Computation 114 Discrete Applied Mathematics 114 Advances in Applied Mathematics 114 International Journal of Algebra and Computation 110 Journal of Algebra and its Applications 108 Experimental Mathematics 107 Advances in Mathematics 106 Information Processing Letters 104 Journal of Algebraic Combinatorics 102 Discrete & Computational Geometry 101 LMS Journal of Computation and Mathematics 100 International Journal of Number Theory 91 Journal of Combinatorial Theory. Series A 89 Linear and Multilinear Algebra 87 Journal of Complexity 86 The Electronic Journal of Combinatorics 85 Journal of Systems Science and Complexity 82 Journal of Mathematical Physics 74 European Journal of Combinatorics 74 Journal de Théorie des Nombres de Bordeaux 71 Journal of High Energy Physics 70 Foundations of Computational Mathematics 68 Programming and Computer Software 64 Annals of Mathematics and Artificial Intelligence 63 Mathematische Zeitschrift 62 Computers & Mathematics with Applications 61 Journal of Mathematical Analysis and Applications 61 Journal of Mathematical Sciences (New York) 59 Frontiers of Mathematics in China 58 Advances in Mathematics of Communications 54 The Ramanujan Journal 54 SIAM Journal on Applied Algebra and Geometry 53 Artificial Intelligence 50 Algorithmica 47 Journal of Group Theory 46 Mathematics and Computers in Simulation 45 Journal of Computer and System Sciences 44 Computational Geometry 44 Research in Number Theory 43 Journal of Combinatorial Theory. Series B 43 Computational Complexity 43 Cryptography and Communications 42 Archiv der Mathematik 41 International Journal of Bifurcation and Chaos in Applied Sciences and Engineering 40 Science China. Mathematics 39 Graphs and Combinatorics 38 Bulletin of the Australian Mathematical Society 38 Mathematical Programming. Series A. Series B 38 Computational and Applied Mathematics 37 Israel Journal of Mathematics 37 Acta Arithmetica 36 Mathematische Annalen 36 Numerical Algorithms 35 Rocky Mountain Journal of Mathematics 33 Annales de l’Institut Fourier 33 Journal of Optimization Theory and Applications 32 Semigroup Forum 32 SIAM Journal on Matrix Analysis and Applications 31 SIAM Journal on Discrete Mathematics 31 International Journal of Computer Mathematics 30 Automatica 30 Acta Applicandae Mathematicae 30 Journal of Difference Equations and Applications 30 Transformation Groups 30 Journal of Industrial and Management Optimization 29 Annals of Pure and Applied Logic 29 Applied Mathematics Letters 29 Journal of the American Mathematical Society 29 Journal of Commutative Algebra 28 Computer Physics Communications 28 Monatshefte für Mathematik 28 International Journal of Computational Geometry & Applications 27 Collectanea Mathematica 27 Journal of Differential Equations 27 MSCS. Mathematical Structures in Computer Science 27 Mediterranean Journal of Mathematics 26 Annals of Combinatorics 26 Algebra & Number Theory 26 Ars Mathematica Contemporanea 25 Mathematical Proceedings of the Cambridge Philosophical Society 25 Bulletin of Mathematical Biology ...and 778 more Journals all top 5 Cited in 63 Fields 4,657 Computer science (68-XX) 2,504 Algebraic geometry (14-XX) 2,350 Number theory (11-XX) 2,190 Commutative algebra (13-XX) 1,941 Combinatorics (05-XX) 1,763 Group theory and generalizations (20-XX) 1,622 Numerical analysis (65-XX) 1,174 Linear and multilinear algebra; matrix theory (15-XX) 941 Information and communication theory, circuits (94-XX) 924 Field theory and polynomials (12-XX) 884 Mathematical logic and foundations (03-XX) 660 Ordinary differential equations (34-XX) 639 Associative rings and algebras (16-XX) 540 Operations research, mathematical programming (90-XX) 437 Special functions (33-XX) 387 Convex and discrete geometry (52-XX) 368 Dynamical systems and ergodic theory (37-XX) 328 Quantum theory (81-XX) 319 Partial differential equations (35-XX) 281 Geometry (51-XX) 279 Nonassociative rings and algebras (17-XX) 257 Biology and other natural sciences (92-XX) 229 Several complex variables and analytic spaces (32-XX) 220 Systems theory; control (93-XX) 210 Statistics (62-XX) 188 Manifolds and cell complexes (57-XX) 176 Functions of a complex variable (30-XX) 167 Differential geometry (53-XX) 159 Probability theory and stochastic processes (60-XX) 156 Real functions (26-XX) 149 Mechanics of particles and systems (70-XX) 133 Difference and functional equations (39-XX) 132 Approximations and expansions (41-XX) 129 Order, lattices, ordered algebraic structures (06-XX) 129 Algebraic topology (55-XX) 115 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 106 Operator theory (47-XX) 104 Category theory; homological algebra (18-XX) 82 General algebraic systems (08-XX) 80 Mechanics of deformable solids (74-XX) 80 Fluid mechanics (76-XX) 76 Topological groups, Lie groups (22-XX) 75 Global analysis, analysis on manifolds (58-XX) 49 Statistical mechanics, structure of matter (82-XX) 46 Harmonic analysis on Euclidean spaces (42-XX) 44 Relativity and gravitational theory (83-XX) 42 Functional analysis (46-XX) 40 History and biography (01-XX) 38 General and overarching topics; collections (00-XX) 38 Calculus of variations and optimal control; optimization (49-XX) 31 Classical thermodynamics, heat transfer (80-XX) 24 Integral transforms, operational calculus (44-XX) 23 \(K\)-theory (19-XX) 18 Sequences, series, summability (40-XX) 15 Mathematics education (97-XX) 14 Optics, electromagnetic theory (78-XX) 12 Integral equations (45-XX) 11 Abstract harmonic analysis (43-XX) 9 General topology (54-XX) 9 Geophysics (86-XX) 7 Measure and integration (28-XX) 3 Potential theory (31-XX) 2 Astronomy and astrophysics (85-XX) Citations by Year