×

Journal of Symbolic Computation

Short Title: J. Symb. Comput.
Publisher: Elsevier (Academic Press), London
ISSN: 0747-7171
Online: https://www.sciencedirect.com/journal/journal-of-symbolic-computation/issues
Comments: Journal; Indexed cover-to-cover
Documents Indexed: 2,832 Publications (since 1985)
References Indexed: 2,268 Publications with 56,745 References.
all top 5

Authors

28 Hong, Hoon
22 Schicho, Josef
22 Sendra, Juan Rafael
21 Mourrain, Bernard
21 Safey El Din, Mohab
20 Schost, Éric
19 van der Hoeven, Joris
18 Faugère, Jean-Charles
18 Gao, Xiaoshan
18 Giesbrecht, Mark W.
18 Holt, Derek F.
17 Sturmfels, Bernd
16 Cannon, John J.
16 Kaltofen, Erich L.
16 Kapur, Deepak
16 Moreno Maza, Marc
15 Labahn, George
15 Lazard, Daniel
15 von zur Gathen, Joachim
14 Barkatou, Moulay A.
14 Emiris, Ioannis Z.
14 Salvy, Bruno
14 Szántó, Ágnes
13 Davenport, James Harold
13 Tsigaridas, Elias P.
13 Wang, Dongming
12 Collins, George E.
12 Levandovskyy, Viktor
12 McCallum, Scott
12 Winkler, Franz
11 Abramov, Sergeĭ Aleksandrovich
11 Farouki, Rida T.
11 Hashemi, Amir
11 Koepf, Wolfram A.
11 Petkovšek, Marko
11 Singer, Michael F.
11 Xia, Bican
10 D’Andrea, Carlos
10 de Graaf, Willem Adriaan
10 Eick, Bettina
10 Galligo, André
10 Gianni, Patrizia M.
10 Hauenstein, Jonathan D.
10 Kauers, Manuel
10 Mora, Teo
10 Robbiano, Lorenzo
10 Roy, Marie-Françoise
10 van Hoeij, Mark
10 Weispfenning, Volker
10 Zhi, Lihong
9 Grigor’ev, Dmitriĭ Yur’evich
9 Gutierrez, Jaime
9 Hubert, Evelyne
9 Klüners, Jürgen
9 Mignotte, Maurice
9 Pohst, Michael E.
9 Schmidt-Schauß, Manfred
9 Seiler, Werner M.
9 Storjohann, Arne
9 Ulmer, Felix
9 Yokoyama, Kazuhiro
8 Abbott, John A.
8 Brown, Christopher W.
8 Gonzalez-Vega, Laureano
8 Kalkbrener, Michael
8 La Scala, Roberto
8 Otto, Friedrich
8 Recio, Tomas
8 Rouillier, Fabrice
8 Trager, Barry M.
8 Yap, Chee-Keng
7 Alcazar, Juan Gerardo
7 Bronstein, Manuel Eric
7 Busé, Laurent
7 Chen, Shaoshi
7 Fortuna, Elisabetta
7 Gaál, István
7 Gatermann, Karin
7 Gerdt, Vladimir Petrovich
7 Goldman, Ronald N.
7 Hou, Qinghu
7 Jebelean, Tudor
7 Jeronimo, Gabriela
7 Kemper, Gregor
7 Kutsia, Temur
7 Leykin, Anton
7 Monagan, Michael B.
7 Noro, Masayuki
7 Pfister, Gerhard
7 Rusinowitch, Michaël
7 Sagraloff, Michael
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
...and 3,052 more Authors
all top 5

Fields

