×

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,743 Publications (since 1985)
References Indexed: 2,181 Publications with 54,116 References.
all top 5

Authors

28 Hong, Hoon
22 Schicho, Josef
22 Sendra, Juan Rafael
21 Mourrain, Bernard
19 van der Hoeven, Joris
18 Safey El Din, Mohab
17 Faugère, Jean-Charles
17 Giesbrecht, Mark W.
17 Holt, Derek F.
17 Schost, Éric
16 Cannon, John J.
16 Gao, Xiaoshan
16 Kaltofen, Erich L.
16 Kapur, Deepak
16 Moreno Maza, Marc
16 Sturmfels, Bernd
15 Lazard, Daniel
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 Levandovskyy, Viktor
12 McCallum, Scott
12 Szántó, Ágnes
12 Tsigaridas, Elias P.
12 Winkler, Franz
11 Abramov, Sergeĭ Aleksandrovich
11 Farouki, Rida T.
11 Koepf, Wolfram A.
11 Singer, Michael F.
11 Wang, Dongming
10 D’Andrea, Carlos
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 van Hoeij, Mark
10 Weispfenning, Volker
9 Grigor’ev, Dmitriĭ Yur’evich
9 Gutierrez, Jaime
9 Hashemi, Amir
9 Hubert, Evelyne
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 Gonzalez-Vega, Laureano
8 Hauenstein, Jonathan D.
8 Kalkbrener, Michael
8 La Scala, Roberto
8 Otto, Friedrich
8 Rouillier, Fabrice
8 Seiler, Werner M.
8 Storjohann, Arne
8 Trager, Barry M.
8 Yap, Chee-Keng
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 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 Rusinowitch, Michaël
7 Stillman, Michael Eugene
7 Strzeboński, Adam Wojciech
7 Sullivant, Seth
7 Villard, Gilles
7 Zeilberger, Doron
6 Bernardi, Alessandra
6 Bigatti, Anna Maria
6 Bonacina, Maria Paola
6 Bostan, Alin
6 Bronstein, Manuel Eric
6 Brown, Christopher W.
6 Castro-Jiménez, Francisco Jesús
6 Dickenstein, Alicia M.
...and 2,941 more Authors
all top 5

Fields

1,666 Computer science (68-XX)
724 Commutative algebra (13-XX)
472 Algebraic geometry (14-XX)
335 Numerical analysis (65-XX)
315 Field theory and polynomials (12-XX)
296 Number theory (11-XX)
246 Group theory and generalizations (20-XX)
156 Mathematical logic and foundations (03-XX)
125 Combinatorics (05-XX)
116 Associative rings and algebras (16-XX)
116 Ordinary differential equations (34-XX)
85 Linear and multilinear algebra; matrix theory (15-XX)
83 Special functions (33-XX)
83 Information and communication theory, circuits (94-XX)
62 General and overarching topics; collections (00-XX)
50 Nonassociative rings and algebras (17-XX)
50 Partial differential equations (35-XX)
46 Functions of a complex variable (30-XX)
44 Several complex variables and analytic spaces (32-XX)
41 Operations research, mathematical programming (90-XX)
40 Real functions (26-XX)
37 Convex and discrete geometry (52-XX)
32 Dynamical systems and ergodic theory (37-XX)
29 Differential geometry (53-XX)
28 Geometry (51-XX)
25 Difference and functional equations (39-XX)
24 Category theory; homological algebra (18-XX)
21 Algebraic topology (55-XX)
21 Manifolds and cell complexes (57-XX)
21 Mechanics of particles and systems (70-XX)
20 Approximations and expansions (41-XX)
19 Statistics (62-XX)
19 Mechanics of deformable solids (74-XX)
17 General algebraic systems (08-XX)
17 Global analysis, analysis on manifolds (58-XX)
17 Biology and other natural sciences (92-XX)
17 Systems theory; control (93-XX)
14 Probability theory and stochastic processes (60-XX)
13 Order, lattices, ordered algebraic structures (06-XX)
12 Quantum theory (81-XX)
11 History and biography (01-XX)
10 Topological groups, Lie groups (22-XX)
10 Fluid mechanics (76-XX)
9 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
6 Harmonic analysis on Euclidean spaces (42-XX)
5 Optics, electromagnetic theory (78-XX)
4 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 Calculus of variations and optimal control; optimization (49-XX)
1 Measure and integration (28-XX)
1 Integral transforms, operational calculus (44-XX)
1 Integral equations (45-XX)
1 Functional analysis (46-XX)
1 General topology (54-XX)
1 Statistical mechanics, structure of matter (82-XX)
1 Relativity and gravitational theory (83-XX)
1 Astronomy and astrophysics (85-XX)

Publications by Year

Citations contained in zbMATH Open

