# zbMATH — the first resource for mathematics

## 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)

#### 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.68039
Bosma, Wieb; Cannon, John; Playoust, Catherine
1997
Eigenvalues of a real supersymmetric tensor. Zbl 1125.15014
Qi, Liqun
2005
Matrix multiplication via arithmetic progressions. Zbl 0702.65046
1990
Practical graph isomorphism. II. Zbl 1394.05079
2014
Efficient computation of zero-dimensional Gröbner bases by change of ordering. Zbl 0805.13007
Faugère, J. C.; Gianni, P.; Lazard, D.; Mora, T.
1993
Gröbner bases and primary decomposition of polynomial ideals. Zbl 0667.13008
Gianni, Patrizia; Trager, Barry; Zacharias, Gail
1988
An algorithm for solving second order linear homogeneous differential equations. Zbl 0603.68035
Kovacic, Jerald J.
1986
Termination of rewriting. Zbl 0637.68035
Dershowitz, Nachum
1987
The method of creative telescoping. Zbl 0738.33002
Zeilberger, Doron
1991
Bruno Buchberger’s PhD thesis 1965: An algorithm for finding the basis elements of the residue class ring of a zero dimensional polynomial ideal. Translation from the German. Zbl 1158.01307
Buchberger, Bruno
2006
Partial cylindrical algebraic decomposition for quantifier elimination. Zbl 0754.68063
Collins, George E.; Hong, Hoon
1991
Non-commutative Gröbner bases in algebras of solvable type. Zbl 0715.16010
Kandri-Rody, A.; Weispfenning, Volker
1990
KANT V4. Zbl 0886.11070
Daberkow, M.; Fieker, C.; Klüners, J.; Pohst, M.; Roegner, K.; Schörnig, M.; Wildanger, K.
1997
Cylindrical algebraic decomposition using validated numerics. Zbl 1124.68123
2006
Solving systems of polynomial inequalities in subexponential time. Zbl 0662.12001
Grigor’ev, D. Yu.; Vorobjov, N. N. jun.
1988
A structure-preserving clause form translation. Zbl 0636.68119
Plaisted, David A.; Greenbaum, Steven
1986
On the computational complexity and geometry of the first-order theory of the reals. III: Quantifier elimination. Zbl 0798.68073
Renegar, James
1992
The Gröbner fan of an ideal. Zbl 0668.13017
Mora, Teo; Robbiano, Lorenzo
1988
On the theories of triangular sets. Zbl 0943.12003
Aubry, Philippe; Lazard, Daniel; Moreno Maza, Marc
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.68042
Renegar, James
1992
Hypergeometric solutions of linear recurrences with polynomial coefficients. Zbl 0761.11008
Petkovšek, Marko
1992
On determinants and eigenvalue theory of tensors. Zbl 1259.15038
Hu, Shenglong; Huang, Zheng-Hai; Ling, Chen; Qi, Liqun
2013
Toric dynamical systems. Zbl 1188.37082
Craciun, Gheorghe; Dickenstein, Alicia; Shiu, Anne; Sturmfels, Bernd
2009
Comprehensive Gröbner bases. Zbl 0784.13013
Weispfenning, Volker
1992
Computing symmetric rank for symmetric tensors. Zbl 1211.14057
Bernardi, Alessandra; Gimigliano, Alessandro; Idà, Monica
2011
Computing tropical varieties. Zbl 1121.14051
Bogart, T.; Jensen, A. N.; Speyer, D.; Sturmfels, B.; Thomas, R. R.
2007
Symbolic computation of exact solutions expressible in hyperbolic and elliptic functions for nonlinear PDEs. Zbl 1137.35324
Baldwin, D.; Göktaş, Ü.; Hereman, W.; Hong, L.; Martino, R. S.; Miller, J. C.
2004
Real quantifier elimination is doubly exponential. Zbl 0663.03015
Davenport, James H.; Heintz, Joos
1988
Non-commutative elimination in Ore algebras proves multivariate identities. Zbl 0944.05006
Chyzak, Frédéric; Salvy, Bruno
1998
Rational invariants of a group action. Construction and rewriting. Zbl 1121.13010
Hubert, Evelyne; Kogan, Irina A.
2007
Coding with skew polynomial rings. Zbl 1174.94025
Boucher, Delphine; Ulmer, Felix
2009
The complexity of linear problems in fields. Zbl 0646.03005
Weispfenning, Volker
1988
Differential invariants of a Lie group action: syzygies on a generating set. Zbl 1176.12004
Hubert, Evelyne
2009
Complexity of deciding Tarski algebra. Zbl 0689.03021
Grigor’ev, D. Yu.
1988
Univariate polynomials: Nearly optimal algorithms for numerical factorization and root-finding. Zbl 1004.65061
Pan, Victor Y.
2002
A generalized Euclidean algorithm for computing triangular representations of algebraic varieties. Zbl 0783.14039
Kalkbrener, Michael
1993
Effective lattice point counting in rational convex polytopes. Zbl 1137.52303
De Loera, Jesús A.; Hemmecke, Raymond; Tauzer, Jeremiah; Yoshida, Ruriko
2005
On an installation of Buchberger’s algorithm. Zbl 0675.13013
Gebauer, Rüdiger; Möller, H. Michael
1988
Converting bases with the Gröbner walk. Zbl 0908.13020
Collart, S.; Kalkbrener, M.; Mall, D.
1997
A Mathematica version of Zeilberger’s algorithm for proving binomial coefficient identities. Zbl 0851.68052
Paule, Peter; Schorn, Markus
1995
Recent advances on determining the number of real roots of parametric polynomials. Zbl 0957.65041
Yang, Lu
1999
Equational problems and disunification. Zbl 0678.68093
Comon, Hubert; Lescanne, Pierre
1989
Eigenvectors of tensors and algorithms for Waring decomposition. Zbl 1277.15019
Oeding, Luke; Ottaviani, Giorgio
2013
Unification theory. Zbl 0678.68098
Siekmann, Jörg H.
1989
Parametric generalized offsets to hypersurfaces. Zbl 0878.68134
Arrondo, Enrique; Sendra, Juana; Sendra, J. Rafael
1997
Symbolic computations of conserved densities for systems of nonlinear evolution equations. Zbl 0891.65129
Göktaş, Ünal; Hereman, Willy
1997
Efficient incremental algorithms for the sparse resultant and the mixed volume. Zbl 0843.68036
Emiris, Ioannis Z.; Canny, John F.
1995
Algebraic geometry of Bayesian networks. Zbl 1126.68102
Garcia, Luis David; Stillman, Michael; Sturmfels, Bernd
2005
On the complexity of computing syzygies. Zbl 0667.68053
Bayer, David; Stillman, Michael
1988
Thom’s lemma, the coding of real algebraic numbers and the computation of the topology of semi-algebraic sets. Zbl 0689.14006
Coste, M.; Roy, M. F.
1988
Computing Riemann-Roch spaces in algebraic function fields and related topics. Zbl 1058.14071
Hess, F.
2002
Galois groups of second and third order linear differential equations. Zbl 0802.12004
Singer, Michael F.; Ulmer, Felix
1993
On the application of Buchberger’s algorithm to automated geometry theorem proving. Zbl 0629.68086
Kutzler, B.; Stifter, S.
1986
Calculating invariant rings of finite groups over arbitrary fields. Zbl 0889.13004
Kemper, Gregor
1996
Rank and eigenvalues of a supersymmetric tensor, the multivariate homogeneous polynomial and the algebraic hypersurface it defines. Zbl 1121.14050
Qi, Liqun
2006
Factorization-free decomposition algorithms in differential algebra. Zbl 0984.12004
Hubert, Evelyne
2000
Rational parametrization of surfaces. Zbl 0924.14027
Schicho, Josef
1998
On the theory of graded structures. Zbl 0609.13007
Robbiano, Lorenzo
1986
Introduction to the GiNaC framework for symbolic computation within the $$\text{C}^{++}$$ programming language. Zbl 1017.68163
Bauer, Christian; Frink, Alexander; Kreckel, Richard
2002
The $$p$$-group generation algorithm. Zbl 0736.20001
O’Brien, E. A.
1990
Localization and primary decomposition of polynomial ideals. Zbl 0874.13022
Shimoyama, Takeshi; Yokoyama, Kazuhiro
1996
Solving zero-dimensional algebraic systems. Zbl 0753.13012
Lazard, D.
1992
On the validity of implicitization by moving quadrics for rational surfaces with no base points. Zbl 0959.68124
Cox, David; Goldman, Ronald; Zhang, Ming
2000
Solving parametric polynomial systems. Zbl 1156.14044
Lazard, Daniel; Rouillier, Fabrice
2007
Solving difference equations in finite terms. Zbl 0930.39004
Hendriks, Peter A.; Singer, Michael F.
1999
Symbolic parametrization of curves. Zbl 0759.14044
Sendra, J. Rafael; Winkler, Franz
1991
A database of local fields. Zbl 1140.11350
Jones, John W.; Roberts, David P.
2006
A new algorithm for discussing Gröbner bases with parameters. Zbl 1068.13016
Montes, Antonio
2002
Factorization of differential operators with rational functions coefficients. Zbl 0886.68082
van Hoeij, Mark
1997
Termination of term rewriting: Interpretation and type elimination. Zbl 0810.68087
Zantema, H.
1994
Fast construction of irreducible polynomials over finite fields. Zbl 0815.11059
Shoup, Victor
1994
Computation of Hilbert functions. Zbl 0763.13007
Bayer, Dave; Stillman, Mike
1992
Relax, but don’t be too lazy. Zbl 1011.68189
van der Hoeven, Joris
2002
Modular algorithms for computing Gröbner bases. Zbl 1046.13018
Arnold, Elizabeth A.
2003
An algorithm of Katz and its application to the inverse Galois problem. Zbl 1049.12005
Dettweiler, Michael; Reiter, Stefan
2000
Computing singular points of plane rational curves. Zbl 1130.14039
Chen, Falai; Wang, Wenping; Liu, Yang
2008
A faster way to count the solutions of inhomogeneous systems of algebraic equations, with applications to cyclic $$n$$-roots. Zbl 0751.12001
Björck, Göran; Fröberg, Ralf
1991
Computing isometries of lattices. Zbl 0882.11042
Plesken, W.; Souvignier, B.
1997
Computing triangular systems and regular systems. Zbl 1007.65039
Wang, Dongming
2000
Thue systems as rewriting systems. Zbl 0638.68091
Book, Ronald V.
1987
Parametrization of algebraic curves over optimal field extensions. Zbl 0878.68072
Sendra, J. Rafael; Winkler, Franz
1997
The $$\mu$$-basis and implicitization of a rational parametric surface. Zbl 1120.14054
Chen, Falai; Cox, David; Liu, Yang
2005
Interpolating polynomials from their values. Zbl 0702.65011
Zippel, Richard
1990
Implicitizing rational curves by the method of moving algebraic curves. Zbl 0872.68193
Sederberg, Tom; Goldman, Ron; Du, Hang
1997
Peakword condensation and submodule lattices: An application of the Meat- Axe. Zbl 0828.16001
Lux, Klaus; Müller, Jürgen; Ringe, Michael
1994
Greatest factorial factorization and symbolic summation. Zbl 0854.68047
Paule, Peter
1995
Computing rational parametrizations of canal surfaces. Zbl 0877.68116
Peternell, Martin; Pottmann, Helmut
1997
Properties of substitutions and unifications. Zbl 0589.68063
Eder, Elmar
1985
Matrices in elimination theory. Zbl 0943.13005
Emiris, Ioannis Z.; Mourrain, Bernard
1999
Sylvester-Habicht sequences and fast Cauchy index computation. Zbl 0976.65043
Lickteig, Thomas; Roy, Marie-Françoise
2001
Using Gröbner bases to determine algebra membership, split surjective algebra homomorphisms determine birational equivalence. Zbl 0681.68052
Shannon, David; Sweedler, Moss
1988
Improved projection for cylindrical algebraic decomposition. Zbl 0981.68186
Brown, Christopher W.
2001
Solving and factoring boundary problems for linear ordinary differential equations in differential algebras. Zbl 1151.34008
Rosenkranz, Markus; Regensburger, Georg
2008
The method of differentiating under the integral sign. Zbl 0717.33004
Almkvist, Gert; Zeilberger, Doron
1990
Rational parametrizations of algebraic curves using a canonical divisor. Zbl 0878.68073
van Hoeij, Mark
1997
Quartic curves and their bitangents. Zbl 1214.14049
Plaumann, Daniel; Sturmfels, Bernd; Vinzant, Cynthia
2011
Index calculus for abelian varieties of small dimension and the elliptic curve discrete logarithm problem. Zbl 1177.94148
Gaudry, Pierrick
2009
Using Gröbner bases to reason about geometry problems. Zbl 0629.68087
Kapur, Deepak
1986
Symbolic reachability computation for families of linear vector fields. Zbl 0983.93004
Lafferriere, Gerardo; Pappas, George J.; Yovine, Sergio
2001
Liouvillian solutions of linear differential equations with Liouvillian coefficients. Zbl 0776.12002
Singer, Michael F.
1991
Solving determinantal systems using homotopy techniques. Zbl 1461.13034
Hauenstein, Jon D.; Safey El Din, Mohab; Schost, Éric; Vu, Thi Xuan
2021
Cyclic distances of idempotent convolutional codes. Zbl 07249896
Gómez-Torrecillas, José; Lobillo, F. J.; Navarro, Gabriel
2021
Polynomial reduction and supercongruences. Zbl 07274358
Hou, Qing-Hu; Mu, Yan-Ping; Zeilberger, Doron
2021
Coisotropic hypersurfaces in Grassmannians. Zbl 07274360
Kohn, Kathlén
2021
On the computation of identities relating partition numbers in arithmetic progressions with eta quotients: an implementation of Radu’s algorithm. Zbl 1462.11093
Smoot, Nicolas Allen
2021
On the maximal number of real embeddings of minimally rigid graphs in $$\mathbb{R}^2,\mathbb{R}^3$$ and $$S^2$$. Zbl 1448.05144
Bartzos, Evangelos; Emiris, Ioannis Z.; Legerský, Jan; Tsigaridas, Elias
2021
Computing real radicals and $$S$$-radicals of polynomial systems. Zbl 1448.14061
Safey El Din, Mohab; Yang, Zhi-Hong; Zhi, Lihong
2021
Computing nearby non-trivial Smith forms. Zbl 1452.65084
Giesbrecht, Mark; Haraldson, Joseph; Labahn, George
2021
Lexicographic and reverse lexicographic quadratic Gröbner bases of cut ideals. Zbl 1457.13051
Sakamoto, Ryuichi
2021
A constructive method for decomposing real representations. Zbl 07312483
Ali, Sajid; Azad, Hassan; Biswas, Indranil; de Graaf, Willem A.
2021
Standard monomial theory and toric degenerations of Schubert varieties from matching field tableaux. Zbl 1467.14116
2021
Efficiently factoring polynomials modulo $$p^4$$. Zbl 1465.13022
Dwivedi, Ashish; Mittal, Rajat; Saxena, Nitin
2021
Symbolic analysis of multiple steady states in a MAPK chemical reaction network. Zbl 1457.92062
Lichtblau, Daniel
2021
Construction of free differential algebras by extending Gröbner-Shirshov bases. Zbl 1462.13027
Li, Yunnan; Guo, Li
2021
The BMM symmetrising trace conjecture for groups $$G_{4}$$, $$G_{5}$$, $$G_{6}$$, $$G_{7}$$, $$G_{8}$$. Zbl 1453.20008
Boura, Christina; Chavli, Eirini; Chlouveraki, Maria; Karvounis, Konstantinos
2020
Explicit formulas of Euler sums via multiple zeta values. Zbl 1459.11173
Xu, Ce; Wang, Weiping
2020
Lifting tropical bitangents. Zbl 07074721
Len, Yoav; Markwig, Hannah
2020
Effective Buchberger-Zacharias-Weispfenning theory of skew polynomial extensions of subbilateral coherent rings. Zbl 07151944
Nguefack, Bertrand; Pola, Emmanuel
2020
A census of small transitive groups and vertex-transitive graphs. Zbl 07211783
Holt, Derek; Royle, Gordon
2020
Ranks and symmetric ranks of cubic surfaces. Zbl 1444.14091
Seigal, Anna
2020
An algorithm for computing the Hilbert-Samuel multiplicities and reductions of zero-dimensional ideals of Cohen-Macaulay local rings. Zbl 1446.13011
Shibuta, Takafumi; Tajima, Shinichi
2020
An automated study of isoptic curves of an astroid. Zbl 1444.68302
Dana-Picard, Thierry
2020
Identifying the parametric occurrence of multiple steady states for some biological networks. Zbl 1442.92056
Bradford, Russell; Davenport, James H.; England, Matthew; Errami, Hassan; Gerdt, Vladimir; Grigoriev, Dima; Hoyt, Charles; Košta, Marek; Radulescu, Ovidiu; Sturm, Thomas; Weber, Andreas
2020
Fast computation of approximant bases in canonical form. Zbl 1450.65040
Jeannerod, Claude-Pierre; Neiger, Vincent; Villard, Gilles
2020
Editorial: Symbolic computation and satisfiability checking. Zbl 1444.68006
Davenport, James H.; England, Matthew; Griggio, Alberto; Sturm, Thomas; Tinelli, Cesare
2020
Taxonomies of geometric problems. Zbl 1444.68292
Quaresma, Pedro; Santos, Vanda; Graziani, Pierluigi; Baeta, Nuno
2020
Non-standard analysis in dynamic geometry. Zbl 1444.68278
Strobel, Michael
2020
Constructive arithmetics in Ore localizations of domains. Zbl 1441.16029
Hoffmann, Johannes; Levandovskyy, Viktor
2020
Computing lower rank approximations of matrix polynomials. Zbl 1445.65015
Giesbrecht, Mark; Haraldson, Joseph; Labahn, George
2020
Fast Hermite interpolation and evaluation over finite fields of characteristic two. Zbl 1444.68301
Coxon, Nicholas
2020
On types of degenerate critical points of real polynomial functions. Zbl 1451.13079
Guo, Feng; Phạm, Ti&rsquo;ên-Son
2020
Equations defining probability tree models. Zbl 1451.13086
Duarte, Eliana; Görgen, Christiane
2020
Zacharias representation of effective associative rings. Zbl 1445.16044
Mora, Teo
2020
On the complexity of exact counting of dynamically irreducible polynomials. Zbl 07151949
Gómez-Pérez, Domingo; Mérai, László; Shparlinski, Igor E.
2020
Fully incremental cylindrical algebraic decomposition. Zbl 1432.68601
Kremer, Gereon; Ábrahám, Erika
2020
Cylindrical algebraic decomposition with equational constraints. Zbl 1432.68599
England, Matthew; Bradford, Russell; Davenport, James H.
2020
Computing and using minimal polynomials. Zbl 07181621
Abbott, John; Bigatti, Anna Maria; Palezzato, Elisa; Robbiano, Lorenzo
2020
The complexity of subdivision for diameter-distance tests. Zbl 1444.68274
Burr, Michael; Gao, Shuhong; Tsigaridas, Elias
2020
Separation bounds for polynomial systems. Zbl 1446.68202
Emiris, Ioannis; Mourrain, Bernard; Tsigaridas, Elias
2020
Normal bases from 1-dimensional algebraic groups. Zbl 1462.11111
2020
Homogeneous Einstein metrics on Stiefel manifolds associated to flag manifolds with two isotropy summands. Zbl 1455.53071
Arvanitoyeorgos, Andreas; Sakane, Yusuke; Statha, Marina
2020
On the solutions of holonomic third-order linear irreducible differential equations in terms of hypergeometric functions. Zbl 1454.34005
Mouafo Wouodjié, Merlin; Koepf, Wolfram
2020
An approach for computing families of multi-branch-point covers and applications for symplectic Galois groups. Zbl 1451.14097
Barth, Dominik; König, Joachim; Wenz, Andreas
2020
Semi-automated proof of supercongruences on partial sums of hypergeometric series. Zbl 1418.68248
Liu, Ji-Cai
2019
Formalization of the arithmetization of Euclidean plane geometry and applications. Zbl 1394.68349
Boutry, Pierre; Braun, Gabriel; Narboux, Julien
2019
Factorization of motion polynomials. Zbl 1411.16043
Li, Zijia; Schicho, Josef; Schröcker, Hans-Peter
2019
On the complexity of the Lickteig-Roy subresultant algorithm. Zbl 1409.13051
Lecerf, Grégoire
2019
Existence of Pythagorean-hodograph quintic interpolants to spatial $$G^1$$ Hermite data with prescribed arc lengths. Zbl 1432.65024
Farouki, Rida T.
2019
On the postulation of lines and a fat line. Zbl 1403.14018
Bauer, Thomas; Di Rocco, Sandra; Schmitz, David; Szemberg, Tomasz; Szpond, Justyna
2019
Bar code for monomial ideals. Zbl 1423.13104
Ceria, Michela
2019
An approach to constrained polynomial optimization via nonnegative circuit polynomials and geometric programming. Zbl 1411.12003
Dressler, Mareike; Iliman, Sadik; de Wolff, Timo
2019
Apparent singularities of D-finite systems. Zbl 1427.13036
Chen, Shaoshi; Kauers, Manuel; Li, Ziming; Zhang, Yi
2019
Validity proof of Lazard’s method for CAD construction. Zbl 1419.14084
McCallum, Scott; Parusiński, Adam; Paunescu, Laurentiu
2019
Effective computation of base points of ideals in two-dimensional local rings. Zbl 1414.32014
Alberich-Carramiñana, Maria; Montaner, Josep Àlvarez; Blanco, Guillem
2019
The maximum likelihood degree of toric varieties. Zbl 1409.14082
Améndola, Carlos; Bliss, Nathan; Burke, Isaac; Gibbons, Courtney R.; Helmer, Martin; Hoşten, Serkan; Nash, Evan D.; Rodriguez, Jose Israel; Smolkin, Daniel
2019
The Bordiga surface as critical locus for 3-view reconstructions. Zbl 1403.14070
Bertolini, Marina; Notari, Roberto; Turrini, Cristina
2019
Algorithms for tight spans and tropical linear spaces. Zbl 06970119
Hampe, Simon; Joswig, Michael; Schröter, Benjamin
2019
Fast systematic encoding of multiplicity codes. Zbl 1436.94122
Coxon, Nicholas
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.20025
Le, Tung; Magaard, Kay; Paolini, Alessandro
2019
Proof of the BMR conjecture for $$G_{20}$$ and $$G_{21}$$. Zbl 06997071
Marin, Ivan
2019
New refiners for permutation group search. Zbl 06997076
Jefferson, Christopher; Pfeiffer, Markus; Waldecker, Rebecca
2019
Computing finite semigroups. Zbl 06997078
East, James; Egri-Nagy, Attila; Mitchell, James D.; Péresse, Yann
2019
Computing the monodromy and pole order filtration on Milnor fiber cohomology of plane curves. Zbl 1416.32014
Dimca, Alexandru; Sticlaru, Gabriel
2019
Imaginary projections of polynomials. Zbl 1408.14185
Jörgens, Thorsten; Theobald, Thorsten; de Wolff, Timo
2019
An equivalence theorem for regular differential chains. Zbl 1422.13023
Boulier, François; Lemaire, François; Poteaux, Adrien; Moreno Maza, Marc
2019
An algorithm for computing Schur indices of characters. Zbl 1453.20014
Unger, W. R.
2019
The fiber cone of a monomial ideal in two variables. Zbl 1430.13047
Herzog, Jürgen; Qureshi, Ayesha Asloob; Saem, Maryam Mohammadi
2019
A computable extension for D-finite functions: DD-finite functions. Zbl 1427.13034
Jiménez-Pastor, Antonio; Pillwein, Veronika
2019
A general framework for Noetherian well ordered polynomial reductions. Zbl 1430.13043
Ceria, Michela; Mora, Teo; Roggero, Margherita
2019
Univariate real root isolation in an extension field and applications. Zbl 1408.68148
2019
Computing the bound of an Ore polynomial. Applications to factorization. Zbl 1461.16030
Gómez-Torrecillas, José; Lobillo, F. J.; Navarro, Gabriel
2019
Ideals of the form $$I_{1}(XY)$$. Zbl 1422.13026
Saha, Joydip; Sengupta, Indranath; Tripathi, Gaurab
2019
The tropical analogue of the Helton-Nie conjecture is true. Zbl 06970120
Allamigeon, Xavier; Gaubert, Stéphane; Skomra, Mateusz
2019
Waring decompositions and identifiability via Bertini and Macaulay2 software. Zbl 1403.14087
Angelini, Elena
2019
Mechanical synthesis of sorting algorithms for binary trees by logic and combinatorial techniques. Zbl 1395.68246
Drămnesc, Isabela; Jebelean, Tudor; Stratulat, Sorin
2019
Nominal unification with atom-variables. Zbl 1395.68096
Schmidt-Schauß, Manfred; Sabel, David; Kutz, Yunus D. K.
2019
Aligning concepts across proof assistant libraries. Zbl 1395.68247
Gauthier, Thibault; Kaliszyk, Cezary
2019
Using jointly geometry and algebra to determine RC-constructibility. Zbl 1395.68352
Schreck, Pascal; Mathis, Pascal
2019
Asymptotic $$r$$-log-convexity and P-recursive sequences. Zbl 1419.05021
Hou, Qing-Hu; Zhang, Zuo-Ru
2019
Symmetric polynomials in tropical algebra semirings. Zbl 1419.16032
Kališnik, Sara; Lešnik, Davorin
2019
Computation of graded ideals with given extremal Betti numbers in a polynomial ring. Zbl 1441.13023
Amata, Luca; Crupi, Marilena
2019
Proof of the Wilf-Zeilberger conjecture for mixed hypergeometric terms. Zbl 1423.33025
Chen, Shaoshi; Koutschan, Christoph
2019
The complexity of computing all subfields of an algebraic number field. Zbl 1419.11143
Szutkoski, Jonas; van Hoeij, Mark
2019
Algorithms for weighted sum of squares decomposition of non-negative univariate polynomials. Zbl 1420.13058
Magron, Victor; Safey El Din, Mohab; Schweighofer, Markus
2019
The limit point and the T-function. Zbl 1430.14110
Blasco, Angel; Pérez-Díaz, Sonia
2019
Quadratic 2-step Lie algebras: computational algorithms and classification. Zbl 1423.68613
Benito, Pilar; de-la-Concepción, Daniel; Roldán-López, Jorge; Sesma, Iciar
2019
Functors of liftings of projective schemes. Zbl 1440.14235
Bertone, Cristina; Cioffi, Francesca; Franco, Davide
2019
Formal solutions of singularly-perturbed linear differential systems. Zbl 1433.34078
Barkatou, Moulay A.; Maddah, Suzy S.
2019
An algorithm for providing the normal forms of spatial quasi-homogeneous polynomial differential systems. Zbl 1428.34049
García, Belén; Llibre, Jaume; Lombardero, Antón; Pérez del Río, Jesús S.
2019
The use of permutation representations in structural computations in large finite matrix groups. Zbl 1453.20001
Cannon, John J.; Holt, Derek F.; Unger, William R.
2019
Invariant algebraic sets and symmetrization of polynomial systems. Zbl 1433.13004
Hubert, Evelyne
2019
On the prime graph question for integral group rings of Conway simple groups. Zbl 1425.16018
Margolis, Leo
2019
Projective and affine symmetries and equivalences of rational curves in arbitrary dimension. Zbl 1410.14047
Hauer, Michael; Jüttler, Bert
2018
Deciding the existence of rational general solutions for first-order algebraic ODEs. Zbl 1390.34007
Vo, N. Thieu; Grasegger, Georg; Winkler, Franz
2018
Deterministic genericity for polynomial ideals. Zbl 1446.13021
Hashemi, Amir; Schweinfurter, Michael; Seiler, Werner M.
2018
Solving generic nonarchimedean semidefinite programs using stochastic game algorithms. Zbl 1379.90021
Allamigeon, Xavier; Gaubert, Stéphane; Skomra, Mateusz
2018
Bit complexity for multi-homogeneous polynomial system solving – application to polynomial minimization. Zbl 1391.13056
Safey El Din, Mohab; Schost, Éric
2018
Effective identifiability criteria for tensors and polynomials. Zbl 1388.15022
Massarenti, Alex; Mella, Massimiliano; Staglianò, Giovanni
2018
Similarity detection of rational space curves. Zbl 1378.68146
Alcázar, Juan Gerardo; Hermoso, Carlos; Muntingh, Georg
2018
A smoothness test for higher codimensions. Zbl 1388.14049
Böhm, Janko; Frühbis-Krüger, Anne
2018
...and 1490 more Documents
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)