1,693 Computer science (68-XX)
740 Commutative algebra (13-XX)
509 Algebraic geometry (14-XX)
339 Numerical analysis (65-XX)
325 Field theory and polynomials (12-XX)
306 Number theory (11-XX)
250 Group theory and generalizations (20-XX)
159 Mathematical logic and foundations (03-XX)
135 Combinatorics (05-XX)
120 Associative rings and algebras (16-XX)
117 Ordinary differential equations (34-XX)
95 Linear and multilinear algebra; matrix theory (15-XX)
87 Information and communication theory, circuits (94-XX)
86 Special functions (33-XX)
64 General and overarching topics; collections (00-XX)
51 Nonassociative rings and algebras (17-XX)
50 Partial differential equations (35-XX)
49 Operations research, mathematical programming (90-XX)
47 Functions of a complex variable (30-XX)
46 Several complex variables and analytic spaces (32-XX)
41 Real functions (26-XX)
40 Convex and discrete geometry (52-XX)
32 Dynamical systems and ergodic theory (37-XX)
32 Differential geometry (53-XX)
30 Geometry (51-XX)
27 Difference and functional equations (39-XX)
24 Category theory; homological algebra (18-XX)
22 Manifolds and cell complexes (57-XX)
22 Mechanics of particles and systems (70-XX)
21 Algebraic topology (55-XX)
21 Statistics (62-XX)
19 Approximations and expansions (41-XX)
19 Mechanics of deformable solids (74-XX)
18 Global analysis, analysis on manifolds (58-XX)
18 Systems theory; control (93-XX)
17 General algebraic systems (08-XX)
17 Biology and other natural sciences (92-XX)
15 Quantum theory (81-XX)
14 Probability theory and stochastic processes (60-XX)
13 Order, lattices, ordered algebraic structures (06-XX)
11 History and biography (01-XX)
10 Topological groups, Lie groups (22-XX)
10 Fluid mechanics (76-XX)
10 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
6 Harmonic analysis on Euclidean spaces (42-XX)
5 Optics, electromagnetic theory (78-XX)
4 Sequences, series, summability (40-XX)
4 Operator theory (47-XX)
4 Classical thermodynamics, heat transfer (80-XX)
4 Mathematics education (97-XX)
3 \(K\)-theory (19-XX)
3 Abstract harmonic analysis (43-XX)
3 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,355 Publications have been cited 27,804 times in 17,017 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
768
2005
Matrix multiplication via arithmetic progressions. Zbl 0702.65046
Coppersmith, Don; Winograd, Shmuel
458
1990
Practical graph isomorphism. II. Zbl 1394.05079
McKay, Brendan D.; Piperno, Adolfo
305
2014
Termination of rewriting. Zbl 0637.68035
Dershowitz, Nachum
198
1987
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.
196
1993
An algorithm for solving second order linear homogeneous differential equations. Zbl 0603.68035
Kovacic, Jerald J.
180
1986
Gröbner bases and primary decomposition of polynomial ideals. Zbl 0667.13008
Gianni, Patrizia; Trager, Barry; Zacharias, Gail
176
1988
The method of creative telescoping. Zbl 0738.33002
Zeilberger, Doron
171
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
151
2006
Partial cylindrical algebraic decomposition for quantifier elimination. Zbl 0754.68063
Collins, George E.; Hong, Hoon
128
1991
Non-commutative Gröbner bases in algebras of solvable type. Zbl 0715.16010
Kandri-Rody, A.; Weispfenning, Volker
112
1990
A structure-preserving clause form translation. Zbl 0636.68119
Plaisted, David A.; Greenbaum, Steven
105
1986
Solving systems of polynomial inequalities in subexponential time. Zbl 0662.12001
Grigor’ev, D. Yu.; Vorobjov, N. N. jun.
105
1988
Toric dynamical systems. Zbl 1188.37082
Craciun, Gheorghe; Dickenstein, Alicia; Shiu, Anne; Sturmfels, Bernd
99
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
98
1992
Cylindrical algebraic decomposition using validated numerics. Zbl 1124.68123
Strzeboński, Adam W.
96
2006
On determinants and eigenvalue theory of tensors. Zbl 1259.15038
Hu, Shenglong; Huang, Zheng-Hai; Ling, Chen; Qi, Liqun
96
2013
On the theories of triangular sets. Zbl 0943.12003
Aubry, Philippe; Lazard, Daniel; Moreno Maza, Marc
92
1999
KANT V4. Zbl 0886.11070
Daberkow, M.; Fieker, C.; Klüners, J.; Pohst, M.; Roegner, K.; Schörnig, M.; Wildanger, K.
92
1997
Real quantifier elimination is doubly exponential. Zbl 0663.03015
Davenport, James H.; Heintz, Joos
87
1988
The Gröbner fan of an ideal. Zbl 0668.13017
Mora, Teo; Robbiano, Lorenzo
87
1988
On the computational complexity and geometry of the first-order theory of the reals. III: Quantifier elimination. Zbl 0798.68073
Renegar, James
87
1992
Hypergeometric solutions of linear recurrences with polynomial coefficients. Zbl 0761.11008
Petkovšek, Marko
87
1992
Coding with skew polynomial rings. Zbl 1174.94025
Boucher, Delphine; Ulmer, Felix
83
2009
Computing symmetric rank for symmetric tensors. Zbl 1211.14057
Bernardi, Alessandra; Gimigliano, Alessandro; Idà, Monica
82
2011
Comprehensive Gröbner bases. Zbl 0784.13013
Weispfenning, Volker
82
1992
Computing tropical varieties. Zbl 1121.14051
Bogart, T.; Jensen, A. N.; Speyer, D.; Sturmfels, B.; Thomas, R. R.
77
2007
Introduction to the GiNaC framework for symbolic computation within the \(\text{C}^{++}\) programming language. Zbl 1017.68163
Bauer, Christian; Frink, Alexander; Kreckel, Richard
73
2002
Non-commutative elimination in Ore algebras proves multivariate identities. Zbl 0944.05006
Chyzak, Frédéric; Salvy, Bruno
71
1998
A Mathematica version of Zeilberger’s algorithm for proving binomial coefficient identities. Zbl 0851.68052
Paule, Peter; Schorn, Markus
71
1995
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.
71
2004
Effective lattice point counting in rational convex polytopes. Zbl 1137.52303
De Loera, Jesús A.; Hemmecke, Raymond; Tauzer, Jeremiah; Yoshida, Ruriko
71
2005
Recent advances on determining the number of real roots of parametric polynomials. Zbl 0957.65041
Yang, Lu
67
1999
Unification theory. Zbl 0678.68098
Siekmann, Jörg H.
67
1989
The complexity of linear problems in fields. Zbl 0646.03005
Weispfenning, Volker
66
1988
Equational problems and disunification. Zbl 0678.68093
Comon, Hubert; Lescanne, Pierre
66
1989
Rational invariants of a group action. Construction and rewriting. Zbl 1121.13010
Hubert, Evelyne; Kogan, Irina A.
66
2007
Univariate polynomials: Nearly optimal algorithms for numerical factorization and root-finding. Zbl 1004.65061
Pan, Victor Y.
65
2002
Computing Riemann-Roch spaces in algebraic function fields and related topics. Zbl 1058.14071
Hess, F.
64
2002
A generalized Euclidean algorithm for computing triangular representations of algebraic varieties. Zbl 0783.14039
Kalkbrener, Michael
64
1993
On an installation of Buchberger’s algorithm. Zbl 0675.13013
Gebauer, Rüdiger; Möller, H. Michael
61
1988
Complexity of deciding Tarski algebra. Zbl 0689.03021
Grigor’ev, D. Yu.
61
1988
Algebraic geometry of Bayesian networks. Zbl 1126.68102
Garcia, Luis David; Stillman, Michael; Sturmfels, Bernd
60
2005
The \(p\)-group generation algorithm. Zbl 0736.20001
O’Brien, E. A.
57
1990
Differential invariants of a Lie group action: syzygies on a generating set. Zbl 1176.12004
Hubert, Evelyne
57
2009
Eigenvectors of tensors and algorithms for Waring decomposition. Zbl 1277.15019
Oeding, Luke; Ottaviani, Giorgio
57
2013
Solving parametric polynomial systems. Zbl 1156.14044
Lazard, Daniel; Rouillier, Fabrice
55
2007
On the application of Buchberger’s algorithm to automated geometry theorem proving. Zbl 0629.68086
Kutzler, B.; Stifter, S.
54
1986
Converting bases with the Gröbner walk. Zbl 0908.13020
Collart, S.; Kalkbrener, M.; Mall, D.
54
1997
Rank and eigenvalues of a supersymmetric tensor, the multivariate homogeneous polynomial and the algebraic hypersurface it defines. Zbl 1121.14050
Qi, Liqun
53
2006
On the complexity of computing syzygies. Zbl 0667.68053
Bayer, David; Stillman, Michael
52
1988
Symbolic computations of conserved densities for systems of nonlinear evolution equations. Zbl 0891.65129
Göktaş, Ünal; Hereman, Willy
52
1997
Permutation group algorithms based on partitions. I: Theory and algorithms. Zbl 0807.20001
Leon, Jeffrey S.
51
1991
Solving difference equations in finite terms. Zbl 0930.39004
Hendriks, Peter A.; Singer, Michael F.
50
1999
Termination of term rewriting: Interpretation and type elimination. Zbl 0810.68087
Zantema, H.
50
1994
Galois groups of second and third order linear differential equations. Zbl 0802.12004
Singer, Michael F.; Ulmer, Felix
49
1993
The method of differentiating under the integral sign. Zbl 0717.33004
Almkvist, Gert; Zeilberger, Doron
48
1990
Computing isometries of lattices. Zbl 0882.11042
Plesken, W.; Souvignier, B.
48
1997
Efficient incremental algorithms for the sparse resultant and the mixed volume. Zbl 0843.68036
Emiris, Ioannis Z.; Canny, John F.
48
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.
48
1988
Parametric generalized offsets to hypersurfaces. Zbl 0878.68134
Arrondo, Enrique; Sendra, Juana; Sendra, J. Rafael
48
1997
Modular algorithms for computing Gröbner bases. Zbl 1046.13018
Arnold, Elizabeth A.
47
2003
On the theory of graded structures. Zbl 0609.13007
Robbiano, Lorenzo
46
1986
Interpolating polynomials from their values. Zbl 0702.65011
Zippel, Richard
46
1990
Fast construction of irreducible polynomials over finite fields. Zbl 0815.11059
Shoup, Victor
46
1994
Localization and primary decomposition of polynomial ideals. Zbl 0874.13022
Shimoyama, Takeshi; Yokoyama, Kazuhiro
46
1996
A database of local fields. Zbl 1140.11350
Jones, John W.; Roberts, David P.
46
2006
Factorization-free decomposition algorithms in differential algebra. Zbl 0984.12004
Hubert, Evelyne
45
2000
Calculating invariant rings of finite groups over arbitrary fields. Zbl 0889.13004
Kemper, Gregor
45
1996
A new algorithm for discussing Gröbner bases with parameters. Zbl 1068.13016
Montes, Antonio
45
2002
Rational parametrization of surfaces. Zbl 0924.14027
Schicho, Josef
45
1998
Solving zero-dimensional algebraic systems. Zbl 0753.13012
Lazard, D.
45
1992
Cubic vertex-transitive graphs on up to 1280 vertices. Zbl 1256.05102
Potočnik, Primož; Spiga, Pablo; Verret, Gabriel
45
2013
Factorization of differential operators with rational functions coefficients. Zbl 0886.68082
van Hoeij, Mark
44
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
43
2000
Thue systems as rewriting systems. Zbl 0638.68091
Book, Ronald V.
43
1987
Index calculus for abelian varieties of small dimension and the elliptic curve discrete logarithm problem. Zbl 1177.94148
Gaudry, Pierrick
43
2009
Symbolic reachability computation for families of linear vector fields. Zbl 0983.93004
Lafferriere, Gerardo; Pappas, George J.; Yovine, Sergio
42
2001
Greatest factorial factorization and symbolic summation. Zbl 0854.68047
Paule, Peter
41
1995
Computation of Hilbert functions. Zbl 0763.13007
Bayer, Dave; Stillman, Mike
41
1992
Solving and factoring boundary problems for linear ordinary differential equations in differential algebras. Zbl 1151.34008
Rosenkranz, Markus; Regensburger, Georg
41
2008
Relax, but don’t be too lazy. Zbl 1011.68189
van der Hoeven, Joris
40
2002
Computing triangular systems and regular systems. Zbl 1007.65039
Wang, Dongming
40
2000
Computing singular points of plane rational curves. Zbl 1130.14039
Chen, Falai; Wang, Wenping; Liu, Yang
40
2008
Matrices in elimination theory. Zbl 0943.13005
Emiris, Ioannis Z.; Mourrain, Bernard
39
1999
An algorithm of Katz and its application to the inverse Galois problem. Zbl 1049.12005
Dettweiler, Michael; Reiter, Stefan
39
2000
Computing with polynomials given by black boxes for their evaluations: greatest common divisors, factorization, separation of numerators and denominators. Zbl 0712.12001
Kaltofen, Erich; Trager, Barry M.
39
1990
Symbolic parametrization of curves. Zbl 0759.14044
Sendra, J. Rafael; Winkler, Franz
39
1991
The \(\mu \)-basis and implicitization of a rational parametric surface. Zbl 1120.14054
Chen, Falai; Cox, David; Liu, Yang
39
2005
Cohomology and toric varieties and local cohomology with monomial supports. Zbl 1044.14028
Eisenbud, David; Mustaţǎ, Mircea; Stillman, Mike
38
2000
Improved projection for cylindrical algebraic decomposition. Zbl 0981.68186
Brown, Christopher W.
38
2001
On the complexity of the \(F_5\) Gröbner basis algorithm. Zbl 1328.68319
Bardet, Magali; Faugère, Jean-Charles; Salvy, Bruno
38
2015
Using Gröbner bases to reason about geometry problems. Zbl 0629.68087
Kapur, Deepak
38
1986
Unification in a combination of arbitrary disjoint equational theories. Zbl 0691.03003
Schmidt-Schauß, Manfred
38
1989
Theory of summation in finite terms. Zbl 0585.68052
Karr, Michael
37
1985
Properties of substitutions and unifications. Zbl 0589.68063
Eder, Elmar
37
1985
The \((n^ 2-1)\)-puzzle and related relocation problems. Zbl 0704.68057
Ratner, Daniel; Warmuth, Manfred
37
1990
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
37
1991
Rational parametrizations of algebraic curves using a canonical divisor. Zbl 0878.68073
van Hoeij, Mark
37
1997
An algorithmic approach based on generating trees for enumerating pattern-avoiding inversion sequences. Zbl 1519.05008
Kotsireas, Ilias; Mansour, Toufik; Yıldırım, Gökhan
4
2024
Massively parallel computation of tropical varieties, their positive part, and tropical Grassmannians. Zbl 07725349
Bendle, Dominik; Böhm, Janko; Ren, Yue; Schröter, Benjamin
3
2024
Counting solutions of a polynomial system locally and exactly. Zbl 07725347
Becker, Ruben; Sagraloff, Michael
2
2024
A “pseudo-polynomial” algorithm for the Frobenius number and Gröbner basis. Zbl 1523.13043
Morales, Marcel; Dung, Nguyen Thi
2
2024
Free resolutions and Lefschetz properties of some Artin Gorenstein rings of codimension four. Zbl 1524.13065
Abdallah, Nancy; Schenck, Hal
2
2024
Representation of hypergeometric products of higher nesting depths in difference rings. Zbl 1527.33003
Ocansey, Evans Doe; Schneider, Carsten
1
2024
Computing tropical bitangents to smooth quartic curves in polymake. Zbl 07725350
Geiger, Alheydis; Panizzut, Marta
1
2024
Critical configurations for two projective views, a new approach. Zbl 07725351
Bråtelund, Martin
1
2024
Sum-of-squares certificates for Vizing’s conjecture via determining Gröbner bases. Zbl 1519.05190
Gaar, Elisabeth; Siebenhofer, Melanie
1
2024
Isolating all the real roots of a mixed trigonometric-polynomial. Zbl 07740058
Chen, Rizeng; Li, Haokun; Xia, Bican; Zhao, Tianqi; Zheng, Tao
1
2024
The critical curvature degree of an algebraic variety. Zbl 1527.14114
Horobeţ, Emil
1
2024
KP solitons from tropical limits. Zbl 1495.14046
Agostini, Daniele; Fevola, Claudia; Mandelshtam, Yelena; Sturmfels, Bernd
4
2023
The card guessing game: a generating function approach. Zbl 1496.91036
Krityakierne, Tipaluck; Thanatipanonda, Thotsaporn Aek
4
2023
Neurons on amoebae. Zbl 1519.14063
Bao, Jiakang; He, Yang-Hui; Hirst, Edward
3
2023
Computing critical points for invariant algebraic systems. Zbl 1499.14096
Faugère, Jean-Charles; Labahn, George; Safey El Din, Mohab; Schost, Éric; Vu, Thi Xuan
3
2023
Solving degree, last fall degree, and related invariants. Zbl 1491.13035
Caminata, Alessio; Gorla, Elisa
3
2023
Machine learning the real discriminant locus. Zbl 1504.14104
Bernal, Edgar A.; Hauenstein, Jonathan D.; Mehta, Dhagash; Regan, Margaret H.; Tang, Tingting
3
2023
A signature-based algorithm for computing the nondegenerate locus of a polynomial system. Zbl 07704551
Eder, Christian; Lairez, Pierre; Mohr, Rafael; El Din, Mohab Safey
3
2023
Gram spectrahedra of ternary quartics. Zbl 1516.14107
Vill, Julian
2
2023
An extension of holonomic sequences: \(C^2\)-finite sequences. Zbl 1511.16025
Jiménez-Pastor, Antonio; Nuspl, Philipp; Pillwein, Veronika
2
2023
A certified iterative method for isolated singular roots. Zbl 1514.13029
Mantzaflaris, Angelos; Mourrain, Bernard; Szanto, Agnes
2
2023
Positive dimensional parametric polynomial systems, connectivity queries and applications in robotics. Zbl 1506.14118
Capco, Jose; Safey El Din, Mohab; Schicho, Josef
2
2023
SONC optimization and exact nonnegativity certificates via second-order cone programming. Zbl 1500.90045
Magron, Victor; Wang, Jie
2
2023
The factorial-basis method for finding definite-sum solutions of linear recurrences with polynomial coefficients. Zbl 07658452
Jiménez-Pastor, Antonio; Petkovšek, Marko
2
2023
Computing rational powers of monomial ideals. Zbl 1499.13067
Dongre, Pratik; Drabkin, Benjamin; Lim, Josiah; Partida, Ethan; Roy, Ethan; Ruff, Dylan; Seceleanu, Alexandra; Tang, Tingting
1
2023
\(q\)-rational reduction and \(q\)-analogues of series for \(\pi\). Zbl 07621045
Wang, Rong-Hua; Zhong, Michael X. X.
1
2023
Regular orbits of finite primitive solvable groups, the final classification. Zbl 1511.20040
Holt, Derek; Yang, Yong
1
2023
A fast algorithm for computing the Smith normal form with multipliers for a nonsingular integer matrix. Zbl 1505.65190
Birmpilis, Stavros; Labahn, George; Storjohann, Arne
1
2023
Computing splitting fields using Galois theory and other Galois constructions. Zbl 1518.11080
Fieker, Claus; Sutherland, Nicole
1
2023
Computing valuations of the Dieudonné determinants. Zbl 1506.12006
Oki, Taihei
1
2023
Perfect refiners for permutation group backtracking algorithms. Zbl 1514.20007
Jefferson, Christopher; Waldecker, Rebecca; Wilson, Wilf A.
1
2023
Degrees of Kalman varieties of tensors. Zbl 1497.14104
Shahidi, Zahra; Sodomaco, Luca; Ventura, Emanuele
1
2023
Certified numerical real root isolation for bivariate nonlinear systems. Zbl 1505.65201
Cheng, Jin-San; Wen, Junyi; Zhang, Bingwei
1
2023
General non-realizability certificates for spheres with linear programming. Zbl 1493.05061
Gouveia, João; Macchia, Antonio; Wiebe, Amy
1
2023
Multivariate volume, Ehrhart, and \(h^\ast \)-polynomials of polytropes. Zbl 07558518
Brandenburg, Marie-Charlotte; Elia, Sophia; Zhang, Leon
1
2023
Exploring circulations yielding no vortex equilibria. Zbl 1505.76018
Tsai, Ya-Lun
1
2023
Duality of sum of nonnegative circuit polynomials and optimal SONC bounds. Zbl 1491.90116
Papp, Dávid
1
2023
Fast commutative matrix algorithms. Zbl 07558523
Rosowski, Andreas
1
2023
Loci of 3-periodics in an Elliptic Billiard: why so many ellipses? Zbl 1506.37042
Garcia, Ronaldo; Koiller, Jair; Reznik, Dan
1
2023
The anisotropic part of a quadratic form over a number field. Zbl 1511.11039
Koprowski, Przemysław; Rothkegel, Beata
1
2023
On initials and the fundamental theorem of tropical partial differential algebraic geometry. Zbl 1502.14150
Falkensteiner, Sebastian; Garay-López, Cristhian; Haiech, Mercedes; Noordman, Marc Paul; Boulier, François; Toghani, Zeinab
1
2023
Fast computation of the \(N\)-th term of a \(q\)-holonomic sequence and applications. Zbl 07589742
Bostan, Alin; Yurkevich, Sergey
1
2023
Computing free non-commutative Gröbner bases over \(\mathbb{Z}\) with Singular:Letterplace. Zbl 1523.16055
Levandovskyy, Viktor; Metzlaff, Tobias; Zeid, Karim Abou
1
2023
Signatures of algebraic curves via numerical algebraic geometry. Zbl 1507.14047
Duff, Timothy; Ruddy, Michael
1
2023
Machine learning invariants of arithmetic curves. Zbl 1522.14004
He, Yang-Hui; Lee, Kyu-Hwan; Oliver, Thomas
1
2023
An algorithmic approach to small limit cycles of nonlinear differential systems: the averaging method revisited. Zbl 1505.34066
Huang, Bo; Yap, Chee
1
2023
A new algorithm for computing staggered linear bases. Zbl 1519.13015
Hashemi, Amir; Möller, H. Michael
1
2023
Lower bounds on the rank and symmetric rank of real tensors. Zbl 1514.15038
Wang, Kexin; Seigal, Anna
1
2023
Special issue on algebraic geometry and machine learning. Zbl 07680286
1
2023
Computing pullback function of second order differential operators by using their semi-invariants. Zbl 07704553
Aldossari, Shayea
1
2023
Betti sequence of the projective closure of affine monomial curves. Zbl 1521.13037
Saha, Joydip; Sengupta, Indranath; Srivastava, Pranjal
1
2023
Reflection groups and cones of sums of squares. Zbl 1521.14102
Debus, Sebastian; Riener, Cordian
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
4
2022
On certain polynomial systems involving Stirling numbers of second kind. Zbl 1500.11021
Castro-Jiménez, F. J.; Cobo Pablos, H.
3
2022
Certification for polynomial systems via square subsystems. Zbl 1476.14103
Duff, Timothy; Hein, Nickolas; Sottile, Frank
3
2022
Unexpected hypersurfaces with multiple fat points. Zbl 1471.14018
Szpond, Justyna
3
2022
Heuristics to sift extraneous factors in Dixon resultants. Zbl 07493811
Qin, Xiaolin; Zhang, Lige; Yang, Lu; Cao, Sheng
3
2022
Signature Gröbner bases, bases of syzygies and cofactor reconstruction in the free algebra. Zbl 1502.16049
Hofstadler, Clemens; Verron, Thibaut
3
2022
Staged tree models with toric structure. Zbl 1491.14074
Görgen, Christiane; Maraj, Aida; Nicklasson, Lisa
3
2022
Noetherian operators and primary decomposition. Zbl 1484.14108
Chen, Justin; Härkönen, Marc; Krone, Robert; Leykin, Anton
3
2022
Lexicographic Gröbner bases of bivariate polynomials modulo a univariate one. Zbl 07457757
Dahan, Xavier
3
2022
Groups whose orders factorise into at most four primes. Zbl 07379069
Dietrich, Heiko; Eick, Bettina; Pan, Xueyu
3
2022
Stronger bounds on the cost of computing Gröbner bases for HFE systems. Zbl 1473.94100
Gorla, Elisa; Mueller, Daniela; Petit, Christophe
2
2022
Measuring the local non-convexity of real algebraic curves. Zbl 1471.14122
Sorea, Miruna-Ştefana
2
2022
On the classification of foliations of degree three with one singularity. Zbl 1495.32057
Coutinho, S. C.
2
2022
Computing the Lie algebra of the differential Galois group: the reducible case. Zbl 1493.34233
Dreyfus, Thomas; Weil, Jacques-Arthur
2
2022
Effective computations of the Atiyah-Bott formula. Zbl 1487.14115
Muratore, Giosuè; Schneider, Csaba
2
2022
Algebraic equations for constant width curves and Zindler curves. Zbl 1485.53007
Rochera, David
2
2022
Tensor decomposition for learning Gaussian mixtures from moments. Zbl 1492.14094
Khouja, Rima; Mattei, Pierre-Alexandre; Mourrain, Bernard
2
2022
Polynomial-division-based algorithms for computing linear recurrence relations. Zbl 1481.68050
Berthomieu, Jérémy; Faugère, Jean-Charles
1
2022
Stream/block ciphers, difference equations and algebraic attacks. Zbl 1477.13052
La Scala, Roberto; Tiwari, Sharwan K.
1
2022
Catalecticant intersections and confinement of decompositions of forms. Zbl 1474.14074
Angelini, Elena; Bocci, Cristiano; Chiantini, Luca
1
2022
Strict inclusions of high rank loci. Zbl 1476.14091
Ballico, Edoardo; Bernardi, Alessandra; Ventura, Emanuele
1
2022
Saturations of subalgebras, SAGBI bases, and U-invariants. Zbl 1472.13044
Bigatti, Anna Maria; Robbiano, Lorenzo
1
2022
Voronoi cells of varieties. Zbl 1477.13054
Cifuentes, Diego; Ranestad, Kristian; Sturmfels, Bernd; Weinstein, Madeleine
1
2022
On a tropical version of the Jacobian conjecture. Zbl 1471.14128
Grigoriev, Dima; Radchenko, Danylo
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
Solving parametric systems of polynomial equations over the reals through Hermite matrices. Zbl 1487.14130
Le, Huu Phuoc; Safey El Din, Mohab
1
2022
Finite group characters on free resolutions. Zbl 1485.13037
Galetto, Federico
1
2022
Homogeneous spaces of real simple Lie groups with proper actions of non virtually abelian discrete subgroups: a computational approach. Zbl 1492.22008
Bocheński, Maciej; Jastrzȩbski, Piotr; Tralle, Aleksy
1
2022
Machine-learning the Sato-Tate conjecture. Zbl 1483.11133
He, Yang-Hui; Lee, Kyu-Hwan; Oliver, Thomas
1
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
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
18
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
13
2021
Symmetric ideals, Specht polynomials and solutions to symmetric systems of equations. Zbl 1475.13053
Moustrou, Philippe; Riener, Cordian; Verdure, Hugues
9
2021
Wasserstein distance to independence models. Zbl 1460.62205
Çelik, Türkü Özlüm; Jamneshan, Asgar; Montúfar, Guido; Sturmfels, Bernd; Venturello, Lorenzo
8
2021
qFunctions – a Mathematica package for \(q\)-series and partition theory applications. Zbl 1465.05001
Ablinger, Jakob; Uncu, Ali Kemal
7
2021
On exact Reznick, Hilbert-Artin and Putinar’s representations. Zbl 1476.14102
Magron, Victor; Safey El Din, Mohab
7
2021
Polynomial reduction and supercongruences. Zbl 1509.11005
Hou, Qing-Hu; Mu, Yan-Ping; Zeilberger, Doron
7
2021
Identifiability in phylogenetics using algebraic matroids. Zbl 1455.92103
Hollering, Benjamin; Sullivant, Seth
6
2021
Solving determinantal systems using homotopy techniques. Zbl 1461.13034
Hauenstein, Jon D.; Safey El Din, Mohab; Schost, Éric; Vu, Thi Xuan
6
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
6
2021
Multivariate interpolation: preserving and exploiting symmetry. Zbl 1479.41002
Rodriguez Bazan, Erick; Hubert, Evelyne
5
2021
Standard monomial theory and toric degenerations of Schubert varieties from matching field tableaux. Zbl 1467.14116
Clarke, Oliver; Mohammadi, Fatemeh
5
2021
Chordal graphs in triangular decomposition in top-down style. Zbl 1443.05132
Mou, Chenqi; Bai, Yang; Lai, Jiahua
5
2021
Coisotropic hypersurfaces in Grassmannians. Zbl 1472.13046
Kohn, Kathlén
5
2021
Rationalizability of square roots. Zbl 1465.81075
Besier, Marco; Festi, Dino
4
2021
New ways to multiply \(3 \times 3\)-matrices. Zbl 1491.68276
Heule, Marijn J. H.; Kauers, Manuel; Seidl, Martina
4
2021
Galois groups over rational function fields and explicit Hilbert irreducibility. Zbl 1461.11152
Krumm, David; Sutherland, Nicole
4
2021
...and 1541 more Documents
all top 5