2,210 Publications have been cited 23,539 times in 14,494 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
653
2005
Matrix multiplication via arithmetic progressions. Zbl 0702.65046
Coppersmith, Don; Winograd, Shmuel
408
1990
Practical graph isomorphism. II. Zbl 1394.05079
McKay, Brendan D.; Piperno, Adolfo
216
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.
175
1993
An algorithm for solving second order linear homogeneous differential equations. Zbl 0603.68035
Kovacic, Jerald J.
161
1986
Gröbner bases and primary decomposition of polynomial ideals. Zbl 0667.13008
Gianni, Patrizia; Trager, Barry; Zacharias, Gail
160
1988
Termination of rewriting. Zbl 0637.68035
Dershowitz, Nachum
144
1987
The method of creative telescoping. Zbl 0738.33002
Zeilberger, Doron
143
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
127
2006
Partial cylindrical algebraic decomposition for quantifier elimination. Zbl 0754.68063
Collins, George E.; Hong, Hoon
108
1991
Non-commutative Gröbner bases in algebras of solvable type. Zbl 0715.16010
Kandri-Rody, A.; Weispfenning, Volker
102
1990
Cylindrical algebraic decomposition using validated numerics. Zbl 1124.68123
Strzeboński, Adam W.
91
2006
KANT V4. Zbl 0886.11070
Daberkow, M.; Fieker, C.; Klüners, J.; Pohst, M.; Roegner, K.; Schörnig, M.; Wildanger, K.
91
1997
A structure-preserving clause form translation. Zbl 0636.68119
Plaisted, David A.; Greenbaum, Steven
90
1986
Solving systems of polynomial inequalities in subexponential time. Zbl 0662.12001
Grigor’ev, D. Yu.; Vorobjov, N. N. jun.
89
1988
Toric dynamical systems. Zbl 1188.37082
Craciun, Gheorghe; Dickenstein, Alicia; Shiu, Anne; Sturmfels, Bernd
83
2009
On the computational complexity and geometry of the first-order theory of the reals. I: Introduction. Preliminaries. The geometry of semi-algebraic sets. The decision problem for the existential theory of the reals. Zbl 0763.68042
Renegar, James
83
1992
On determinants and eigenvalue theory of tensors. Zbl 1259.15038
Hu, Shenglong; Huang, Zheng-Hai; Ling, Chen; Qi, Liqun
83
2013
The Gröbner fan of an ideal. Zbl 0668.13017
Mora, Teo; Robbiano, Lorenzo
82
1988
On the theories of triangular sets. Zbl 0943.12003
Aubry, Philippe; Lazard, Daniel; Moreno Maza, Marc
81
1999
On the computational complexity and geometry of the first-order theory of the reals. III: Quantifier elimination. Zbl 0798.68073
Renegar, James
80
1992
Hypergeometric solutions of linear recurrences with polynomial coefficients. Zbl 0761.11008
Petkovšek, Marko
78
1992
Comprehensive Gröbner bases. Zbl 0784.13013
Weispfenning, Volker
75
1992
Computing symmetric rank for symmetric tensors. Zbl 1211.14057
Bernardi, Alessandra; Gimigliano, Alessandro; Idà, Monica
73
2011
Real quantifier elimination is doubly exponential. Zbl 0663.03015
Davenport, James H.; Heintz, Joos
71
1988
Computing tropical varieties. Zbl 1121.14051
Bogart, T.; Jensen, A. N.; Speyer, D.; Sturmfels, B.; Thomas, R. R.
69
2007
Coding with skew polynomial rings. Zbl 1174.94025
Boucher, Delphine; Ulmer, Felix
67
2009
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.
66
2004
Non-commutative elimination in Ore algebras proves multivariate identities. Zbl 0944.05006
Chyzak, Frédéric; Salvy, Bruno
63
1998
Rational invariants of a group action. Construction and rewriting. Zbl 1121.13010
Hubert, Evelyne; Kogan, Irina A.
62
2007
The complexity of linear problems in fields. Zbl 0646.03005
Weispfenning, Volker
62
1988
Effective lattice point counting in rational convex polytopes. Zbl 1137.52303
De Loera, Jesús A.; Hemmecke, Raymond; Tauzer, Jeremiah; Yoshida, Ruriko
60
2005
Complexity of deciding Tarski algebra. Zbl 0689.03021
Grigor’ev, D. Yu.
58
1988
Univariate polynomials: Nearly optimal algorithms for numerical factorization and root-finding. Zbl 1004.65061
Pan, Victor Y.
57
2002
A Mathematica version of Zeilberger’s algorithm for proving binomial coefficient identities. Zbl 0851.68052
Paule, Peter; Schorn, Markus
57
1995
Differential invariants of a Lie group action: syzygies on a generating set. Zbl 1176.12004
Hubert, Evelyne
57
2009
Equational problems and disunification. Zbl 0678.68093
Comon, Hubert; Lescanne, Pierre
55
1989
Recent advances on determining the number of real roots of parametric polynomials. Zbl 0957.65041
Yang, Lu
54
1999
Eigenvectors of tensors and algorithms for Waring decomposition. Zbl 1277.15019
Oeding, Luke; Ottaviani, Giorgio
54
2013
A generalized Euclidean algorithm for computing triangular representations of algebraic varieties. Zbl 0783.14039
Kalkbrener, Michael
53
1993
Computing Riemann-Roch spaces in algebraic function fields and related topics. Zbl 1058.14071
Hess, F.
53
2002
On an installation of Buchberger’s algorithm. Zbl 0675.13013
Gebauer, Rüdiger; Möller, H. Michael
53
1988
Algebraic geometry of Bayesian networks. Zbl 1126.68102
Garcia, Luis David; Stillman, Michael; Sturmfels, Bernd
52
2005
Converting bases with the Gröbner walk. Zbl 0908.13020
Collart, S.; Kalkbrener, M.; Mall, D.
51
1997
Unification theory. Zbl 0678.68098
Siekmann, Jörg H.
50
1989
Symbolic computations of conserved densities for systems of nonlinear evolution equations. Zbl 0891.65129
Göktaş, Ünal; Hereman, Willy
49
1997
On the complexity of computing syzygies. Zbl 0667.68053
Bayer, David; Stillman, Michael
49
1988
Galois groups of second and third order linear differential equations. Zbl 0802.12004
Singer, Michael F.; Ulmer, Felix
47
1993
Solving parametric polynomial systems. Zbl 1156.14044
Lazard, Daniel; Rouillier, Fabrice
47
2007
Parametric generalized offsets to hypersurfaces. Zbl 0878.68134
Arrondo, Enrique; Sendra, Juana; Sendra, J. Rafael
47
1997
Efficient incremental algorithms for the sparse resultant and the mixed volume. Zbl 0843.68036
Emiris, Ioannis Z.; Canny, John F.
47
1995
Thom’s lemma, the coding of real algebraic numbers and the computation of the topology of semi-algebraic sets. Zbl 0689.14006
Coste, M.; Roy, M. F.
47
1988
Rank and eigenvalues of a supersymmetric tensor, the multivariate homogeneous polynomial and the algebraic hypersurface it defines. Zbl 1121.14050
Qi, Liqun
46
2006
Introduction to the GiNaC framework for symbolic computation within the \(\text{C}^{++}\) programming language. Zbl 1017.68163
Bauer, Christian; Frink, Alexander; Kreckel, Richard
45
2002
On the application of Buchberger’s algorithm to automated geometry theorem proving. Zbl 0629.68086
Kutzler, B.; Stifter, S.
45
1986
Calculating invariant rings of finite groups over arbitrary fields. Zbl 0889.13004
Kemper, Gregor
45
1996
The \(p\)-group generation algorithm. Zbl 0736.20001
O’Brien, E. A.
43
1990
Rational parametrization of surfaces. Zbl 0924.14027
Schicho, Josef
43
1998
On the theory of graded structures. Zbl 0609.13007
Robbiano, Lorenzo
43
1986
Factorization-free decomposition algorithms in differential algebra. Zbl 0984.12004
Hubert, Evelyne
43
2000
Solving difference equations in finite terms. Zbl 0930.39004
Hendriks, Peter A.; Singer, Michael F.
43
1999
Localization and primary decomposition of polynomial ideals. Zbl 0874.13022
Shimoyama, Takeshi; Yokoyama, Kazuhiro
42
1996
Solving zero-dimensional algebraic systems. Zbl 0753.13012
Lazard, D.
41
1992
A new algorithm for discussing Gröbner bases with parameters. Zbl 1068.13016
Montes, Antonio
40
2002
Fast construction of irreducible polynomials over finite fields. Zbl 0815.11059
Shoup, Victor
39
1994
Computing isometries of lattices. Zbl 0882.11042
Plesken, W.; Souvignier, B.
39
1997
On the validity of implicitization by moving quadrics for rational surfaces with no base points. Zbl 0959.68124
Cox, David; Goldman, Ronald; Zhang, Ming
39
2000
Termination of term rewriting: Interpretation and type elimination. Zbl 0810.68087
Zantema, H.
38
1994
A database of local fields. Zbl 1140.11350
Jones, John W.; Roberts, David P.
38
2006
Symbolic parametrization of curves. Zbl 0759.14044
Sendra, J. Rafael; Winkler, Franz
38
1991
An algorithm of Katz and its application to the inverse Galois problem. Zbl 1049.12005
Dettweiler, Michael; Reiter, Stefan
38
2000
The \(\mu \)-basis and implicitization of a rational parametric surface. Zbl 1120.14054
Chen, Falai; Cox, David; Liu, Yang
37
2005
Modular algorithms for computing Gröbner bases. Zbl 1046.13018
Arnold, Elizabeth A.
37
2003
Computation of Hilbert functions. Zbl 0763.13007
Bayer, Dave; Stillman, Mike
37
1992
Relax, but don’t be too lazy. Zbl 1011.68189
van der Hoeven, Joris
37
2002
Computing singular points of plane rational curves. Zbl 1130.14039
Chen, Falai; Wang, Wenping; Liu, Yang
37
2008
Computing triangular systems and regular systems. Zbl 1007.65039
Wang, Dongming
37
2000
The method of differentiating under the integral sign. Zbl 0717.33004
Almkvist, Gert; Zeilberger, Doron
37
1990
Factorization of differential operators with rational functions coefficients. Zbl 0886.68082
van Hoeij, Mark
36
1997
Greatest factorial factorization and symbolic summation. Zbl 0854.68047
Paule, Peter
36
1995
Interpolating polynomials from their values. Zbl 0702.65011
Zippel, Richard
36
1990
Index calculus for abelian varieties of small dimension and the elliptic curve discrete logarithm problem. Zbl 1177.94148
Gaudry, Pierrick
35
2009
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
35
1991
Rational parametrizations of algebraic curves using a canonical divisor. Zbl 0878.68073
van Hoeij, Mark
35
1997
Thue systems as rewriting systems. Zbl 0638.68091
Book, Ronald V.
34
1987
Symbolic reachability computation for families of linear vector fields. Zbl 0983.93004
Lafferriere, Gerardo; Pappas, George J.; Yovine, Sergio
34
2001
Matrices in elimination theory. Zbl 0943.13005
Emiris, Ioannis Z.; Mourrain, Bernard
34
1999
Cubic vertex-transitive graphs on up to 1280 vertices. Zbl 1256.05102
Potočnik, Primož; Spiga, Pablo; Verret, Gabriel
34
2013
MOPS: multivariate orthogonal polynomials (symbolically). Zbl 1122.33019
Dumitriu, Ioana; Edelman, Alan; Shuman, Gene
33
2007
Implicitizing rational curves by the method of moving algebraic curves. Zbl 0872.68193
Sederberg, Tom; Goldman, Ron; Du, Hang
33
1997
Parametrization of algebraic curves over optimal field extensions. Zbl 0878.68072
Sendra, J. Rafael; Winkler, Franz
33
1997
Quartic curves and their bitangents. Zbl 1214.14049
Plaumann, Daniel; Sturmfels, Bernd; Vinzant, Cynthia
33
2011
Solving and factoring boundary problems for linear ordinary differential equations in differential algebras. Zbl 1151.34008
Rosenkranz, Markus; Regensburger, Georg
33
2008
Peakword condensation and submodule lattices: An application of the Meat- Axe. Zbl 0828.16001
Lux, Klaus; Müller, Jürgen; Ringe, Michael
32
1994
Using Gröbner bases to reason about geometry problems. Zbl 0629.68087
Kapur, Deepak
32
1986
Liouvillian solutions of linear differential equations with Liouvillian coefficients. Zbl 0776.12002
Singer, Michael F.
32
1991
Sylvester-Habicht sequences and fast Cauchy index computation. Zbl 0976.65043
Lickteig, Thomas; Roy, Marie-Françoise
32
2001
Subdivision methods for solving polynomial equations. Zbl 1158.13010
Mourrain, B.; Pavone, J. P.
32
2009
Properties of substitutions and unifications. Zbl 0589.68063
Eder, Elmar
32
1985
Loci of 3-periodics in an Elliptic Billiard: why so many ellipses? Zbl 07558525
Garcia, Ronaldo; Koiller, Jair; Reznik, Dan
1
2023
Existence and convergence of Puiseux series solutions for autonomous first order differential equations. Zbl 1471.34026
Cano, José; Falkensteiner, Sebastian; Sendra, J. Rafael
2
2022
On certain polynomial systems involving Stirling numbers of second kind. Zbl 07403425
Castro-Jiménez, F. J.; Cobo Pablos, H.
2
2022
Disjoint direct product decompositions of permutation groups. Zbl 07379067
Chang, Mun See; Jefferson, Christopher
1
2022
A linear-algebraic method to compute polynomial PDE conservation laws. Zbl 1475.35124
Boreale, Michele; Collodi, Luisa
1
2022
Polynomial-division-based algorithms for computing linear recurrence relations. Zbl 1481.68050
Berthomieu, Jérémy; Faugère, Jean-Charles
1
2022
Strict inclusions of high rank loci. Zbl 1476.14091
Ballico, Edoardo; Bernardi, Alessandra; Ventura, Emanuele
1
2022
Certification for polynomial systems via square subsystems. Zbl 1476.14103
Duff, Timothy; Hein, Nickolas; Sottile, Frank
1
2022
Stronger bounds on the cost of computing Gröbner bases for HFE systems. Zbl 1473.94100
Gorla, Elisa; Mueller, Daniela; Petit, Christophe
1
2022
Initial steps in the classification of maximal mediated sets. Zbl 1475.52023
Hartzer, Jacob; Röhrig, Olivia; de Wolff, Timo; Yürük, Oğuzhan
1
2022
Measuring the local non-convexity of real algebraic curves. Zbl 1471.14122
Sorea, Miruna-Ştefana
1
2022
Machine-learning the Sato-Tate conjecture. Zbl 1483.11133
He, Yang-Hui; Lee, Kyu-Hwan; Oliver, Thomas
1
2022
Solving parametric systems of polynomial equations over the reals through Hermite matrices. Zbl 1487.14130
Le, Huu Phuoc; Safey El Din, Mohab
1
2022
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
5
2021
Multivariate interpolation: preserving and exploiting symmetry. Zbl 1479.41002
Rodriguez Bazan, Erick; Hubert, Evelyne
5
2021
Polynomial reduction and supercongruences. Zbl 07274358
Hou, Qing-Hu; Mu, Yan-Ping; Zeilberger, Doron
4
2021
Coisotropic hypersurfaces in Grassmannians. Zbl 1472.13046
Kohn, Kathlén
4
2021
On the maximal number of real embeddings of minimally rigid graphs in \(\mathbb{R}^2,\mathbb{R}^3\) and \(S^2\). Zbl 1448.05144
Bartzos, Evangelos; Emiris, Ioannis Z.; Legerský, Jan; Tsigaridas, Elias
3
2021
Identifiability in phylogenetics using algebraic matroids. Zbl 1455.92103
Hollering, Benjamin; Sullivant, Seth
3
2021
Standard monomial theory and toric degenerations of Schubert varieties from matching field tableaux. Zbl 1467.14116
Clarke, Oliver; Mohammadi, Fatemeh
3
2021
Solving determinantal systems using homotopy techniques. Zbl 1461.13034
Hauenstein, Jon D.; Safey El Din, Mohab; Schost, Éric; Vu, Thi Xuan
3
2021
On rational and hypergeometric solutions of linear ordinary difference equations in \(\Pi\Sigma^\ast\)-field extensions. Zbl 1483.12005
Abramov, Sergei A.; Bronstein, Manuel; Petkovšek, Marko; Schneider, Carsten
3
2021
qFunctions – a Mathematica package for \(q\)-series and partition theory applications. Zbl 1465.05001
Ablinger, Jakob; Uncu, Ali Kemal
3
2021
Cyclic distances of idempotent convolutional codes. Zbl 1477.94078
Gómez-Torrecillas, José; Lobillo, F. J.; Navarro, Gabriel
2
2021
Truncated normal forms for solving polynomial systems: generalized and efficient algorithms. Zbl 1443.13024
Mourrain, Bernard; Telen, Simon; Van Barel, Marc
2
2021
Chordal graphs in triangular decomposition in top-down style. Zbl 1443.05132
Mou, Chenqi; Bai, Yang; Lai, Jiahua
2
2021
Constructive arithmetics in Ore localizations enjoying enough commutativity. Zbl 1455.16014
Hoffmann, Johannes; Levandovskyy, Viktor
2
2021
Computing nearby non-trivial Smith forms. Zbl 1452.65084
Giesbrecht, Mark; Haraldson, Joseph; Labahn, George
2
2021
Catalan-many tropical morphisms to trees. Part I: Constructions. Zbl 1467.14160
Draisma, Jan; Vargas, Alejandro
2
2021
Rationalizability of square roots. Zbl 1465.81075
Besier, Marco; Festi, Dino
2
2021
Standard bases over Euclidean domains. Zbl 1444.13035
Eder, Christian; Pfister, Gerhard; Popescu, Adrian
1
2021
Formal reduction of singular linear differential systems using eigenrings: a refined approach. Zbl 1457.12004
Barkatou, Moulay A.; Saade, Joelle; Weil, Jacques-Arthur
1
2021
Computing real radicals and \(S\)-radicals of polynomial systems. Zbl 1448.14061
Safey El Din, Mohab; Yang, Zhi-Hong; Zhi, Lihong
1
2021
Efficient Gröbner bases computation over principal ideal rings. Zbl 1451.13078
Eder, Christian; Hofmann, Tommy
1
2021
Galois groups over rational function fields and explicit Hilbert irreducibility. Zbl 1461.11152
Krumm, David; Sutherland, Nicole
1
2021
Lexicographic and reverse lexicographic quadratic Gröbner bases of cut ideals. Zbl 1457.13051
Sakamoto, Ryuichi
1
2021
Computing the real Weyl group. Zbl 07312467
Dietrich, Heiko; de Graaf, Willem A.
1
2021
Powers of monomial ideals and the Ratliff-Rush operation. Zbl 1457.13006
Gasanova, Oleksandra
1
2021
A constructive method for decomposing real representations. Zbl 07312483
Ali, Sajid; Azad, Hassan; Biswas, Indranil; de Graaf, Willem A.
1
2021
Reducing radicals in the spirit of Euclid. Zbl 1462.12001
Girstmair, Kurt
1
2021
Reconstruction of rational ruled surfaces from their silhouettes. Zbl 1461.14051
Gallet, Matteo; Lubbes, Niels; Schicho, Josef; Vršek, Jan
1
2021
Exact \(p\)-adic computation in Magma. Zbl 1472.11004
Doris, Christopher
1
2021
On the existence of telescopers for rational functions in three variables. Zbl 1465.05185
Chen, Shaoshi; Du, Lixin; Wang, Rong-Hua; Zhu, Chaochao
1
2021
Combinatorial decompositions for monomial ideals. Zbl 1458.13030
Ceria, Michela
1
2021
Computing invariants for multipersistence via spectral systems and effective homology. Zbl 1482.55007
Guidolin, Andrea; Divasón, Jose; Romero, Ana; Vaccarino, Francesco
1
2021
Efficiently factoring polynomials modulo \(p^4\). Zbl 1465.13022
Dwivedi, Ashish; Mittal, Rajat; Saxena, Nitin
1
2021
Wasserstein distance to independence models. Zbl 1460.62205
Çelik, Türkü Özlüm; Jamneshan, Asgar; Montúfar, Guido; Sturmfels, Bernd; Venturello, Lorenzo
1
2021
New ways to multiply \(3 \times 3\)-matrices. Zbl 1491.68276
Heule, Marijn J. H.; Kauers, Manuel; Seidl, Martina
1
2021
Exact algorithms for semidefinite programs with degenerate feasible set. Zbl 1460.90128
Henrion, Didier; Naldi, Simone; Safey El Din, Mohab
1
2021
Toward the best algorithm for approximate GCD of univariate polynomials. Zbl 1475.13050
Nagasaka, Kosaku
1
2021
Symbolic analysis of multiple steady states in a MAPK chemical reaction network. Zbl 1457.92062
Lichtblau, Daniel
1
2021
Multilinear polynomial systems: root isolation and bit complexity. Zbl 1475.13051
Emiris, Ioannis Z.; Mantzaflaris, Angelos; Tsigaridas, Elias P.
1
2021
Symmetric ideals, Specht polynomials and solutions to symmetric systems of equations. Zbl 1475.13053
Moustrou, Philippe; Riener, Cordian; Verdure, Hugues
1
2021
Construction of free differential algebras by extending Gröbner-Shirshov bases. Zbl 1462.13027
Li, Yunnan; Guo, Li
1
2021
On exact Reznick, Hilbert-Artin and Putinar’s representations. Zbl 1476.14102
Magron, Victor; Safey El Din, Mohab
1
2021
A census of small transitive groups and vertex-transitive graphs. Zbl 07211783
Holt, Derek; Royle, Gordon
9
2020
Explicit formulas of Euler sums via multiple zeta values. Zbl 1459.11173
Xu, Ce; Wang, Weiping
8
2020
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
6
2020
An automated study of isoptic curves of an astroid. Zbl 1444.68302
Dana-Picard, Thierry
6
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
6
2020
Lifting tropical bitangents. Zbl 07074721
Len, Yoav; Markwig, Hannah
5
2020
Ranks and symmetric ranks of cubic surfaces. Zbl 1444.14091
Seigal, Anna
4
2020
Cylindrical algebraic decomposition with equational constraints. Zbl 1432.68599
England, Matthew; Bradford, Russell; Davenport, James H.
3
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
3
2020
Fast computation of approximant bases in canonical form. Zbl 1450.65040
Jeannerod, Claude-Pierre; Neiger, Vincent; Villard, Gilles
3
2020
Effective Buchberger-Zacharias-Weispfenning theory of skew polynomial extensions of subbilateral coherent rings. Zbl 1470.13044
Nguefack, Bertrand; Pola, Emmanuel
3
2020
Equations defining probability tree models. Zbl 1451.13086
Duarte, Eliana; Görgen, Christiane
3
2020
The complexity of subdivision for diameter-distance tests. Zbl 1444.68274
Burr, Michael; Gao, Shuhong; Tsigaridas, Elias
3
2020
Editorial: Symbolic computation and satisfiability checking. Zbl 1444.68006
2
2020
Fully incremental cylindrical algebraic decomposition. Zbl 1432.68601
Kremer, Gereon; Ábrahám, Erika
2
2020
Computing and using minimal polynomials. Zbl 1468.13063
Abbott, John; Bigatti, Anna Maria; Palezzato, Elisa; Robbiano, Lorenzo
2
2020
Constructive arithmetics in Ore localizations of domains. Zbl 1441.16029
Hoffmann, Johannes; Levandovskyy, Viktor
2
2020
Zacharias representation of effective associative rings. Zbl 1445.16044
Mora, Teo
2
2020
Noncommutative algebras, context-free grammars and algebraic Hilbert series. Zbl 1455.16007
La Scala, Roberto; Piontkovski, Dmitri; Tiwari, Sharwan K.
2
2020
Separation bounds for polynomial systems. Zbl 1446.68202
Emiris, Ioannis; Mourrain, Bernard; Tsigaridas, Elias
2
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
2
2020
A complete and terminating approach to linear integer solving. Zbl 1432.68597
Bromberger, Martin; Sturm, Thomas; Weidenbach, Christoph
1
2020
On conversions from CNF to ANF. Zbl 1432.68600
Horáček, Jan; Kreuzer, Martin
1
2020
Deterministic polynomial factoring over finite fields: a uniform approach via \(\mathcal{P}\)-schemes. Zbl 1426.11135
Guo, Zeyu
1
2020
Reasoning about linkages with dynamic geometry. Zbl 1440.68341
Kovács, Zoltán; Recio, Tomás; Vélez, M. Pilar
1
2020
Taxonomies of geometric problems. Zbl 1444.68292
Quaresma, Pedro; Santos, Vanda; Graziani, Pierluigi; Baeta, Nuno
1
2020
Non-standard analysis in dynamic geometry. Zbl 1444.68278
Strobel, Michael
1
2020
Matrix formulæ for resultants and discriminants of bivariate tensor-product polynomials. Zbl 1471.13059
Busé, Laurent; Mantzaflaris, Angelos; Tsigaridas, Elias
1
2020
On the extended Hensel construction and its application to the computation of real limit points. Zbl 1455.13044
Alvandi, Parisa; Ataei, Masoud; Kazemi, Mahsa; Moreno Maza, Marc
1
2020
Computing lower rank approximations of matrix polynomials. Zbl 1445.65015
Giesbrecht, Mark; Haraldson, Joseph; Labahn, George
1
2020
Fast Hermite interpolation and evaluation over finite fields of characteristic two. Zbl 1444.68301
Coxon, Nicholas
1
2020
Linear time Fourier transforms of \(S_{n-k}\)-invariant functions on the symmetric group \(S_n\). Zbl 1450.43002
Clausen, Michael
1
2020
On types of degenerate critical points of real polynomial functions. Zbl 1451.13079
Guo, Feng; Phạm, Ti’ên-Son
1
2020
On the complexity of exact counting of dynamically irreducible polynomials. Zbl 1479.11206
Gómez-Pérez, Domingo; Mérai, László; Shparlinski, Igor E.
1
2020
Normal bases from 1-dimensional algebraic groups. Zbl 1462.11111
Ezome, Tony; Sall, Mohamadou
1
2020
Homogeneous Einstein metrics on Stiefel manifolds associated to flag manifolds with two isotropy summands. Zbl 1455.53071
Arvanitoyeorgos, 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.68201
Berthomieu, 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.14097
Barth, Dominik; König, Joachim; Wenz, Andreas
1
2020
Semi-automated proof of supercongruences on partial sums of hypergeometric series. Zbl 1418.68248
Liu, Ji-Cai
17
2019
Existence of Pythagorean-hodograph quintic interpolants to spatial \(G^1\) Hermite data with prescribed arc lengths. Zbl 1432.65024
Farouki, Rida T.
10
2019
An approach to constrained polynomial optimization via nonnegative circuit polynomials and geometric programming. Zbl 1411.12003
Dressler, Mareike; Iliman, Sadik; de Wolff, Timo
9
2019
Formalization of the arithmetization of Euclidean plane geometry and applications. Zbl 1394.68349
Boutry, Pierre; Braun, Gabriel; Narboux, Julien
8
2019
Factorization of motion polynomials. Zbl 1411.16043
Li, Zijia; Schicho, Josef; Schröcker, Hans-Peter
7
2019
On the complexity of the Lickteig-Roy subresultant algorithm. Zbl 1409.13051
Lecerf, Grégoire
7
2019
Algorithms for tight spans and tropical linear spaces. Zbl 06970119
Hampe, Simon; Joswig, Michael; Schröter, Benjamin
5
2019
...and 1488 more Documents
all top 5

