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,645 Publications (since 1985) References Indexed: 2,086 Publications with 51,230 References. all top 5 Latest Issues 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) 45, No. 11 (2010) 45, No. 10 (2010) 45, No. 9 (2010) 45, No. 8 (2010) 45, No. 7 (2010) 45, No. 6 (2010) 45, No. 5 (2010) 45, No. 4 (2010) 45, No. 3 (2010) 45, No. 2 (2010) ...and 226 more Volumes all top 5 Authors 28 Hong, Hoon 21 Schicho, Josef 21 Sendra, Juan Rafael 19 Mourrain, Bernard 19 van der Hoeven, Joris 17 Holt, Derek F. 17 Schost, Éric 16 Cannon, John J. 16 Faugère, Jean-Charles 16 Gao, Xiaoshan 16 Giesbrecht, Mark W. 16 Kaltofen, Erich L. 16 Kapur, Deepak 15 Lazard, Daniel 15 Moreno Maza, Marc 15 Safey El Din, Mohab 14 Emiris, Ioannis Z. 14 Salvy, Bruno 14 Sturmfels, Bernd 14 von zur Gathen, Joachim 13 Barkatou, Moulay A. 12 Collins, George E. 12 Davenport, James Harold 12 McCallum, Scott 12 Winkler, Franz 11 Abramov, Sergeĭ Aleksandrovich 11 Farouki, Rida T. 11 Labahn, George 11 Levandovskyy, Viktor 11 Singer, Michael F. 11 Szántó, Ágnes 11 van Hoeij, Mark 11 Wang, Dongming 10 de Graaf, Willem Adriaan 10 Eick, Bettina 10 Galligo, André 10 Gianni, Patrizia M. 10 Kauers, Manuel 10 Petkovšek, Marko 10 Tsigaridas, Elias P. 10 Weispfenning, Volker 9 Gutierrez, Jaime 9 Klüners, Jürgen 9 Koepf, Wolfram A. 9 Mignotte, Maurice 9 Pohst, Michael E. 9 Robbiano, Lorenzo 9 Roy, Marie-Françoise 9 Schmidt-Schauß, Manfred 9 Ulmer, Felix 9 Xia, Bican 9 Yokoyama, Kazuhiro 9 Zhi, Lihong 8 Abbott, John A. 8 Gonzalez-Vega, Laureano 8 Hashemi, Amir 8 Hubert, Evelyne 8 Kalkbrener, Michael 8 Otto, Friedrich 8 Storjohann, Arne 8 Trager, Barry M. 7 Alcazar, Juan Gerardo 7 Busé, Laurent 7 Chen, Shaoshi 7 D’Andrea, Carlos 7 Fortuna, Elisabetta 7 Gaál, István 7 Gatermann, Karin 7 Gerdt, Vladimir P. 7 Grigor’ev, Dmitriĭ Yur’evich 7 Hauenstein, Jonathan D. 7 Jebelean, Tudor 7 Jeronimo, Gabriela 7 Kutsia, Temur 7 La Scala, Roberto 7 Monagan, Michael B. 7 Mora, Teo 7 Noro, Masayuki 7 Recio, Tomas 7 Rouillier, Fabrice 7 Rusinowitch, Michaël 7 Stillman, Michael Eugene 7 Strzeboński, Adam Wojciech 7 Villard, Gilles 7 Zeilberger, Doron 6 Bonacina, Maria Paola 6 Bronstein, Manuel Eric 6 Brown, Christopher W. 6 Dickenstein, Alicia M. 6 El Kahoui, M’hammed 6 Feng, Ruyong 6 Hou, Qinghu 6 Kemper, Gregor 6 Koiran, Pascal 6 Leykin, Anton 6 Oaku, Toshinori 6 Pan, Victor Yakovlevich 6 Pfister, Gerhard 6 Sagraloff, Michael 6 Sakkalis, Takis ...and 2,820 more Authors all top 5 Fields 1,631 Computer science (68-XX) 684 Commutative algebra (13-XX) 432 Algebraic geometry (14-XX) 321 Numerical analysis (65-XX) 304 Field theory and polynomials (12-XX) 283 Number theory (11-XX) 240 Group theory and generalizations (20-XX) 155 Mathematical logic and foundations (03-XX) 120 Combinatorics (05-XX) 114 Associative rings and algebras (16-XX) 112 Ordinary differential equations (34-XX) 80 Information and communication theory, circuits (94-XX) 79 Special functions (33-XX) 77 Linear and multilinear algebra; matrix theory (15-XX) 59 General and overarching topics; collections (00-XX) 50 Partial differential equations (35-XX) 46 Nonassociative rings and algebras (17-XX) 45 Functions of a complex variable (30-XX) 39 Several complex variables and analytic spaces (32-XX) 38 Real functions (26-XX) 35 Operations research, mathematical programming (90-XX) 31 Convex and discrete geometry (52-XX) 28 Differential geometry (53-XX) 27 Dynamical systems and ergodic theory (37-XX) 27 Geometry (51-XX) 25 Difference and functional equations (39-XX) 23 Category theory; homological algebra (18-XX) 20 Manifolds and cell complexes (57-XX) 20 Mechanics of particles and systems (70-XX) 19 Algebraic topology (55-XX) 19 Mechanics of deformable solids (74-XX) 18 Approximations and expansions (41-XX) 17 Global analysis, analysis on manifolds (58-XX) 17 Statistics (62-XX) 17 Biology and other natural sciences (92-XX) 16 General algebraic systems (08-XX) 16 Systems theory; control (93-XX) 13 Order, lattices, ordered algebraic structures (06-XX) 13 Quantum theory (81-XX) 11 Probability theory and stochastic processes (60-XX) 10 History and biography (01-XX) 10 Topological groups, Lie groups (22-XX) 9 Fluid mechanics (76-XX) 8 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 5 Harmonic analysis on Euclidean spaces (42-XX) 5 Optics, electromagnetic theory (78-XX) 4 Operator theory (47-XX) 4 Classical thermodynamics, heat transfer (80-XX) 4 Mathematics education (97-XX) 3 \(K\)-theory (19-XX) 3 Sequences, series, summability (40-XX) 3 Abstract harmonic analysis (43-XX) 2 Functional analysis (46-XX) 2 Relativity and gravitational theory (83-XX) 1 Integral transforms, operational calculus (44-XX) 1 Integral equations (45-XX) 1 Calculus of variations and optimal control; optimization (49-XX) 1 Statistical mechanics, structure of matter (82-XX) 1 Astronomy and astrophysics (85-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 2,124 Publications have been cited 21,400 times in 13,046 Documents Cited by ▼ Year ▼ The Magma algebra system. I: The user language. Zbl 0898.68039Bosma, Wieb; Cannon, John; Playoust, Catherine 2,243 1997 Eigenvalues of a real supersymmetric tensor. Zbl 1125.15014Qi, Liqun 559 2005 Matrix multiplication via arithmetic progressions. Zbl 0702.65046Coppersmith, Don; Winograd, Shmuel 384 1990 Practical graph isomorphism. II. Zbl 1394.05079McKay, Brendan D.; Piperno, Adolfo 162 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. 161 1993 Gröbner bases and primary decomposition of polynomial ideals. Zbl 0667.13008Gianni, Patrizia; Trager, Barry; Zacharias, Gail 157 1988 An algorithm for solving second order linear homogeneous differential equations. Zbl 0603.68035Kovacic, Jerald J. 143 1986 Termination of rewriting. Zbl 0637.68035Dershowitz, Nachum 135 1987 The method of creative telescoping. Zbl 0738.33002Zeilberger, Doron 126 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 108 2006 Partial cylindrical algebraic decomposition for quantifier elimination. Zbl 0754.68063Collins, George E.; Hong, Hoon 102 1991 Non-commutative Gröbner bases in algebras of solvable type. Zbl 0715.16010Kandri-Rody, A.; Weispfenning, Volker 96 1990 KANT V4. Zbl 0886.11070Daberkow, M.; Fieker, C.; Klüners, J.; Pohst, M.; Roegner, K.; Schörnig, M.; Wildanger, K. 91 1997 Cylindrical algebraic decomposition using validated numerics. Zbl 1124.68123Strzeboński, Adam W. 90 2006 Solving systems of polynomial inequalities in subexponential time. Zbl 0662.12001Grigor’ev, D. Yu.; Vorobjov, N. N. jun. 85 1988 A structure-preserving clause form translation. Zbl 0636.68119Plaisted, David A.; Greenbaum, Steven 84 1986 On the computational complexity and geometry of the first-order theory of the reals. III: Quantifier elimination. Zbl 0798.68073Renegar, James 78 1992 The Gröbner fan of an ideal. Zbl 0668.13017Mora, Teo; Robbiano, Lorenzo 78 1988 On the theories of triangular sets. Zbl 0943.12003Aubry, Philippe; Lazard, Daniel; Moreno Maza, Marc 76 1999 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 75 1992 Hypergeometric solutions of linear recurrences with polynomial coefficients. Zbl 0761.11008Petkovšek, Marko 72 1992 On determinants and eigenvalue theory of tensors. Zbl 1259.15038Hu, Shenglong; Huang, Zheng-Hai; Ling, Chen; Qi, Liqun 72 2013 Toric dynamical systems. Zbl 1188.37082Craciun, Gheorghe; Dickenstein, Alicia; Shiu, Anne; Sturmfels, Bernd 71 2009 Comprehensive Gröbner bases. Zbl 0784.13013Weispfenning, Volker 70 1992 Computing symmetric rank for symmetric tensors. Zbl 1211.14057Bernardi, Alessandra; Gimigliano, Alessandro; Idà, Monica 65 2011 Computing tropical varieties. Zbl 1121.14051Bogart, T.; Jensen, A. N.; Speyer, D.; Sturmfels, B.; Thomas, R. R. 65 2007 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. 64 2004 Real quantifier elimination is doubly exponential. Zbl 0663.03015Davenport, James H.; Heintz, Joos 64 1988 Non-commutative elimination in Ore algebras proves multivariate identities. Zbl 0944.05006Chyzak, Frédéric; Salvy, Bruno 62 1998 Rational invariants of a group action. Construction and rewriting. Zbl 1121.13010Hubert, Evelyne; Kogan, Irina A. 61 2007 Coding with skew polynomial rings. Zbl 1174.94025Boucher, Delphine; Ulmer, Felix 58 2009 The complexity of linear problems in fields. Zbl 0646.03005Weispfenning, Volker 57 1988 Differential invariants of a Lie group action: syzygies on a generating set. Zbl 1176.12004Hubert, Evelyne 56 2009 Complexity of deciding Tarski algebra. Zbl 0689.03021Grigor’ev, D. Yu. 52 1988 Univariate polynomials: Nearly optimal algorithms for numerical factorization and root-finding. Zbl 1004.65061Pan, Victor Y. 52 2002 A generalized Euclidean algorithm for computing triangular representations of algebraic varieties. Zbl 0783.14039Kalkbrener, Michael 51 1993 Effective lattice point counting in rational convex polytopes. Zbl 1137.52303De Loera, Jesús A.; Hemmecke, Raymond; Tauzer, Jeremiah; Yoshida, Ruriko 51 2005 On an installation of Buchberger’s algorithm. Zbl 0675.13013Gebauer, Rüdiger; Möller, H. Michael 51 1988 Converting bases with the Gröbner walk. Zbl 0908.13020Collart, S.; Kalkbrener, M.; Mall, D. 49 1997 A Mathematica version of Zeilberger’s algorithm for proving binomial coefficient identities. Zbl 0851.68052Paule, Peter; Schorn, Markus 49 1995 Recent advances on determining the number of real roots of parametric polynomials. Zbl 0957.65041Yang, Lu 49 1999 Equational problems and disunification. Zbl 0678.68093Comon, Hubert; Lescanne, Pierre 49 1989 Eigenvectors of tensors and algorithms for Waring decomposition. Zbl 1277.15019Oeding, Luke; Ottaviani, Giorgio 48 2013 Unification theory. Zbl 0678.68098Siekmann, Jörg H. 48 1989 Parametric generalized offsets to hypersurfaces. Zbl 0878.68134Arrondo, Enrique; Sendra, Juana; Sendra, J. Rafael 47 1997 Symbolic computations of conserved densities for systems of nonlinear evolution equations. Zbl 0891.65129Göktaş, Ünal; Hereman, Willy 47 1997 Efficient incremental algorithms for the sparse resultant and the mixed volume. Zbl 0843.68036Emiris, Ioannis Z.; Canny, John F. 47 1995 Algebraic geometry of Bayesian networks. Zbl 1126.68102Garcia, Luis David; Stillman, Michael; Sturmfels, Bernd 47 2005 On the complexity of computing syzygies. Zbl 0667.68053Bayer, David; Stillman, Michael 46 1988 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. 45 1988 Computing Riemann-Roch spaces in algebraic function fields and related topics. Zbl 1058.14071Hess, F. 45 2002 Galois groups of second and third order linear differential equations. Zbl 0802.12004Singer, Michael F.; Ulmer, Felix 44 1993 On the application of Buchberger’s algorithm to automated geometry theorem proving. Zbl 0629.68086Kutzler, B.; Stifter, S. 44 1986 Calculating invariant rings of finite groups over arbitrary fields. Zbl 0889.13004Kemper, Gregor 43 1996 Rank and eigenvalues of a supersymmetric tensor, the multivariate homogeneous polynomial and the algebraic hypersurface it defines. Zbl 1121.14050Qi, Liqun 43 2006 Factorization-free decomposition algorithms in differential algebra. Zbl 0984.12004Hubert, Evelyne 42 2000 Rational parametrization of surfaces. Zbl 0924.14027Schicho, Josef 42 1998 On the theory of graded structures. Zbl 0609.13007Robbiano, Lorenzo 42 1986 Introduction to the GiNaC framework for symbolic computation within the \(\text{C}^{++}\) programming language. Zbl 1017.68163Bauer, Christian; Frink, Alexander; Kreckel, Richard 42 2002 The \(p\)-group generation algorithm. Zbl 0736.20001O’Brien, E. A. 41 1990 Localization and primary decomposition of polynomial ideals. Zbl 0874.13022Shimoyama, Takeshi; Yokoyama, Kazuhiro 41 1996 Solving zero-dimensional algebraic systems. Zbl 0753.13012Lazard, D. 39 1992 On the validity of implicitization by moving quadrics for rational surfaces with no base points. Zbl 0959.68124Cox, David; Goldman, Ronald; Zhang, Ming 38 2000 Solving parametric polynomial systems. Zbl 1156.14044Lazard, Daniel; Rouillier, Fabrice 38 2007 Solving difference equations in finite terms. Zbl 0930.39004Hendriks, Peter A.; Singer, Michael F. 38 1999 Symbolic parametrization of curves. Zbl 0759.14044Sendra, J. Rafael; Winkler, Franz 37 1991 A database of local fields. Zbl 1140.11350Jones, John W.; Roberts, David P. 37 2006 A new algorithm for discussing Gröbner bases with parameters. Zbl 1068.13016Montes, Antonio 37 2002 Factorization of differential operators with rational functions coefficients. Zbl 0886.68082van Hoeij, Mark 36 1997 Termination of term rewriting: Interpretation and type elimination. Zbl 0810.68087Zantema, H. 36 1994 Fast construction of irreducible polynomials over finite fields. Zbl 0815.11059Shoup, Victor 36 1994 Computation of Hilbert functions. Zbl 0763.13007Bayer, Dave; Stillman, Mike 35 1992 Relax, but don’t be too lazy. Zbl 1011.68189van der Hoeven, Joris 35 2002 Modular algorithms for computing Gröbner bases. Zbl 1046.13018Arnold, Elizabeth A. 35 2003 An algorithm of Katz and its application to the inverse Galois problem. Zbl 1049.12005Dettweiler, Michael; Reiter, Stefan 35 2000 Computing singular points of plane rational curves. Zbl 1130.14039Chen, Falai; Wang, Wenping; Liu, Yang 35 2008 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 34 1991 Computing isometries of lattices. Zbl 0882.11042Plesken, W.; Souvignier, B. 34 1997 Computing triangular systems and regular systems. Zbl 1007.65039Wang, Dongming 34 2000 Thue systems as rewriting systems. Zbl 0638.68091Book, Ronald V. 34 1987 Parametrization of algebraic curves over optimal field extensions. Zbl 0878.68072Sendra, J. Rafael; Winkler, Franz 33 1997 The \(\mu \)-basis and implicitization of a rational parametric surface. Zbl 1120.14054Chen, Falai; Cox, David; Liu, Yang 33 2005 Interpolating polynomials from their values. Zbl 0702.65011Zippel, Richard 33 1990 Implicitizing rational curves by the method of moving algebraic curves. Zbl 0872.68193Sederberg, Tom; Goldman, Ron; Du, Hang 32 1997 Peakword condensation and submodule lattices: An application of the Meat- Axe. Zbl 0828.16001Lux, Klaus; Müller, Jürgen; Ringe, Michael 32 1994 Greatest factorial factorization and symbolic summation. Zbl 0854.68047Paule, Peter 32 1995 Computing rational parametrizations of canal surfaces. Zbl 0877.68116Peternell, Martin; Pottmann, Helmut 31 1997 Properties of substitutions and unifications. Zbl 0589.68063Eder, Elmar 31 1985 Matrices in elimination theory. Zbl 0943.13005Emiris, Ioannis Z.; Mourrain, Bernard 31 1999 Sylvester-Habicht sequences and fast Cauchy index computation. Zbl 0976.65043Lickteig, Thomas; Roy, Marie-Françoise 31 2001 Using Gröbner bases to determine algebra membership, split surjective algebra homomorphisms determine birational equivalence. Zbl 0681.68052Shannon, David; Sweedler, Moss 31 1988 Improved projection for cylindrical algebraic decomposition. Zbl 0981.68186Brown, Christopher W. 31 2001 Solving and factoring boundary problems for linear ordinary differential equations in differential algebras. Zbl 1151.34008Rosenkranz, Markus; Regensburger, Georg 31 2008 The method of differentiating under the integral sign. Zbl 0717.33004Almkvist, Gert; Zeilberger, Doron 31 1990 Rational parametrizations of algebraic curves using a canonical divisor. Zbl 0878.68073van Hoeij, Mark 30 1997 Quartic curves and their bitangents. Zbl 1214.14049Plaumann, Daniel; Sturmfels, Bernd; Vinzant, Cynthia 30 2011 Index calculus for abelian varieties of small dimension and the elliptic curve discrete logarithm problem. Zbl 1177.94148Gaudry, Pierrick 30 2009 Using Gröbner bases to reason about geometry problems. Zbl 0629.68087Kapur, Deepak 30 1986 Symbolic reachability computation for families of linear vector fields. Zbl 0983.93004Lafferriere, Gerardo; Pappas, George J.; Yovine, Sergio 30 2001 Liouvillian solutions of linear differential equations with Liouvillian coefficients. Zbl 0776.12002Singer, Michael F. 29 1991 Solving determinantal systems using homotopy techniques. Zbl 1461.13034Hauenstein, Jon D.; Safey El Din, Mohab; Schost, Éric; Vu, Thi Xuan 3 2021 Cyclic distances of idempotent convolutional codes. Zbl 07249896Gómez-Torrecillas, José; Lobillo, F. J.; Navarro, Gabriel 2 2021 Polynomial reduction and supercongruences. Zbl 07274358Hou, Qing-Hu; Mu, Yan-Ping; Zeilberger, Doron 2 2021 Coisotropic hypersurfaces in Grassmannians. Zbl 07274360Kohn, Kathlén 2 2021 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 2 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 1 2021 Computing real radicals and \(S\)-radicals of polynomial systems. Zbl 1448.14061Safey El Din, Mohab; Yang, Zhi-Hong; Zhi, Lihong 1 2021 Computing nearby non-trivial Smith forms. Zbl 1452.65084Giesbrecht, Mark; Haraldson, Joseph; Labahn, George 1 2021 Lexicographic and reverse lexicographic quadratic Gröbner bases of cut ideals. Zbl 1457.13051Sakamoto, Ryuichi 1 2021 A constructive method for decomposing real representations. Zbl 07312483Ali, Sajid; Azad, Hassan; Biswas, Indranil; de Graaf, Willem A. 1 2021 Standard monomial theory and toric degenerations of Schubert varieties from matching field tableaux. Zbl 1467.14116Clarke, Oliver; Mohammadi, Fatemeh 1 2021 Efficiently factoring polynomials modulo \(p^4\). Zbl 1465.13022Dwivedi, Ashish; Mittal, Rajat; Saxena, Nitin 1 2021 Symbolic analysis of multiple steady states in a MAPK chemical reaction network. Zbl 1457.92062Lichtblau, Daniel 1 2021 Construction of free differential algebras by extending Gröbner-Shirshov bases. Zbl 1462.13027Li, Yunnan; Guo, Li 1 2021 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 4 2020 Explicit formulas of Euler sums via multiple zeta values. Zbl 1459.11173Xu, Ce; Wang, Weiping 4 2020 Lifting tropical bitangents. Zbl 07074721Len, Yoav; Markwig, Hannah 3 2020 Effective Buchberger-Zacharias-Weispfenning theory of skew polynomial extensions of subbilateral coherent rings. Zbl 07151944Nguefack, Bertrand; Pola, Emmanuel 3 2020 A census of small transitive groups and vertex-transitive graphs. Zbl 07211783Holt, Derek; Royle, Gordon 3 2020 Ranks and symmetric ranks of cubic surfaces. Zbl 1444.14091Seigal, Anna 3 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 2 2020 An automated study of isoptic curves of an astroid. Zbl 1444.68302Dana-Picard, Thierry 2 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 2 2020 Fast computation of approximant bases in canonical form. Zbl 1450.65040Jeannerod, Claude-Pierre; Neiger, Vincent; Villard, Gilles 2 2020 Editorial: Symbolic computation and satisfiability checking. Zbl 1444.68006Davenport, James H.; England, Matthew; Griggio, Alberto; Sturm, Thomas; Tinelli, Cesare 2 2020 Taxonomies of geometric problems. Zbl 1444.68292Quaresma, Pedro; Santos, Vanda; Graziani, Pierluigi; Baeta, Nuno 1 2020 Non-standard analysis in dynamic geometry. Zbl 1444.68278Strobel, Michael 1 2020 Constructive arithmetics in Ore localizations of domains. Zbl 1441.16029Hoffmann, Johannes; Levandovskyy, Viktor 1 2020 Computing lower rank approximations of matrix polynomials. Zbl 1445.65015Giesbrecht, Mark; Haraldson, Joseph; Labahn, George 1 2020 Fast Hermite interpolation and evaluation over finite fields of characteristic two. Zbl 1444.68301Coxon, Nicholas 1 2020 On types of degenerate critical points of real polynomial functions. Zbl 1451.13079Guo, Feng; Phạm, Ti’ên-Son 1 2020 Equations defining probability tree models. Zbl 1451.13086Duarte, Eliana; Görgen, Christiane 1 2020 Zacharias representation of effective associative rings. Zbl 1445.16044Mora, Teo 1 2020 On the complexity of exact counting of dynamically irreducible polynomials. Zbl 07151949Gómez-Pérez, Domingo; Mérai, László; Shparlinski, Igor E. 1 2020 Fully incremental cylindrical algebraic decomposition. Zbl 1432.68601Kremer, Gereon; Ábrahám, Erika 1 2020 Cylindrical algebraic decomposition with equational constraints. Zbl 1432.68599England, Matthew; Bradford, Russell; Davenport, James H. 1 2020 Computing and using minimal polynomials. Zbl 07181621Abbott, John; Bigatti, Anna Maria; Palezzato, Elisa; Robbiano, Lorenzo 1 2020 The complexity of subdivision for diameter-distance tests. Zbl 1444.68274Burr, Michael; Gao, Shuhong; Tsigaridas, Elias 1 2020 Separation bounds for polynomial systems. Zbl 1446.68202Emiris, Ioannis; Mourrain, Bernard; Tsigaridas, Elias 1 2020 Normal bases from 1-dimensional algebraic groups. Zbl 1462.11111Ezome, Tony; Sall, Mohamadou 1 2020 Homogeneous Einstein metrics on Stiefel manifolds associated to flag manifolds with two isotropy summands. Zbl 1455.53071Arvanitoyeorgos, Andreas; Sakane, Yusuke; Statha, Marina 1 2020 On the solutions of holonomic third-order linear irreducible differential equations in terms of hypergeometric functions. Zbl 1454.34005Mouafo Wouodjié, Merlin; Koepf, Wolfram 1 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 1 2020 Semi-automated proof of supercongruences on partial sums of hypergeometric series. Zbl 1418.68248Liu, Ji-Cai 13 2019 Formalization of the arithmetization of Euclidean plane geometry and applications. Zbl 1394.68349Boutry, Pierre; Braun, Gabriel; Narboux, Julien 7 2019 Factorization of motion polynomials. Zbl 1411.16043Li, Zijia; Schicho, Josef; Schröcker, Hans-Peter 6 2019 On the complexity of the Lickteig-Roy subresultant algorithm. Zbl 1409.13051Lecerf, Grégoire 6 2019 Existence of Pythagorean-hodograph quintic interpolants to spatial \(G^1\) Hermite data with prescribed arc lengths. Zbl 1432.65024Farouki, Rida T. 5 2019 On the postulation of lines and a fat line. Zbl 1403.14018Bauer, Thomas; Di Rocco, Sandra; Schmitz, David; Szemberg, Tomasz; Szpond, Justyna 4 2019 Bar code for monomial ideals. Zbl 1423.13104Ceria, Michela 4 2019 An approach to constrained polynomial optimization via nonnegative circuit polynomials and geometric programming. Zbl 1411.12003Dressler, Mareike; Iliman, Sadik; de Wolff, Timo 4 2019 Apparent singularities of D-finite systems. Zbl 1427.13036Chen, Shaoshi; Kauers, Manuel; Li, Ziming; Zhang, Yi 4 2019 Validity proof of Lazard’s method for CAD construction. Zbl 1419.14084McCallum, Scott; Parusiński, Adam; Paunescu, Laurentiu 3 2019 Effective computation of base points of ideals in two-dimensional local rings. Zbl 1414.32014Alberich-Carramiñana, Maria; Montaner, Josep Àlvarez; Blanco, Guillem 3 2019 The maximum likelihood degree of toric varieties. Zbl 1409.14082Améndola, Carlos; Bliss, Nathan; Burke, Isaac; Gibbons, Courtney R.; Helmer, Martin; Hoşten, Serkan; Nash, Evan D.; Rodriguez, Jose Israel; Smolkin, Daniel 3 2019 The Bordiga surface as critical locus for 3-view reconstructions. Zbl 1403.14070Bertolini, Marina; Notari, Roberto; Turrini, Cristina 3 2019 Algorithms for tight spans and tropical linear spaces. Zbl 06970119Hampe, Simon; Joswig, Michael; Schröter, Benjamin 3 2019 Fast systematic encoding of multiplicity codes. Zbl 1436.94122Coxon, Nicholas 3 2019 The irreducible characters of the Sylow \(p\)-subgroups of the Chevalley groups \(\mathrm{D}_{6}(p^f)\) and \(\mathrm{E}_{6}(p^f)\). Zbl 1453.20025Le, Tung; Magaard, Kay; Paolini, Alessandro 3 2019 Proof of the BMR conjecture for \(G_{20}\) and \(G_{21}\). Zbl 06997071Marin, Ivan 2 2019 New refiners for permutation group search. Zbl 06997076Jefferson, Christopher; Pfeiffer, Markus; Waldecker, Rebecca 2 2019 Computing finite semigroups. Zbl 06997078East, James; Egri-Nagy, Attila; Mitchell, James D.; Péresse, Yann 2 2019 Computing the monodromy and pole order filtration on Milnor fiber cohomology of plane curves. Zbl 1416.32014Dimca, Alexandru; Sticlaru, Gabriel 2 2019 Imaginary projections of polynomials. Zbl 1408.14185Jörgens, Thorsten; Theobald, Thorsten; de Wolff, Timo 2 2019 An equivalence theorem for regular differential chains. Zbl 1422.13023Boulier, François; Lemaire, François; Poteaux, Adrien; Moreno Maza, Marc 2 2019 An algorithm for computing Schur indices of characters. Zbl 1453.20014Unger, W. R. 2 2019 The fiber cone of a monomial ideal in two variables. Zbl 1430.13047Herzog, Jürgen; Qureshi, Ayesha Asloob; Saem, Maryam Mohammadi 2 2019 A computable extension for D-finite functions: DD-finite functions. Zbl 1427.13034Jiménez-Pastor, Antonio; Pillwein, Veronika 2 2019 A general framework for Noetherian well ordered polynomial reductions. Zbl 1430.13043Ceria, Michela; Mora, Teo; Roggero, Margherita 2 2019 Univariate real root isolation in an extension field and applications. Zbl 1408.68148Strzebonski, Adam; Tsigaridas, Elias 1 2019 Computing the bound of an Ore polynomial. Applications to factorization. Zbl 1461.16030Gómez-Torrecillas, José; Lobillo, F. J.; Navarro, Gabriel 1 2019 Ideals of the form \(I_{1}(XY)\). Zbl 1422.13026Saha, Joydip; Sengupta, Indranath; Tripathi, Gaurab 1 2019 The tropical analogue of the Helton-Nie conjecture is true. Zbl 06970120Allamigeon, Xavier; Gaubert, Stéphane; Skomra, Mateusz 1 2019 Waring decompositions and identifiability via Bertini and Macaulay2 software. Zbl 1403.14087Angelini, Elena 1 2019 Mechanical synthesis of sorting algorithms for binary trees by logic and combinatorial techniques. Zbl 1395.68246Drămnesc, Isabela; Jebelean, Tudor; Stratulat, Sorin 1 2019 Nominal unification with atom-variables. Zbl 1395.68096Schmidt-Schauß, Manfred; Sabel, David; Kutz, Yunus D. K. 1 2019 Aligning concepts across proof assistant libraries. Zbl 1395.68247Gauthier, Thibault; Kaliszyk, Cezary 1 2019 Using jointly geometry and algebra to determine RC-constructibility. Zbl 1395.68352Schreck, Pascal; Mathis, Pascal 1 2019 Asymptotic \(r\)-log-convexity and P-recursive sequences. Zbl 1419.05021Hou, Qing-Hu; Zhang, Zuo-Ru 1 2019 Symmetric polynomials in tropical algebra semirings. Zbl 1419.16032Kališnik, Sara; Lešnik, Davorin 1 2019 Computation of graded ideals with given extremal Betti numbers in a polynomial ring. Zbl 1441.13023Amata, Luca; Crupi, Marilena 1 2019 Proof of the Wilf-Zeilberger conjecture for mixed hypergeometric terms. Zbl 1423.33025Chen, Shaoshi; Koutschan, Christoph 1 2019 The complexity of computing all subfields of an algebraic number field. Zbl 1419.11143Szutkoski, Jonas; van Hoeij, Mark 1 2019 Algorithms for weighted sum of squares decomposition of non-negative univariate polynomials. Zbl 1420.13058Magron, Victor; Safey El Din, Mohab; Schweighofer, Markus 1 2019 The limit point and the T-function. Zbl 1430.14110Blasco, Angel; Pérez-Díaz, Sonia 1 2019 Quadratic 2-step Lie algebras: computational algorithms and classification. Zbl 1423.68613Benito, Pilar; de-la-Concepción, Daniel; Roldán-López, Jorge; Sesma, Iciar 1 2019 Functors of liftings of projective schemes. Zbl 1440.14235Bertone, Cristina; Cioffi, Francesca; Franco, Davide 1 2019 Formal solutions of singularly-perturbed linear differential systems. Zbl 1433.34078Barkatou, Moulay A.; Maddah, Suzy S. 1 2019 An algorithm for providing the normal forms of spatial quasi-homogeneous polynomial differential systems. Zbl 1428.34049García, Belén; Llibre, Jaume; Lombardero, Antón; Pérez del Río, Jesús S. 1 2019 The use of permutation representations in structural computations in large finite matrix groups. Zbl 1453.20001Cannon, John J.; Holt, Derek F.; Unger, William R. 1 2019 Invariant algebraic sets and symmetrization of polynomial systems. Zbl 1433.13004Hubert, Evelyne 1 2019 On the prime graph question for integral group rings of Conway simple groups. Zbl 1425.16018Margolis, Leo 1 2019 Projective and affine symmetries and equivalences of rational curves in arbitrary dimension. Zbl 1410.14047Hauer, Michael; Jüttler, Bert 9 2018 Deciding the existence of rational general solutions for first-order algebraic ODEs. Zbl 1390.34007Vo, N. Thieu; Grasegger, Georg; Winkler, Franz 9 2018 Deterministic genericity for polynomial ideals. Zbl 1446.13021Hashemi, Amir; Schweinfurter, Michael; Seiler, Werner M. 7 2018 Solving generic nonarchimedean semidefinite programs using stochastic game algorithms. Zbl 1379.90021Allamigeon, Xavier; Gaubert, Stéphane; Skomra, Mateusz 6 2018 Bit complexity for multi-homogeneous polynomial system solving – application to polynomial minimization. Zbl 1391.13056Safey El Din, Mohab; Schost, Éric 6 2018 Effective identifiability criteria for tensors and polynomials. Zbl 1388.15022Massarenti, Alex; Mella, Massimiliano; Staglianò, Giovanni 6 2018 Similarity detection of rational space curves. Zbl 1378.68146Alcázar, Juan Gerardo; Hermoso, Carlos; Muntingh, Georg 5 2018 A smoothness test for higher codimensions. Zbl 1388.14049Böhm, Janko; Frühbis-Krüger, Anne 5 2018 ...and 1490 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 12,560 Authors 105 Qi, Liqun 60 Conder, Marston D. E. 56 Sturmfels, Bernd 55 O’Brien, Eamonn A. 53 Sendra, Juan Rafael 49 Praeger, Cheryl Elisabeth 47 Feng, Yanquan 46 Ballico, Edoardo 44 Schost, Éric 41 van der Hoeven, Joris 41 Zhou, Jinxin 39 Gao, Xiaoshan 37 Abramov, Sergeĭ Aleksandrovich 37 Mourrain, Bernard 36 Pan, Victor Yakovlevich 35 Spiga, Pablo 33 Grigor’ev, Dmitriĭ Yur’evich 33 Romanovski, Valery G. 32 Farouki, Rida T. 32 Pérez-Díaz, Sonia 32 Schicho, Josef 31 Eick, Bettina 31 Faugère, Jean-Charles 31 Leemans, Dimitri 30 Kapur, Deepak 30 Llibre, Jaume 30 Wei, Yimin 28 Bu, Changjiang 28 de Graaf, Willem Adriaan 28 Emiris, Ioannis Z. 28 Giné, Jaume 28 Kauers, Manuel 28 Koepf, Wolfram A. 28 Moreno Maza, Marc 28 von zur Gathen, Joachim 27 Li, Chaoqian 27 Schneider, Carsten 27 Xia, Bican 26 D’Andrea, Carlos 26 Giudici, Michael 26 Hashemi, Amir 25 Gaál, István 25 Giesbrecht, Mark W. 25 Holt, Derek F. 25 Li, Yaotang 25 Meseguer Guaita, José 24 Barkatou, Moulay A. 24 Gerdt, Vladimir P. 24 Harada, Masaaki 24 Otto, Friedrich 24 Pohst, Michael E. 24 Safey El Din, Mohab 24 Singer, Michael F. 24 van Hoeij, Mark 24 Wang, Dongming 24 Wazwaz, Abdul-Majid Abdul-Rahman 24 Wilson, Robert Arnott 23 Alcazar, Juan Gerardo 23 Busé, Laurent 23 Davenport, James Harold 23 Dickenstein, Alicia M. 23 Kaltofen, Erich L. 23 Leedham-Green, Charles R. 23 Middeldorp, Aart 23 Peltier, Nicolas 23 Roy, Marie-Françoise 23 Seiler, Werner M. 23 Siksek, Samir 23 Zeilberger, Doron 22 Bernardi, Alessandra 22 Bostan, Alin 22 Burness, Timothy C. 22 Hong, Hoon 22 Jeronimo, Gabriela 22 Nebe, Gabriele 22 Rusinowitch, Michaël 21 Kemper, Gregor 20 Gonzalez-Vega, Laureano 20 Hauenstein, Jonathan D. 20 Key, Jennifer D. 20 Lecerf, Grégoire 20 Marušič, Dragan 20 Müller, Jürgen 20 Potočnik, Primož 20 Sharir, Micha 20 Shen, Liyong 20 Tsigaridas, Elias P. 20 Wang, Yiju 19 Dietrich, Heiko 19 Flannery, Dane Laurence 19 Guo, Li 19 Heintz, Joos 19 Nie, Jiawang 19 Szántó, Ágnes 19 Verschelde, Jan 18 Baader, Franz 18 De Loera, Jesús A. 18 Goldman, Ron N. 18 Hajdu, Lajos 18 Hu, ShengLong ...and 12,460 more Authors all top 5 Cited in 792 Journals 1,325 Journal of Symbolic Computation 589 Journal of Algebra 420 Theoretical Computer Science 285 Mathematics of Computation 269 Journal of Pure and Applied Algebra 236 Linear Algebra and its Applications 188 Communications in Algebra 182 Journal of Number Theory 178 Applicable Algebra in Engineering, Communication and Computing 164 Discrete Mathematics 158 Journal of Computational and Applied Mathematics 150 Transactions of the American Mathematical Society 150 Computer Aided Geometric Design 150 Designs, Codes and Cryptography 148 Journal of Automated Reasoning 138 Finite Fields and their Applications 137 Applied Mathematics and Computation 115 Proceedings of the American Mathematical Society 114 Information and Computation 106 International Journal of Algebra and Computation 106 Mathematics in Computer Science 104 Information Processing Letters 101 Discrete Applied Mathematics 101 LMS Journal of Computation and Mathematics 99 Advances in Applied Mathematics 98 Journal of Algebra and its Applications 94 Advances in Mathematics 89 Experimental Mathematics 89 Journal of Algebraic Combinatorics 88 Discrete & Computational Geometry 84 International Journal of Number Theory 80 Journal of Complexity 79 Journal of Mathematical Physics 76 Journal of Combinatorial Theory. Series A 75 Journal of Systems Science and Complexity 71 Journal de Théorie des Nombres de Bordeaux 70 Linear and Multilinear Algebra 68 European Journal of Combinatorics 62 Foundations of Computational Mathematics 61 Computers & Mathematics with Applications 61 Annals of Mathematics and Artificial Intelligence 60 Programming and Computer Software 60 Journal of Mathematical Sciences (New York) 56 Frontiers of Mathematics in China 55 Journal of Mathematical Analysis and Applications 51 Advances in Mathematics of Communications 49 Mathematische Zeitschrift 49 Algorithmica 49 Journal of High Energy Physics 46 Artificial Intelligence 45 Mathematics and Computers in Simulation 44 Journal of Computer and System Sciences 43 The Ramanujan Journal 41 Archiv der Mathematik 40 Computational Geometry 38 Computational Complexity 37 Journal of Combinatorial Theory. Series B 37 International Journal of Bifurcation and Chaos in Applied Sciences and Engineering 37 Science China. Mathematics 36 Israel Journal of Mathematics 36 SIAM Journal on Applied Algebra and Geometry 34 Rocky Mountain Journal of Mathematics 34 Numerical Algorithms 34 Mathematical Programming. Series A. Series B 34 Journal of Group Theory 33 Cryptography and Communications 32 Mathematische Annalen 32 Graphs and Combinatorics 31 The Electronic Journal of Combinatorics 30 Bulletin of the Australian Mathematical Society 30 Semigroup Forum 29 Acta Arithmetica 29 SIAM Journal on Matrix Analysis and Applications 28 Journal of Optimization Theory and Applications 28 Annals of Pure and Applied Logic 27 Journal of Differential Equations 27 Acta Applicandae Mathematicae 27 Journal of the American Mathematical Society 27 International Journal of Computer Mathematics 27 Transformation Groups 26 Annales de l’Institut Fourier 26 International Journal of Computational Geometry & Applications 26 Computational and Applied Mathematics 26 Journal of Difference Equations and Applications 26 Annals of Combinatorics 25 Computer Physics Communications 25 Automatica 24 Mathematical Proceedings of the Cambridge Philosophical Society 24 Monatshefte für Mathematik 24 Theory and Practice of Logic Programming 23 Bulletin of Mathematical Biology 23 Collectanea Mathematica 23 Compositio Mathematica 23 Applied Mathematics Letters 23 SIAM Journal on Discrete Mathematics 22 Duke Mathematical Journal 22 MSCS. Mathematical Structures in Computer Science 22 Computational Optimization and Applications 22 Research in Number Theory 21 Japan Journal of Industrial and Applied Mathematics ...and 692 more Journals all top 5 Cited in 63 Fields 4,070 Computer science (68-XX) 2,076 Algebraic geometry (14-XX) 1,950 Number theory (11-XX) 1,918 Commutative algebra (13-XX) 1,576 Combinatorics (05-XX) 1,498 Group theory and generalizations (20-XX) 1,453 Numerical analysis (65-XX) 968 Linear and multilinear algebra; matrix theory (15-XX) 823 Field theory and polynomials (12-XX) 763 Information and communication theory, circuits (94-XX) 744 Mathematical logic and foundations (03-XX) 599 Ordinary differential equations (34-XX) 537 Associative rings and algebras (16-XX) 447 Operations research, mathematical programming (90-XX) 381 Special functions (33-XX) 329 Dynamical systems and ergodic theory (37-XX) 322 Convex and discrete geometry (52-XX) 302 Partial differential equations (35-XX) 238 Geometry (51-XX) 234 Nonassociative rings and algebras (17-XX) 227 Quantum theory (81-XX) 209 Biology and other natural sciences (92-XX) 194 Systems theory; control (93-XX) 189 Several complex variables and analytic spaces (32-XX) 167 Statistics (62-XX) 157 Functions of a complex variable (30-XX) 150 Manifolds and cell complexes (57-XX) 133 Real functions (26-XX) 133 Differential geometry (53-XX) 130 Probability theory and stochastic processes (60-XX) 127 Mechanics of particles and systems (70-XX) 114 Difference and functional equations (39-XX) 112 Order, lattices, ordered algebraic structures (06-XX) 111 Approximations and expansions (41-XX) 93 Algebraic topology (55-XX) 93 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 87 Category theory; homological algebra (18-XX) 86 Operator theory (47-XX) 74 General algebraic systems (08-XX) 72 Fluid mechanics (76-XX) 70 Global analysis, analysis on manifolds (58-XX) 69 Topological groups, Lie groups (22-XX) 69 Mechanics of deformable solids (74-XX) 40 Harmonic analysis on Euclidean spaces (42-XX) 38 Statistical mechanics, structure of matter (82-XX) 38 Relativity and gravitational theory (83-XX) 37 Functional analysis (46-XX) 36 History and biography (01-XX) 33 Calculus of variations and optimal control; optimization (49-XX) 31 General and overarching topics; collections (00-XX) 28 Classical thermodynamics, heat transfer (80-XX) 22 \(K\)-theory (19-XX) 19 Integral transforms, operational calculus (44-XX) 14 Mathematics education (97-XX) 13 Sequences, series, summability (40-XX) 10 Abstract harmonic analysis (43-XX) 10 Optics, electromagnetic theory (78-XX) 9 Integral equations (45-XX) 7 General topology (54-XX) 6 Geophysics (86-XX) 4 Measure and integration (28-XX) 2 Potential theory (31-XX) 2 Astronomy and astrophysics (85-XX) Citations by Year