Cited by 16,214 Authors

111 Qi, Liqun
73 Conder, Marston Donald Edward
67 Sturmfels, Bernd
61 O’Brien, Eamonn A.
60 Sendra, Juan Rafael
60 Zhou, Jinxin
58 Feng, Yanquan
57 Praeger, Cheryl Elisabeth
55 Ballico, Edoardo
51 Schost, Éric
47 van der Hoeven, Joris
46 Spiga, Pablo
44 Gao, Xiaoshan
43 Mourrain, Bernard
41 Pan, Victor Yakovlevich
40 Abramov, Sergeĭ Aleksandrovich
40 Kauers, Manuel
40 Pérez-Díaz, Sonia
39 Safey El Din, Mohab
39 Schneider, Carsten
38 Romanovskiĭ, Valeriĭ Georgievich
37 Farouki, Rida T.
37 Kapur, Deepak
37 Moreno Maza, Marc
37 Wei, Yimin
36 Eick, Bettina
36 Leemans, Dimitri
36 Schicho, Josef
35 Bu, Changjiang
35 Faugère, Jean-Charles
35 Harada, Masaaki
35 Hashemi, Amir
35 Llibre, Jaume
34 Burness, Timothy C.
34 Giné, Jaume
33 Grigor’ev, Dmitriĭ Yur’evich
32 Bostan, Alin
32 de Graaf, Willem Adriaan
32 Emiris, Ioannis Z.
32 Koutschan, Christoph
32 Siksek, Samir
31 Alcazar, Juan Gerardo
31 Holt, Derek F.
31 Xia, Bican
30 D’Andrea, Carlos
30 Davenport, James Harold
30 Gaál, István
30 Giudici, Michael
30 Li, Chaoqian
30 Middeldorp, Aart
30 Seiler, Werner M.
29 Hauenstein, Jonathan D.
29 Koepf, Wolfram A.
29 Voight, John Michael
29 von zur Gathen, Joachim
29 Zeilberger, Doron
28 Baader, Franz
28 Barkatou, Moulay A.
28 Guo, Li
28 Otto, Friedrich
28 Wang, Dongming
27 Busé, Laurent
27 Giesbrecht, Mark W.
27 Meseguer Guaita, José
27 Nebe, Gabriele
27 Potočnik, Primož
27 Singer, Michael F.
27 Tsigaridas, Elias P.
27 Wang, Yiju
26 Bernardi, Alessandra
26 Dickenstein, Alicia M.
26 Jeronimo, Gabriela
26 Li, Yaotang
26 Peltier, Nicolas
26 Rusinowitch, Michaël
26 van Hoeij, Mark
25 Craciun, Gheorghe
25 Fu, Fangwei
25 Gerdt, Vladimir Petrovich
25 Mora, Teo
25 Özbudak, Ferruh
25 Roy, Marie-Françoise
25 Shen, Liyong
25 Stoll, Michael
24 Gao, Jian
24 Kaltofen, Erich L.
24 Kemper, Gregor
24 Kutnar, Klavdija
24 Lecerf, Grégoire
24 Leedham-Green, Charles R.
24 Pohst, Michael E.
24 Rodrigues, Bernardo Gabriel
24 Song, Yisheng
24 Szántó, Ágnes
24 Tajima, Shinichi
24 Wilson, Robert Arnott
23 Hong, Hoon
23 Key, Jennifer D.
23 Labahn, George
23 Lucas, Salvador
...and 16,114 more Authors
all top 5