Cited by 13,981 Authors

109 Qi, Liqun
63 Conder, Marston D. E.
63 Sturmfels, Bernd
58 O’Brien, Eamonn A.
55 Sendra, Juan Rafael
51 Feng, Yanquan
51 Praeger, Cheryl Elisabeth
50 Ballico, Edoardo
46 Zhou, Jinxin
44 Schost, Éric
43 van der Hoeven, Joris
40 Gao, Xiaoshan
40 Mourrain, Bernard
40 Spiga, Pablo
39 Pan, Victor Yakovlevich
38 Abramov, Sergeĭ Aleksandrovich
36 Pérez-Díaz, Sonia
35 Romanovskiĭ, Valeriĭ Georgievich
34 Farouki, Rida T.
34 Schicho, Josef
34 Wei, Yimin
33 Faugère, Jean-Charles
33 Grigor’ev, Dmitriĭ Yur’evich
33 Leemans, Dimitri
33 Moreno Maza, Marc
32 Eick, Bettina
32 Llibre, Jaume
31 Emiris, Ioannis Z.
31 Giné, Jaume
31 Hashemi, Amir
31 Kapur, Deepak
30 Bu, Changjiang
30 Harada, Masaaki
29 de Graaf, Willem Adriaan
29 Holt, Derek F.
29 Kauers, Manuel
29 Koepf, Wolfram A.
29 Safey El Din, Mohab
29 von zur Gathen, Joachim
28 D’Andrea, Carlos
28 Gaál, István
28 Li, Chaoqian
28 Schneider, Carsten
27 Alcazar, Juan Gerardo
27 Bostan, Alin
27 Giudici, Michael
27 Seiler, Werner M.
27 Xia, Bican
26 Barkatou, Moulay A.
26 Giesbrecht, Mark W.
26 Li, Yaotang
26 Tsigaridas, Elias P.
25 Bernardi, Alessandra
25 Busé, Laurent
25 Meseguer Guaita, José
25 Middeldorp, Aart
25 Roy, Marie-Françoise
25 Wang, Yiju
25 Wazwaz, Abdul-Majid Abdul-Rahman
25 Zeilberger, Doron
24 Burness, Timothy C.
24 Dickenstein, Alicia M.
24 Gerdt, Vladimir Petrovich
24 Hauenstein, Jonathan D.
24 Koutschan, Christoph
24 Nebe, Gabriele
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 Wilson, Robert Arnott
23 Davenport, James Harold
23 Kaltofen, Erich L.
23 Kemper, Gregor
23 Leedham-Green, Charles R.
23 Potočnik, Primož
23 Rusinowitch, Michaël
23 Shen, Liyong
22 Goldman, Ronald N.
22 Hong, Hoon
22 Jeronimo, Gabriela
22 Kutnar, Klavdija
22 Lecerf, Grégoire
22 Marušič, Dragan
22 Szántó, Ágnes
21 Key, Jennifer D.
21 Tajima, Shinichi
20 Baader, Franz
20 Craciun, Gheorghe
20 Dietrich, Heiko
20 Flannery, Dane Laurence
20 Gonzalez-Vega, Laureano
20 Hu, ShengLong
20 Labahn, George
20 Lávička, Miroslav
20 Müller, Jürgen
20 Nie, Jiawang
...and 13,881 more Authors
all top 5

