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,701 Publications (since 1985) References Indexed: 2,140 Publications with 52,655 References. all top 5 Latest Issues 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) 45, No. 11 (2010) 45, No. 10 (2010) 45, No. 9 (2010) 45, No. 8 (2010) 45, No. 7 (2010) ...and 231 more Volumes all top 5 Authors 28 Hong, Hoon 21 Schicho, Josef 21 Sendra, Juan Rafael 20 Mourrain, Bernard 19 van der Hoeven, Joris 17 Faugère, Jean-Charles 17 Giesbrecht, Mark W. 17 Holt, Derek F. 17 Safey El Din, Mohab 17 Schost, Éric 16 Cannon, John J. 16 Gao, Xiaoshan 16 Kaltofen, Erich L. 16 Kapur, Deepak 15 Lazard, Daniel 15 Moreno Maza, Marc 15 Sturmfels, Bernd 15 von zur Gathen, Joachim 14 Emiris, Ioannis Z. 14 Salvy, Bruno 13 Barkatou, Moulay A. 12 Collins, George E. 12 Davenport, James Harold 12 Labahn, George 12 McCallum, Scott 12 Winkler, Franz 11 Abramov, Sergeĭ Aleksandrovich 11 Farouki, Rida T. 11 Koepf, Wolfram A. 11 Levandovskyy, Viktor 11 Singer, Michael F. 11 Szántó, Ágnes 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 Robbiano, Lorenzo 10 Roy, Marie-Françoise 10 Tsigaridas, Elias P. 10 van Hoeij, Mark 10 Weispfenning, Volker 9 Gutierrez, Jaime 9 Hashemi, Amir 9 Klüners, Jürgen 9 Mignotte, Maurice 9 Pohst, Michael E. 9 Schmidt-Schauß, Manfred 9 Ulmer, Felix 9 Xia, Bican 9 Yokoyama, Kazuhiro 9 Zhi, Lihong 8 Abbott, John A. 8 D’Andrea, Carlos 8 Gonzalez-Vega, Laureano 8 Grigor’ev, Dmitriĭ Yur’evich 8 Hubert, Evelyne 8 Kalkbrener, Michael 8 La Scala, Roberto 8 Otto, Friedrich 8 Seiler, Werner M. 8 Storjohann, Arne 8 Trager, Barry M. 7 Alcazar, Juan Gerardo 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 Hauenstein, Jonathan D. 7 Jebelean, Tudor 7 Jeronimo, Gabriela 7 Kemper, Gregor 7 Kutsia, Temur 7 Leykin, Anton 7 Monagan, Michael B. 7 Mora, Teo 7 Noro, Masayuki 7 Pfister, Gerhard 7 Recio, Tomas 7 Rouillier, Fabrice 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 Bronstein, Manuel Eric 6 Brown, Christopher W. 6 Castro-Jiménez, Francisco Jesús 6 Dickenstein, Alicia M. 6 El Kahoui, M’hammed 6 Feng, Ruyong ...and 2,889 more Authors all top 5 Fields 1,648 Computer science (68-XX) 712 Commutative algebra (13-XX) 455 Algebraic geometry (14-XX) 329 Numerical analysis (65-XX) 311 Field theory and polynomials (12-XX) 291 Number theory (11-XX) 244 Group theory and generalizations (20-XX) 156 Mathematical logic and foundations (03-XX) 124 Combinatorics (05-XX) 115 Associative rings and algebras (16-XX) 113 Ordinary differential equations (34-XX) 83 Information and communication theory, circuits (94-XX) 82 Special functions (33-XX) 81 Linear and multilinear algebra; matrix theory (15-XX) 61 General and overarching topics; collections (00-XX) 50 Partial differential equations (35-XX) 49 Nonassociative rings and algebras (17-XX) 46 Functions of a complex variable (30-XX) 44 Several complex variables and analytic spaces (32-XX) 40 Real functions (26-XX) 38 Operations research, mathematical programming (90-XX) 33 Convex and discrete geometry (52-XX) 30 Dynamical systems and ergodic theory (37-XX) 30 Differential geometry (53-XX) 27 Geometry (51-XX) 25 Difference and functional equations (39-XX) 23 Category theory; homological algebra (18-XX) 21 Manifolds and cell complexes (57-XX) 20 Mechanics of particles and systems (70-XX) 19 Approximations and expansions (41-XX) 19 Algebraic topology (55-XX) 19 Statistics (62-XX) 19 Mechanics of deformable solids (74-XX) 18 Systems theory; control (93-XX) 17 General algebraic systems (08-XX) 17 Global analysis, analysis on manifolds (58-XX) 17 Biology and other natural sciences (92-XX) 13 Order, lattices, ordered algebraic structures (06-XX) 13 Probability theory and stochastic processes (60-XX) 12 Quantum theory (81-XX) 11 History and biography (01-XX) 11 Topological groups, Lie groups (22-XX) 9 Fluid mechanics (76-XX) 8 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 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) 3 Operator theory (47-XX) 2 Relativity and gravitational theory (83-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 Calculus of variations and optimal control; optimization (49-XX) 1 General topology (54-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,179 Publications have been cited 22,791 times in 13,995 Documents Cited by ▼ Year ▼ The Magma algebra system. I: The user language. Zbl 0898.68039Bosma, Wieb; Cannon, John; Playoust, Catherine 2,448 1997 Eigenvalues of a real supersymmetric tensor. Zbl 1125.15014Qi, Liqun 618 2005 Matrix multiplication via arithmetic progressions. Zbl 0702.65046Coppersmith, Don; Winograd, Shmuel 394 1990 Practical graph isomorphism. II. Zbl 1394.05079McKay, Brendan D.; Piperno, Adolfo 194 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. 171 1993 Gröbner bases and primary decomposition of polynomial ideals. Zbl 0667.13008Gianni, Patrizia; Trager, Barry; Zacharias, Gail 160 1988 An algorithm for solving second order linear homogeneous differential equations. Zbl 0603.68035Kovacic, Jerald J. 157 1986 The method of creative telescoping. Zbl 0738.33002Zeilberger, Doron 140 1991 Termination of rewriting. Zbl 0637.68035Dershowitz, Nachum 139 1987 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 120 2006 Partial cylindrical algebraic decomposition for quantifier elimination. Zbl 0754.68063Collins, George E.; Hong, Hoon 108 1991 Non-commutative Gröbner bases in algebras of solvable type. Zbl 0715.16010Kandri-Rody, A.; Weispfenning, Volker 101 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. 91 2006 A structure-preserving clause form translation. Zbl 0636.68119Plaisted, David A.; Greenbaum, Steven 90 1986 Solving systems of polynomial inequalities in subexponential time. Zbl 0662.12001Grigor’ev, D. Yu.; Vorobjov, N. N. jun. 85 1988 Toric dynamical systems. Zbl 1188.37082Craciun, Gheorghe; Dickenstein, Alicia; Shiu, Anne; Sturmfels, Bernd 81 2009 On the computational complexity and geometry of the first-order theory of the reals. III: Quantifier elimination. Zbl 0798.68073Renegar, James 80 1992 The Gröbner fan of an ideal. Zbl 0668.13017Mora, Teo; Robbiano, Lorenzo 80 1988 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 79 1992 On the theories of triangular sets. Zbl 0943.12003Aubry, Philippe; Lazard, Daniel; Moreno Maza, Marc 79 1999 On determinants and eigenvalue theory of tensors. Zbl 1259.15038Hu, Shenglong; Huang, Zheng-Hai; Ling, Chen; Qi, Liqun 78 2013 Hypergeometric solutions of linear recurrences with polynomial coefficients. Zbl 0761.11008Petkovšek, Marko 76 1992 Comprehensive Gröbner bases. Zbl 0784.13013Weispfenning, Volker 73 1992 Computing symmetric rank for symmetric tensors. Zbl 1211.14057Bernardi, Alessandra; Gimigliano, Alessandro; Idà, Monica 70 2011 Computing tropical varieties. Zbl 1121.14051Bogart, T.; Jensen, A. N.; Speyer, D.; Sturmfels, B.; Thomas, R. R. 67 2007 Real quantifier elimination is doubly exponential. Zbl 0663.03015Davenport, James H.; Heintz, Joos 66 1988 Coding with skew polynomial rings. Zbl 1174.94025Boucher, Delphine; Ulmer, Felix 65 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. 65 2004 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. 62 2007 The complexity of linear problems in fields. Zbl 0646.03005Weispfenning, Volker 61 1988 Complexity of deciding Tarski algebra. Zbl 0689.03021Grigor’ev, D. Yu. 57 1988 Differential invariants of a Lie group action: syzygies on a generating set. Zbl 1176.12004Hubert, Evelyne 56 2009 Effective lattice point counting in rational convex polytopes. Zbl 1137.52303De Loera, Jesús A.; Hemmecke, Raymond; Tauzer, Jeremiah; Yoshida, Ruriko 56 2005 Univariate polynomials: Nearly optimal algorithms for numerical factorization and root-finding. Zbl 1004.65061Pan, Victor Y. 55 2002 A Mathematica version of Zeilberger’s algorithm for proving binomial coefficient identities. Zbl 0851.68052Paule, Peter; Schorn, Markus 55 1995 A generalized Euclidean algorithm for computing triangular representations of algebraic varieties. Zbl 0783.14039Kalkbrener, Michael 53 1993 Eigenvectors of tensors and algorithms for Waring decomposition. Zbl 1277.15019Oeding, Luke; Ottaviani, Giorgio 52 2013 Recent advances on determining the number of real roots of parametric polynomials. Zbl 0957.65041Yang, Lu 52 1999 On an installation of Buchberger’s algorithm. Zbl 0675.13013Gebauer, Rüdiger; Möller, H. Michael 52 1988 Converting bases with the Gröbner walk. Zbl 0908.13020Collart, S.; Kalkbrener, M.; Mall, D. 51 1997 Equational problems and disunification. Zbl 0678.68093Comon, Hubert; Lescanne, Pierre 51 1989 Algebraic geometry of Bayesian networks. Zbl 1126.68102Garcia, Luis David; Stillman, Michael; Sturmfels, Bernd 51 2005 Computing Riemann-Roch spaces in algebraic function fields and related topics. Zbl 1058.14071Hess, F. 50 2002 Symbolic computations of conserved densities for systems of nonlinear evolution equations. Zbl 0891.65129Göktaş, Ünal; Hereman, Willy 49 1997 On the complexity of computing syzygies. Zbl 0667.68053Bayer, David; Stillman, Michael 49 1988 Unification theory. Zbl 0678.68098Siekmann, Jörg H. 49 1989 Parametric generalized offsets to hypersurfaces. Zbl 0878.68134Arrondo, Enrique; Sendra, Juana; Sendra, J. Rafael 47 1997 Efficient incremental algorithms for the sparse resultant and the mixed volume. Zbl 0843.68036Emiris, Ioannis Z.; Canny, John F. 47 1995 Galois groups of second and third order linear differential equations. Zbl 0802.12004Singer, Michael F.; Ulmer, Felix 47 1993 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. 46 1988 Calculating invariant rings of finite groups over arbitrary fields. Zbl 0889.13004Kemper, Gregor 45 1996 On the application of Buchberger’s algorithm to automated geometry theorem proving. Zbl 0629.68086Kutzler, B.; Stifter, S. 45 1986 Rank and eigenvalues of a supersymmetric tensor, the multivariate homogeneous polynomial and the algebraic hypersurface it defines. Zbl 1121.14050Qi, Liqun 45 2006 Introduction to the GiNaC framework for symbolic computation within the \(\text{C}^{++}\) programming language. Zbl 1017.68163Bauer, Christian; Frink, Alexander; Kreckel, Richard 44 2002 Rational parametrization of surfaces. Zbl 0924.14027Schicho, Josef 43 1998 Factorization-free decomposition algorithms in differential algebra. Zbl 0984.12004Hubert, Evelyne 43 2000 On the theory of graded structures. Zbl 0609.13007Robbiano, Lorenzo 43 1986 The \(p\)-group generation algorithm. Zbl 0736.20001O’Brien, E. A. 42 1990 Solving difference equations in finite terms. Zbl 0930.39004Hendriks, Peter A.; Singer, Michael F. 42 1999 Localization and primary decomposition of polynomial ideals. Zbl 0874.13022Shimoyama, Takeshi; Yokoyama, Kazuhiro 42 1996 Solving parametric polynomial systems. Zbl 1156.14044Lazard, Daniel; Rouillier, Fabrice 42 2007 Solving zero-dimensional algebraic systems. Zbl 0753.13012Lazard, D. 40 1992 A new algorithm for discussing Gröbner bases with parameters. Zbl 1068.13016Montes, Antonio 39 2002 On the validity of implicitization by moving quadrics for rational surfaces with no base points. Zbl 0959.68124Cox, David; Goldman, Ronald; Zhang, Ming 39 2000 Symbolic parametrization of curves. Zbl 0759.14044Sendra, J. Rafael; Winkler, Franz 38 1991 Termination of term rewriting: Interpretation and type elimination. Zbl 0810.68087Zantema, H. 38 1994 A database of local fields. Zbl 1140.11350Jones, John W.; Roberts, David P. 38 2006 Computing isometries of lattices. Zbl 0882.11042Plesken, W.; Souvignier, B. 37 1997 Relax, but don’t be too lazy. Zbl 1011.68189van der Hoeven, Joris 37 2002 Fast construction of irreducible polynomials over finite fields. Zbl 0815.11059Shoup, Victor 37 1994 Computing triangular systems and regular systems. Zbl 1007.65039Wang, Dongming 37 2000 Factorization of differential operators with rational functions coefficients. Zbl 0886.68082van Hoeij, Mark 36 1997 Modular algorithms for computing Gröbner bases. Zbl 1046.13018Arnold, Elizabeth A. 36 2003 An algorithm of Katz and its application to the inverse Galois problem. Zbl 1049.12005Dettweiler, Michael; Reiter, Stefan 36 2000 Greatest factorial factorization and symbolic summation. Zbl 0854.68047Paule, Peter 35 1995 Computation of Hilbert functions. Zbl 0763.13007Bayer, Dave; Stillman, Mike 35 1992 The \(\mu \)-basis and implicitization of a rational parametric surface. Zbl 1120.14054Chen, Falai; Cox, David; Liu, Yang 35 2005 Computing singular points of plane rational curves. Zbl 1130.14039Chen, Falai; Wang, Wenping; Liu, Yang 35 2008 Rational parametrizations of algebraic curves using a canonical divisor. Zbl 0878.68073van Hoeij, Mark 34 1997 Interpolating polynomials from their values. Zbl 0702.65011Zippel, Richard 34 1990 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 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 method of differentiating under the integral sign. Zbl 0717.33004Almkvist, Gert; Zeilberger, Doron 33 1990 Matrices in elimination theory. Zbl 0943.13005Emiris, Ioannis Z.; Mourrain, Bernard 33 1999 Index calculus for abelian varieties of small dimension and the elliptic curve discrete logarithm problem. Zbl 1177.94148Gaudry, Pierrick 33 2009 Solving and factoring boundary problems for linear ordinary differential equations in differential algebras. Zbl 1151.34008Rosenkranz, Markus; Regensburger, Georg 32 2008 Implicitizing rational curves by the method of moving algebraic curves. Zbl 0872.68193Sederberg, Tom; Goldman, Ron; Du, Hang 32 1997 Properties of substitutions and unifications. Zbl 0589.68063Eder, Elmar 32 1985 Liouvillian solutions of linear differential equations with Liouvillian coefficients. Zbl 0776.12002Singer, Michael F. 32 1991 Using Gröbner bases to reason about geometry problems. Zbl 0629.68087Kapur, Deepak 32 1986 Using Gröbner bases to determine algebra membership, split surjective algebra homomorphisms determine birational equivalence. Zbl 0681.68052Shannon, David; Sweedler, Moss 32 1988 Peakword condensation and submodule lattices: An application of the Meat- Axe. Zbl 0828.16001Lux, Klaus; Müller, Jürgen; Ringe, Michael 32 1994 Quartic curves and their bitangents. Zbl 1214.14049Plaumann, Daniel; Sturmfels, Bernd; Vinzant, Cynthia 32 2011 Computing rational parametrizations of canal surfaces. Zbl 0877.68116Peternell, Martin; Pottmann, Helmut 31 1997 Cubic vertex-transitive graphs on up to 1280 vertices. Zbl 1256.05102Potočnik, Primož; Spiga, Pablo; Verret, Gabriel 31 2013 Sylvester-Habicht sequences and fast Cauchy index computation. Zbl 0976.65043Lickteig, Thomas; Roy, Marie-Françoise 31 2001 Theory of summation in finite terms. Zbl 0585.68052Karr, Michael 31 1985 Polynomial-division-based algorithms for computing linear recurrence relations. Zbl 1481.68050Berthomieu, Jérémy; Faugère, Jean-Charles 1 2022 Strict inclusions of high rank loci. Zbl 1476.14091Ballico, Edoardo; Bernardi, Alessandra; Ventura, Emanuele 1 2022 On certain polynomial systems involving Stirling numbers of second kind. Zbl 07403425Castro-Jiménez, F. J.; Cobo Pablos, H. 1 2022 Certification for polynomial systems via square subsystems. Zbl 1476.14103Duff, Timothy; Hein, Nickolas; Sottile, Frank 1 2022 Existence and convergence of Puiseux series solutions for autonomous first order differential equations. Zbl 1471.34026Cano, José; Falkensteiner, Sebastian; Sendra, J. Rafael 1 2022 Polynomial reduction and supercongruences. Zbl 07274358Hou, Qing-Hu; Mu, Yan-Ping; Zeilberger, Doron 4 2021 Coisotropic hypersurfaces in Grassmannians. Zbl 1472.13046Kohn, Kathlén 4 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 4 2021 Identifiability in phylogenetics using algebraic matroids. Zbl 1455.92103Hollering, Benjamin; Sullivant, Seth 3 2021 Standard monomial theory and toric degenerations of Schubert varieties from matching field tableaux. Zbl 1467.14116Clarke, Oliver; Mohammadi, Fatemeh 3 2021 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 1477.94078Gómez-Torrecillas, José; Lobillo, F. J.; Navarro, Gabriel 2 2021 Chordal graphs in triangular decomposition in top-down style. Zbl 1443.05132Mou, Chenqi; Bai, Yang; Lai, Jiahua 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 2 2021 Computing nearby non-trivial Smith forms. Zbl 1452.65084Giesbrecht, Mark; Haraldson, Joseph; Labahn, George 2 2021 Catalan-many tropical morphisms to trees. Part I: Constructions. Zbl 1467.14160Draisma, Jan; Vargas, Alejandro 2 2021 Multivariate interpolation: preserving and exploiting symmetry. Zbl 1479.41002Rodriguez Bazan, Erick; Hubert, Evelyne 2 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 2 2021 qFunctions – a Mathematica package for \(q\)-series and partition theory applications. Zbl 1465.05001Ablinger, Jakob; Uncu, Ali Kemal 2 2021 Constructive arithmetics in Ore localizations enjoying enough commutativity. Zbl 1455.16014Hoffmann, Johannes; Levandovskyy, Viktor 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 Galois groups over rational function fields and explicit Hilbert irreducibility. Zbl 1461.11152Krumm, David; Sutherland, Nicole 1 2021 Lexicographic and reverse lexicographic quadratic Gröbner bases of cut ideals. Zbl 1457.13051Sakamoto, Ryuichi 1 2021 Computing the real Weyl group. Zbl 07312467Dietrich, Heiko; de Graaf, Willem A. 1 2021 Powers of monomial ideals and the Ratliff-Rush operation. Zbl 1457.13006Gasanova, Oleksandra 1 2021 A constructive method for decomposing real representations. Zbl 07312483Ali, Sajid; Azad, Hassan; Biswas, Indranil; de Graaf, Willem A. 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 Combinatorial decompositions for monomial ideals. Zbl 1458.13030Ceria, Michela 1 2021 Efficiently factoring polynomials modulo \(p^4\). Zbl 1465.13022Dwivedi, Ashish; Mittal, Rajat; Saxena, Nitin 1 2021 New ways to multiply \(3 \times 3\)-matrices. Zbl 07312505Heule, Marijn J. H.; Kauers, Manuel; Seidl, Martina 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 Rationalizability of square roots. Zbl 1465.81075Besier, Marco; Festi, Dino 1 2021 Construction of free differential algebras by extending Gröbner-Shirshov bases. Zbl 1462.13027Li, Yunnan; Guo, Li 1 2021 A census of small transitive groups and vertex-transitive graphs. Zbl 07211783Holt, Derek; Royle, Gordon 7 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 6 2020 Explicit formulas of Euler sums via multiple zeta values. Zbl 1459.11173Xu, Ce; Wang, Weiping 6 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 5 2020 Lifting tropical bitangents. Zbl 07074721Len, Yoav; Markwig, Hannah 4 2020 An automated study of isoptic curves of an astroid. Zbl 1444.68302Dana-Picard, Thierry 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 Ranks and symmetric ranks of cubic surfaces. Zbl 1444.14091Seigal, Anna 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 Equations defining probability tree models. Zbl 1451.13086Duarte, Eliana; Görgen, Christiane 3 2020 The complexity of subdivision for diameter-distance tests. Zbl 1444.68274Burr, Michael; Gao, Shuhong; Tsigaridas, Elias 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 Zacharias representation of effective associative rings. Zbl 1445.16044Mora, Teo 2 2020 Editorial: Symbolic computation and satisfiability checking. Zbl 1444.68006 2 2020 Fully incremental cylindrical algebraic decomposition. Zbl 1432.68601Kremer, Gereon; Ábrahám, Erika 2 2020 Cylindrical algebraic decomposition with equational constraints. Zbl 1432.68599England, Matthew; Bradford, Russell; Davenport, James H. 2 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 In-depth comparison of the Berlekamp-Massey-Sakata and the Scalar-FGLM algorithms: the adaptive variants. Zbl 1446.68201Berthomieu, Jérémy; Faugère, Jean-Charles 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 Reasoning about linkages with dynamic geometry. Zbl 1440.68341Kovács, Zoltán; Recio, Tomás; Vélez, M. Pilar 1 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 Matrix formulæ for resultants and discriminants of bivariate tensor-product polynomials. Zbl 1471.13059Busé, Laurent; Mantzaflaris, Angelos; Tsigaridas, Elias 1 2020 On the extended Hensel construction and its application to the computation of real limit points. Zbl 1455.13044Alvandi, Parisa; Ataei, Masoud; Kazemi, Mahsa; Moreno Maza, Marc 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 Linear time Fourier transforms of \(S_{n-k}\)-invariant functions on the symmetric group \(S_n\). Zbl 1450.43002Clausen, Michael 1 2020 On types of degenerate critical points of real polynomial functions. Zbl 1451.13079Guo, Feng; Phạm, Ti’ên-Son 1 2020 On the complexity of exact counting of dynamically irreducible polynomials. Zbl 1479.11206Gómez-Pérez, Domingo; Mérai, László; Shparlinski, Igor E. 1 2020 Computing and using minimal polynomials. Zbl 1468.13063Abbott, John; Bigatti, Anna Maria; Palezzato, Elisa; Robbiano, Lorenzo 1 2020 On conversions from CNF to ANF. Zbl 1432.68600Horáček, Jan; Kreuzer, Martin 1 2020 Semi-automated proof of supercongruences on partial sums of hypergeometric series. Zbl 1418.68248Liu, Ji-Cai 16 2019 Formalization of the arithmetization of Euclidean plane geometry and applications. Zbl 1394.68349Boutry, Pierre; Braun, Gabriel; Narboux, Julien 7 2019 An approach to constrained polynomial optimization via nonnegative circuit polynomials and geometric programming. Zbl 1411.12003Dressler, Mareike; Iliman, Sadik; de Wolff, Timo 7 2019 On the complexity of the Lickteig-Roy subresultant algorithm. Zbl 1409.13051Lecerf, Grégoire 7 2019 Existence of Pythagorean-hodograph quintic interpolants to spatial \(G^1\) Hermite data with prescribed arc lengths. Zbl 1432.65024Farouki, Rida T. 6 2019 Factorization of motion polynomials. Zbl 1411.16043Li, Zijia; Schicho, Josef; Schröcker, Hans-Peter 6 2019 Apparent singularities of D-finite systems. Zbl 1427.13036Chen, Shaoshi; Kauers, Manuel; Li, Ziming; Zhang, Yi 5 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 5 2019 Nominal unification with atom-variables. Zbl 1395.68096Schmidt-Schauß, Manfred; Sabel, David; Kutz, Yunus D. K. 4 2019 A computable extension for D-finite functions: DD-finite functions. Zbl 1427.13034Jiménez-Pastor, Antonio; Pillwein, Veronika 4 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 Algorithms for tight spans and tropical linear spaces. Zbl 06970119Hampe, Simon; Joswig, Michael; Schröter, Benjamin 4 2019 Mechanical synthesis of sorting algorithms for binary trees by logic and combinatorial techniques. Zbl 1395.68246Drămnesc, Isabela; Jebelean, Tudor; Stratulat, Sorin 3 2019 Aligning concepts across proof assistant libraries. Zbl 1395.68247Gauthier, Thibault; Kaliszyk, Cezary 3 2019 The fiber cone of a monomial ideal in two variables. Zbl 1430.13047Herzog, Jürgen; Qureshi, Ayesha Asloob; Saem, Maryam Mohammadi 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 A general framework for Noetherian well ordered polynomial reductions. Zbl 1430.13043Ceria, Michela; Mora, Teo; Roggero, Margherita 3 2019 The Bordiga surface as critical locus for 3-view reconstructions. Zbl 1403.14070Bertolini, Marina; Notari, Roberto; Turrini, Cristina 3 2019 Computation of graded ideals with given extremal Betti numbers in a polynomial ring. Zbl 1441.13023Amata, Luca; Crupi, Marilena 3 2019 Proof of the BMR conjecture for \(G_{20}\) and \(G_{21}\). Zbl 06997071Marin, Ivan 3 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 Computing the bound of an Ore polynomial. Applications to factorization. Zbl 1461.16030Gómez-Torrecillas, José; Lobillo, F. J.; Navarro, Gabriel 3 2019 On the prime graph question for integral group rings of Conway simple groups. Zbl 1425.16018Margolis, Leo 2 2019 Computing the monodromy and pole order filtration on Milnor fiber cohomology of plane curves. Zbl 1416.32014Dimca, Alexandru; Sticlaru, Gabriel 2 2019 ...and 1492 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 13,550 Authors 106 Qi, Liqun 62 Conder, Marston D. E. 60 Sturmfels, Bernd 57 O’Brien, Eamonn A. 54 Sendra, Juan Rafael 50 Feng, Yanquan 50 Praeger, Cheryl Elisabeth 49 Ballico, Edoardo 44 Schost, Éric 43 van der Hoeven, Joris 43 Zhou, Jinxin 40 Gao, Xiaoshan 39 Mourrain, Bernard 38 Abramov, Sergeĭ Aleksandrovich 38 Pan, Victor Yakovlevich 38 Spiga, Pablo 34 Pérez-Díaz, Sonia 33 Farouki, Rida T. 33 Faugère, Jean-Charles 33 Grigor’ev, Dmitriĭ Yur’evich 33 Schicho, Josef 32 Eick, Bettina 32 Leemans, Dimitri 32 Llibre, Jaume 32 Moreno Maza, Marc 32 Wei, Yimin 31 Giné, Jaume 31 Hashemi, Amir 30 Bu, Changjiang 30 Kapur, Deepak 29 Emiris, Ioannis Z. 29 Harada, Masaaki 29 Kauers, Manuel 29 von zur Gathen, Joachim 28 de Graaf, Willem Adriaan 28 Gaál, István 28 Koepf, Wolfram A. 28 Safey El Din, Mohab 28 Schneider, Carsten 27 Holt, Derek F. 27 Li, Chaoqian 27 Seiler, Werner M. 27 Xia, Bican 26 Barkatou, Moulay A. 26 D’Andrea, Carlos 26 Giesbrecht, Mark W. 26 Giudici, Michael 26 Romanovski, Valery G. 25 Bostan, Alin 25 Li, Yaotang 25 Meseguer Guaita, José 25 Middeldorp, Aart 25 Roy, Marie-Françoise 24 Alcazar, Juan Gerardo 24 Bernardi, Alessandra 24 Busé, Laurent 24 Gerdt, Vladimir Petrovich 24 Otto, Friedrich 24 Peltier, Nicolas 24 Pohst, Michael E. 24 Siksek, Samir 24 Singer, Michael F. 24 van Hoeij, Mark 24 Wang, Dongming 24 Wazwaz, Abdul-Majid Abdul-Rahman 24 Wilson, Robert Arnott 24 Zeilberger, Doron 23 Burness, Timothy C. 23 Davenport, James Harold 23 Dickenstein, Alicia M. 23 Kaltofen, Erich L. 23 Kemper, Gregor 23 Leedham-Green, Charles R. 23 Tsigaridas, Elias P. 23 Wang, Yiju 22 Goldman, Ronald N. 22 Hong, Hoon 22 Jeronimo, Gabriela 22 Koutschan, Christoph 22 Nebe, Gabriele 22 Potočnik, Primož 22 Rusinowitch, Michaël 21 Hauenstein, Jonathan D. 21 Key, Jennifer D. 21 Lecerf, Grégoire 21 Marušič, Dragan 21 Shen, Liyong 21 Tajima, Shinichi 20 Baader, Franz 20 Flannery, Dane Laurence 20 Gonzalez-Vega, Laureano 20 Kutnar, Klavdija 20 Müller, Jürgen 20 Sharir, Micha 20 Szántó, Ágnes 19 Bartoli, Daniele 19 Craciun, Gheorghe 19 De Loera, Jesús A. 19 Dietrich, Heiko 19 Guo, Li ...and 13,450 more Authors all top 5 Cited in 838 Journals 1,363 Journal of Symbolic Computation 618 Journal of Algebra 422 Theoretical Computer Science 295 Mathematics of Computation 279 Journal of Pure and Applied Algebra 245 Linear Algebra and its Applications 199 Communications in Algebra 191 Journal of Number Theory 181 Applicable Algebra in Engineering, Communication and Computing 169 Discrete Mathematics 159 Journal of Computational and Applied Mathematics 158 Computer Aided Geometric Design 157 Journal of Automated Reasoning 156 Designs, Codes and Cryptography 153 Transactions of the American Mathematical Society 148 Finite Fields and their Applications 144 Applied Mathematics and Computation 122 Proceedings of the American Mathematical Society 116 Mathematics in Computer Science 115 Information and Computation 110 Discrete Applied Mathematics 108 International Journal of Algebra and Computation 105 Information Processing Letters 104 Advances in Applied Mathematics 103 Journal of Algebra and its Applications 101 Advances in Mathematics 101 LMS Journal of Computation and Mathematics 96 Discrete & Computational Geometry 95 Experimental Mathematics 94 Journal of Algebraic Combinatorics 90 International Journal of Number Theory 85 Journal of Combinatorial Theory. Series A 82 Journal of Complexity 82 Journal of Systems Science and Complexity 81 Journal of Mathematical Physics 77 The Electronic Journal of Combinatorics 72 Linear and Multilinear Algebra 72 Journal de Théorie des Nombres de Bordeaux 70 European Journal of Combinatorics 66 Programming and Computer Software 65 Foundations of Computational Mathematics 64 Annals of Mathematics and Artificial Intelligence 61 Computers & Mathematics with Applications 61 Journal of Mathematical Sciences (New York) 60 Journal of Mathematical Analysis and Applications 58 Frontiers of Mathematics in China 57 Mathematische Zeitschrift 56 Advances in Mathematics of Communications 50 Algorithmica 50 Journal of High Energy Physics 49 Artificial Intelligence 48 The Ramanujan Journal 46 Mathematics and Computers in Simulation 45 Journal of Computer and System Sciences 41 Archiv der Mathematik 41 International Journal of Bifurcation and Chaos in Applied Sciences and Engineering 41 Computational Complexity 41 SIAM Journal on Applied Algebra and Geometry 40 Computational Geometry 39 Journal of Combinatorial Theory. Series B 39 Cryptography and Communications 38 Journal of Group Theory 38 Science China. Mathematics 37 Israel Journal of Mathematics 36 Bulletin of the Australian Mathematical Society 36 Graphs and Combinatorics 36 Mathematical Programming. Series A. Series B 35 Mathematische Annalen 35 Numerical Algorithms 34 Rocky Mountain Journal of Mathematics 34 Computational and Applied Mathematics 32 Acta Arithmetica 31 Journal of Optimization Theory and Applications 30 Annales de l’Institut Fourier 30 Semigroup Forum 30 SIAM Journal on Matrix Analysis and Applications 29 International Journal of Computer Mathematics 28 Acta Applicandae Mathematicae 28 Annals of Pure and Applied Logic 28 Journal of the American Mathematical Society 28 SIAM Journal on Discrete Mathematics 28 Journal of Difference Equations and Applications 27 Automatica 27 Journal of Differential Equations 27 International Journal of Computational Geometry & Applications 27 Transformation Groups 26 Collectanea Mathematica 26 Monatshefte für Mathematik 26 Applied Mathematics Letters 26 Annals of Combinatorics 26 Journal of Commutative Algebra 26 Research in Number Theory 25 Computer Physics Communications 25 Duke Mathematical Journal 25 Theory and Practice of Logic Programming 24 Mathematical Proceedings of the Cambridge Philosophical Society 24 Bulletin of Mathematical Biology 24 Journal of Global Optimization 24 Journal of Mathematical Chemistry 24 Ars Mathematica Contemporanea ...and 738 more Journals all top 5 Cited in 63 Fields 4,290 Computer science (68-XX) 2,244 Algebraic geometry (14-XX) 2,125 Number theory (11-XX) 2,040 Commutative algebra (13-XX) 1,743 Combinatorics (05-XX) 1,603 Group theory and generalizations (20-XX) 1,538 Numerical analysis (65-XX) 1,061 Linear and multilinear algebra; matrix theory (15-XX) 875 Field theory and polynomials (12-XX) 842 Information and communication theory, circuits (94-XX) 786 Mathematical logic and foundations (03-XX) 636 Ordinary differential equations (34-XX) 587 Associative rings and algebras (16-XX) 485 Operations research, mathematical programming (90-XX) 407 Special functions (33-XX) 356 Convex and discrete geometry (52-XX) 351 Dynamical systems and ergodic theory (37-XX) 312 Partial differential equations (35-XX) 259 Quantum theory (81-XX) 258 Geometry (51-XX) 251 Nonassociative rings and algebras (17-XX) 236 Biology and other natural sciences (92-XX) 211 Several complex variables and analytic spaces (32-XX) 205 Systems theory; control (93-XX) 185 Statistics (62-XX) 167 Manifolds and cell complexes (57-XX) 164 Functions of a complex variable (30-XX) 144 Differential geometry (53-XX) 141 Real functions (26-XX) 141 Probability theory and stochastic processes (60-XX) 137 Mechanics of particles and systems (70-XX) 122 Difference and functional equations (39-XX) 121 Order, lattices, ordered algebraic structures (06-XX) 118 Approximations and expansions (41-XX) 106 Algebraic topology (55-XX) 106 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 96 Category theory; homological algebra (18-XX) 94 Operator theory (47-XX) 78 General algebraic systems (08-XX) 76 Topological groups, Lie groups (22-XX) 75 Mechanics of deformable solids (74-XX) 75 Fluid mechanics (76-XX) 72 Global analysis, analysis on manifolds (58-XX) 44 Statistical mechanics, structure of matter (82-XX) 42 Harmonic analysis on Euclidean spaces (42-XX) 41 Relativity and gravitational theory (83-XX) 38 History and biography (01-XX) 37 Functional analysis (46-XX) 35 Calculus of variations and optimal control; optimization (49-XX) 34 General and overarching topics; collections (00-XX) 31 Classical thermodynamics, heat transfer (80-XX) 24 \(K\)-theory (19-XX) 23 Integral transforms, operational calculus (44-XX) 15 Mathematics education (97-XX) 13 Sequences, series, summability (40-XX) 12 Integral equations (45-XX) 11 Optics, electromagnetic theory (78-XX) 10 Abstract harmonic analysis (43-XX) 9 Geophysics (86-XX) 8 General topology (54-XX) 6 Measure and integration (28-XX) 2 Astronomy and astrophysics (85-XX) 1 Potential theory (31-XX) Citations by Year