Cited in 917 Journals

1,458 Journal of Symbolic Computation
687 Journal of Algebra
432 Theoretical Computer Science
327 Mathematics of Computation
315 Journal of Pure and Applied Algebra
278 Linear Algebra and its Applications
225 Communications in Algebra
212 Discrete Mathematics
210 Journal of Number Theory
207 Applicable Algebra in Engineering, Communication and Computing
186 Designs, Codes and Cryptography
176 Journal of Computational and Applied Mathematics
176 Journal of Automated Reasoning
175 Computer Aided Geometric Design
175 Finite Fields and their Applications
162 Transactions of the American Mathematical Society
154 Applied Mathematics and Computation
135 Mathematics in Computer Science
129 Proceedings of the American Mathematical Society
122 Experimental Mathematics
122 Journal of Algebra and its Applications
121 Information and Computation
119 Advances in Applied Mathematics
119 International Journal of Algebra and Computation
117 Discrete Applied Mathematics
116 Journal of Algebraic Combinatorics
113 Advances in Mathematics
107 Discrete & Computational Geometry
107 International Journal of Number Theory
106 Information Processing Letters
101 LMS Journal of Computation and Mathematics
95 Journal of Combinatorial Theory. Series A
95 The Electronic Journal of Combinatorics
93 Linear and Multilinear Algebra
92 Journal of High Energy Physics
88 Journal of Complexity
86 Journal of Systems Science and Complexity
85 Journal of Mathematical Physics
78 Journal de Théorie des Nombres de Bordeaux
77 Foundations of Computational Mathematics
75 European Journal of Combinatorics
71 Programming and Computer Software
71 Advances in Mathematics of Communications
70 Annals of Mathematics and Artificial Intelligence
68 SIAM Journal on Applied Algebra and Geometry
67 Mathematische Zeitschrift
63 Journal of Mathematical Sciences (New York)
62 Computers & Mathematics with Applications
62 Journal of Mathematical Analysis and Applications
60 The Ramanujan Journal
60 Frontiers of Mathematics in China
54 Research in Number Theory
53 Artificial Intelligence
52 Cryptography and Communications
51 Algorithmica
51 Journal of Group Theory
48 Archiv der Mathematik
48 Mathematics and Computers in Simulation
47 Computational Complexity
46 Journal of Computer and System Sciences
46 Computational Geometry
45 Journal of Combinatorial Theory. Series B
45 Computational and Applied Mathematics
44 Acta Arithmetica
43 Science China. Mathematics
42 Bulletin of the Australian Mathematical Society
42 Graphs and Combinatorics
41 SIAM Journal on Matrix Analysis and Applications
41 Mathematical Programming. Series A. Series B
41 International Journal of Bifurcation and Chaos in Applied Sciences and Engineering
40 Numerical Algorithms
39 Computer Physics Communications
39 Israel Journal of Mathematics
39 Mathematische Annalen
38 Rocky Mountain Journal of Mathematics
38 SIAM Journal on Discrete Mathematics
36 Annales de l’Institut Fourier
36 Journal of Optimization Theory and Applications
34 Quantum Information Processing
33 Semigroup Forum
33 Journal of Industrial and Management Optimization
32 Monatshefte für Mathematik
32 Journal of Difference Equations and Applications
32 Mediterranean Journal of Mathematics
32 Algebra & Number Theory
31 Collectanea Mathematica
31 Journal of the London Mathematical Society. Second Series
31 Acta Applicandae Mathematicae
31 International Journal of Computer Mathematics
31 Transformation Groups
31 Journal of Logical and Algebraic Methods in Programming
30 Automatica
30 Annals of Pure and Applied Logic
30 Applied Mathematics Letters
30 SIGMA. Symmetry, Integrability and Geometry: Methods and Applications
30 Logical Methods in Computer Science
30 Journal of Commutative Algebra
29 Journal of the American Mathematical Society
29 Ars Mathematica Contemporanea
28 Journal of Differential Equations
...and 817 more Journals
all top 5