Cited in 856 Journals

1,389 Journal of Symbolic Computation
632 Journal of Algebra
422 Theoretical Computer Science
304 Mathematics of Computation
292 Journal of Pure and Applied Algebra
260 Linear Algebra and its Applications
203 Communications in Algebra
193 Journal of Number Theory
184 Applicable Algebra in Engineering, Communication and Computing
178 Discrete Mathematics
163 Journal of Computational and Applied Mathematics
163 Computer Aided Geometric Design
161 Designs, Codes and Cryptography
159 Journal of Automated Reasoning
155 Transactions of the American Mathematical Society
153 Finite Fields and their Applications
147 Applied Mathematics and Computation
123 Proceedings of the American Mathematical Society
117 Mathematics in Computer Science
116 Information and Computation
110 Discrete Applied Mathematics
109 International Journal of Algebra and Computation
108 Advances in Applied Mathematics
107 Journal of Algebra and its Applications
105 Information Processing Letters
105 Advances in Mathematics
101 LMS Journal of Computation and Mathematics
100 Experimental Mathematics
99 Discrete & Computational Geometry
98 Journal of Algebraic Combinatorics
93 International Journal of Number Theory
87 Journal of Combinatorial Theory. Series A
84 Journal of Systems Science and Complexity
83 Journal of Complexity
82 The Electronic Journal of Combinatorics
81 Journal of Mathematical Physics
73 Linear and Multilinear Algebra
73 Journal de Théorie des Nombres de Bordeaux
71 European Journal of Combinatorics
68 Programming and Computer Software
66 Foundations of Computational Mathematics
64 Annals of Mathematics and Artificial Intelligence
62 Computers & Mathematics with Applications
61 Journal of Mathematical Sciences (New York)
60 Journal of Mathematical Analysis and Applications
60 Mathematische Zeitschrift
58 Frontiers of Mathematics in China
56 Advances in Mathematics of Communications
54 The Ramanujan Journal
50 Artificial Intelligence
50 Algorithmica
50 Journal of High Energy Physics
49 SIAM Journal on Applied Algebra and Geometry
46 Mathematics and Computers in Simulation
45 Journal of Computer and System Sciences
43 Computational Complexity
42 Archiv der Mathematik
41 Computational Geometry
41 International Journal of Bifurcation and Chaos in Applied Sciences and Engineering
40 Journal of Group Theory
40 Cryptography and Communications
39 Journal of Combinatorial Theory. Series B
38 Bulletin of the Australian Mathematical Society
38 Graphs and Combinatorics
38 Mathematical Programming. Series A. Series B
38 Science China. Mathematics
37 Israel Journal of Mathematics
36 Acta Arithmetica
36 Mathematische Annalen
36 Numerical Algorithms
34 Rocky Mountain Journal of Mathematics
34 Computational and Applied Mathematics
32 Annales de l’Institut Fourier
31 Journal of Optimization Theory and Applications
31 SIAM Journal on Matrix Analysis and Applications
31 Research in Number Theory
30 Automatica
30 Semigroup Forum
30 SIAM Journal on Discrete Mathematics
29 International Journal of Computer Mathematics
29 Journal of Commutative Algebra
28 Acta Applicandae Mathematicae
28 Annals of Pure and Applied Logic
28 Applied Mathematics Letters
28 Journal of the American Mathematical Society
28 Journal of Difference Equations and Applications
28 Transformation Groups
27 Collectanea Mathematica
27 Journal of Differential Equations
27 Monatshefte für Mathematik
27 International Journal of Computational Geometry & Applications
26 Annals of Combinatorics
26 Ars Mathematica Contemporanea
25 Computer Physics Communications
25 Mathematical Proceedings of the Cambridge Philosophical Society
25 Bulletin of Mathematical Biology
25 Duke Mathematical Journal
25 Theory and Practice of Logic Programming
24 MSCS. Mathematical Structures in Computer Science
24 Journal of Global Optimization
...and 756 more Journals
all top 5

Cited in 63 Fields

4,436 Computer science (68-XX)
2,333 Algebraic geometry (14-XX)
2,197 Number theory (11-XX)
2,090 Commutative algebra (13-XX)
1,825 Combinatorics (05-XX)
1,670 Group theory and generalizations (20-XX)
1,592 Numerical analysis (65-XX)
1,111 Linear and multilinear algebra; matrix theory (15-XX)
889 Field theory and polynomials (12-XX)
876 Information and communication theory, circuits (94-XX)
819 Mathematical logic and foundations (03-XX)
646 Ordinary differential equations (34-XX)
613 Associative rings and algebras (16-XX)
511 Operations research, mathematical programming (90-XX)
423 Special functions (33-XX)
362 Convex and discrete geometry (52-XX)
355 Dynamical systems and ergodic theory (37-XX)
314 Partial differential equations (35-XX)
267 Quantum theory (81-XX)
266 Geometry (51-XX)
259 Nonassociative rings and algebras (17-XX)
243 Biology and other natural sciences (92-XX)
219 Several complex variables and analytic spaces (32-XX)
211 Systems theory; control (93-XX)
193 Statistics (62-XX)
170 Manifolds and cell complexes (57-XX)
168 Functions of a complex variable (30-XX)
154 Differential geometry (53-XX)
149 Real functions (26-XX)
147 Probability theory and stochastic processes (60-XX)
142 Mechanics of particles and systems (70-XX)
126 Difference and functional equations (39-XX)
123 Approximations and expansions (41-XX)
122 Order, lattices, ordered algebraic structures (06-XX)
114 Algebraic topology (55-XX)
109 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
99 Category theory; homological algebra (18-XX)
96 Operator theory (47-XX)
81 General algebraic systems (08-XX)
78 Mechanics of deformable solids (74-XX)
75 Topological groups, Lie groups (22-XX)
75 Fluid mechanics (76-XX)
74 Global analysis, analysis on manifolds (58-XX)
49 Statistical mechanics, structure of matter (82-XX)
43 Harmonic analysis on Euclidean spaces (42-XX)
41 Relativity and gravitational theory (83-XX)
38 History and biography (01-XX)
38 Functional analysis (46-XX)
37 Calculus of variations and optimal control; optimization (49-XX)
35 General and overarching topics; collections (00-XX)
31 Classical thermodynamics, heat transfer (80-XX)
24 \(K\)-theory (19-XX)
24 Integral transforms, operational calculus (44-XX)
17 Sequences, series, summability (40-XX)
16 Mathematics education (97-XX)
12 Integral equations (45-XX)
12 Optics, electromagnetic theory (78-XX)
10 Abstract harmonic analysis (43-XX)
9 Geophysics (86-XX)
8 General topology (54-XX)
5 Measure and integration (28-XX)
3 Potential theory (31-XX)
2 Astronomy and astrophysics (85-XX)

Citations by Year