Cited in 63 Fields

5,156 Computer science (68-XX)
2,825 Algebraic geometry (14-XX)
2,673 Number theory (11-XX)
2,343 Commutative algebra (13-XX)
2,225 Combinatorics (05-XX)
1,943 Group theory and generalizations (20-XX)
1,731 Numerical analysis (65-XX)
1,287 Linear and multilinear algebra; matrix theory (15-XX)
1,122 Information and communication theory, circuits (94-XX)
980 Field theory and polynomials (12-XX)
974 Mathematical logic and foundations (03-XX)
729 Ordinary differential equations (34-XX)
697 Associative rings and algebras (16-XX)
597 Operations research, mathematical programming (90-XX)
473 Special functions (33-XX)
443 Convex and discrete geometry (52-XX)
432 Quantum theory (81-XX)
408 Dynamical systems and ergodic theory (37-XX)
352 Partial differential equations (35-XX)
315 Nonassociative rings and algebras (17-XX)
315 Geometry (51-XX)
299 Biology and other natural sciences (92-XX)
260 Several complex variables and analytic spaces (32-XX)
241 Statistics (62-XX)
239 Systems theory; control (93-XX)
215 Manifolds and cell complexes (57-XX)
200 Functions of a complex variable (30-XX)
190 Differential geometry (53-XX)
179 Probability theory and stochastic processes (60-XX)
164 Real functions (26-XX)
162 Mechanics of particles and systems (70-XX)
150 Algebraic topology (55-XX)
142 Approximations and expansions (41-XX)
141 Order, lattices, ordered algebraic structures (06-XX)
140 Difference and functional equations (39-XX)
134 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
119 Operator theory (47-XX)
118 Category theory; homological algebra (18-XX)
87 General algebraic systems (08-XX)
85 Topological groups, Lie groups (22-XX)
85 Fluid mechanics (76-XX)
83 Mechanics of deformable solids (74-XX)
79 Global analysis, analysis on manifolds (58-XX)
56 Relativity and gravitational theory (83-XX)
52 Statistical mechanics, structure of matter (82-XX)
51 Harmonic analysis on Euclidean spaces (42-XX)
51 Functional analysis (46-XX)
49 General and overarching topics; collections (00-XX)
45 Calculus of variations and optimal control; optimization (49-XX)
44 History and biography (01-XX)
31 Classical thermodynamics, heat transfer (80-XX)
28 Integral transforms, operational calculus (44-XX)
24 \(K\)-theory (19-XX)
21 Sequences, series, summability (40-XX)
21 Mathematics education (97-XX)
16 Optics, electromagnetic theory (78-XX)
13 Integral equations (45-XX)
11 Abstract harmonic analysis (43-XX)
11 General topology (54-XX)
9 Geophysics (86-XX)
7 Measure and integration (28-XX)
5 Potential theory (31-XX)
3 Astronomy and astrophysics (85-XX)

Citations by Year