×

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
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,691 Computer science (68-XX)
740 Commutative algebra (13-XX)
508 Algebraic geometry (14-XX)
340 Numerical analysis (65-XX)
324 Field theory and polynomials (12-XX)
306 Number theory (11-XX)
250 Group theory and generalizations (20-XX)
158 Mathematical logic and foundations (03-XX)
135 Combinatorics (05-XX)
118 Associative rings and algebras (16-XX)
116 Ordinary differential equations (34-XX)
95 Linear and multilinear algebra; matrix theory (15-XX)
87 Information and communication theory, circuits (94-XX)
85 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)
31 Differential geometry (53-XX)
30 Geometry (51-XX)
27 Difference and functional equations (39-XX)
24 Category theory; homological algebra (18-XX)
22 Mechanics of particles and systems (70-XX)
21 Algebraic topology (55-XX)
21 Manifolds and cell complexes (57-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 Operator theory (47-XX)
5 Optics, electromagnetic theory (78-XX)
4 Sequences, series, summability (40-XX)
4 Classical thermodynamics, heat transfer (80-XX)
4 Mathematics education (97-XX)
3 Abstract harmonic analysis (43-XX)
3 Calculus of variations and optimal control; optimization (49-XX)
2 \(K\)-theory (19-XX)
2 Integral equations (45-XX)
1 Measure and integration (28-XX)
1 Integral transforms, operational calculus (44-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,370 Publications have been cited 28,509 times in 17,402 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
778
2005
Matrix multiplication via arithmetic progressions. Zbl 0702.65046
Coppersmith, Don; Winograd, Shmuel
463
1990
Practical graph isomorphism. II. Zbl 1394.05079
McKay, Brendan D.; Piperno, Adolfo
314
2014
Termination of rewriting. Zbl 0637.68035
Dershowitz, Nachum
201
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.
200
1993
Gröbner bases and primary decomposition of polynomial ideals. Zbl 0667.13008
Gianni, Patrizia; Trager, Barry; Zacharias, Gail
185
1988
An algorithm for solving second order linear homogeneous differential equations. Zbl 0603.68035
Kovacic, Jerald J.
184
1986
The method of creative telescoping. Zbl 0738.33002
Zeilberger, Doron
173
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
168
2006
Partial cylindrical algebraic decomposition for quantifier elimination. Zbl 0754.68063
Collins, George E.; Hong, Hoon
133
1991
Non-commutative Gröbner bases in algebras of solvable type. Zbl 0715.16010
Kandri-Rody, A.; Weispfenning, Volker
114
1990
A structure-preserving clause form translation. Zbl 0636.68119
Plaisted, David A.; Greenbaum, Steven
110
1986
Solving systems of polynomial inequalities in subexponential time. Zbl 0662.12001
Grigor’ev, D. Yu.; Vorobjov, N. N. jun.
107
1988
On the computational complexity and geometry of the first-order theory of the reals. I: Introduction. Preliminaries. The geometry of semi-algebraic sets. The decision problem for the existential theory of the reals. Zbl 0763.68042
Renegar, James
101
1992
Toric dynamical systems. Zbl 1188.37082
Craciun, Gheorghe; Dickenstein, Alicia; Shiu, Anne; Sturmfels, Bernd
100
2009
KANT V4. Zbl 0886.11070
Daberkow, M.; Fieker, C.; Klüners, J.; Pohst, M.; Roegner, K.; Schörnig, M.; Wildanger, K.
97
1997
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
94
1999
On the computational complexity and geometry of the first-order theory of the reals. III: Quantifier elimination. Zbl 0798.68073
Renegar, James
94
1992
The Gröbner fan of an ideal. Zbl 0668.13017
Mora, Teo; Robbiano, Lorenzo
90
1988
Hypergeometric solutions of linear recurrences with polynomial coefficients. Zbl 0761.11008
Petkovšek, Marko
89
1992
Real quantifier elimination is doubly exponential. Zbl 0663.03015
Davenport, James H.; Heintz, Joos
87
1988
Coding with skew polynomial rings. Zbl 1174.94025
Boucher, Delphine; Ulmer, Felix
85
2009
Comprehensive Gröbner bases. Zbl 0784.13013
Weispfenning, Volker
85
1992
Computing symmetric rank for symmetric tensors. Zbl 1211.14057
Bernardi, Alessandra; Gimigliano, Alessandro; Idà, Monica
82
2011
Introduction to the GiNaC framework for symbolic computation within the \(\text{C}^{++}\) programming language. Zbl 1017.68163
Bauer, Christian; Frink, Alexander; Kreckel, Richard
81
2002
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.
78
2004
Computing tropical varieties. Zbl 1121.14051
Bogart, T.; Jensen, A. N.; Speyer, D.; Sturmfels, B.; Thomas, R. R.
78
2007
Effective lattice point counting in rational convex polytopes. Zbl 1137.52303
De Loera, Jesús A.; Hemmecke, Raymond; Tauzer, Jeremiah; Yoshida, Ruriko
73
2005
A Mathematica version of Zeilberger’s algorithm for proving binomial coefficient identities. Zbl 0851.68052
Paule, Peter; Schorn, Markus
72
1995
Non-commutative elimination in Ore algebras proves multivariate identities. Zbl 0944.05006
Chyzak, Frédéric; Salvy, Bruno
71
1998
Recent advances on determining the number of real roots of parametric polynomials. Zbl 0957.65041
Yang, Lu
68
1999
The complexity of linear problems in fields. Zbl 0646.03005
Weispfenning, Volker
68
1988
Rational invariants of a group action. Construction and rewriting. Zbl 1121.13010
Hubert, Evelyne; Kogan, Irina A.
67
2007
Unification theory. Zbl 0678.68098
Siekmann, Jörg H.
67
1989
Univariate polynomials: Nearly optimal algorithms for numerical factorization and root-finding. Zbl 1004.65061
Pan, Victor Y.
66
2002
Equational problems and disunification. Zbl 0678.68093
Comon, Hubert; Lescanne, Pierre
66
1989
A generalized Euclidean algorithm for computing triangular representations of algebraic varieties. Zbl 0783.14039
Kalkbrener, Michael
64
1993
Computing Riemann-Roch spaces in algebraic function fields and related topics. Zbl 1058.14071
Hess, F.
64
2002
On an installation of Buchberger’s algorithm. Zbl 0675.13013
Gebauer, Rüdiger; Möller, H. Michael
63
1988
Algebraic geometry of Bayesian networks. Zbl 1126.68102
Garcia, Luis David; Stillman, Michael; Sturmfels, Bernd
62
2005
Complexity of deciding Tarski algebra. Zbl 0689.03021
Grigor’ev, D. Yu.
61
1988
Symbolic computations of conserved densities for systems of nonlinear evolution equations. Zbl 0891.65129
Göktaş, Ünal; Hereman, Willy
60
1997
The \(p\)-group generation algorithm. Zbl 0736.20001
O’Brien, E. A.
59
1990
Solving parametric polynomial systems. Zbl 1156.14044
Lazard, Daniel; Rouillier, Fabrice
57
2007
Eigenvectors of tensors and algorithms for Waring decomposition. Zbl 1277.15019
Oeding, Luke; Ottaviani, Giorgio
57
2013
Differential invariants of a Lie group action: syzygies on a generating set. Zbl 1176.12004
Hubert, Evelyne
57
2009
Converting bases with the Gröbner walk. Zbl 0908.13020
Collart, S.; Kalkbrener, M.; Mall, D.
55
1997
On the application of Buchberger’s algorithm to automated geometry theorem proving. Zbl 0629.68086
Kutzler, B.; Stifter, S.
54
1986
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
53
1988
Permutation group algorithms based on partitions. I: Theory and algorithms. Zbl 0807.20001
Leon, Jeffrey S.
52
1991
Galois groups of second and third order linear differential equations. Zbl 0802.12004
Singer, Michael F.; Ulmer, Felix
51
1993
Computing isometries of lattices. Zbl 0882.11042
Plesken, W.; Souvignier, B.
51
1997
The method of differentiating under the integral sign. Zbl 0717.33004
Almkvist, Gert; Zeilberger, Doron
51
1990
Termination of term rewriting: Interpretation and type elimination. Zbl 0810.68087
Zantema, H.
50
1994
Parametric generalized offsets to hypersurfaces. Zbl 0878.68134
Arrondo, Enrique; Sendra, Juana; Sendra, J. Rafael
50
1997
Modular algorithms for computing Gröbner bases. Zbl 1046.13018
Arnold, Elizabeth A.
50
2003
Solving difference equations in finite terms. Zbl 0930.39004
Hendriks, Peter A.; Singer, Michael F.
50
1999
Localization and primary decomposition of polynomial ideals. Zbl 0874.13022
Shimoyama, Takeshi; Yokoyama, Kazuhiro
49
1996
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
Solving zero-dimensional algebraic systems. Zbl 0753.13012
Lazard, D.
47
1992
A new algorithm for discussing Gröbner bases with parameters. Zbl 1068.13016
Montes, Antonio
47
2002
A database of local fields. Zbl 1140.11350
Jones, John W.; Roberts, David P.
47
2006
Fast construction of irreducible polynomials over finite fields. Zbl 0815.11059
Shoup, Victor
46
1994
Factorization-free decomposition algorithms in differential algebra. Zbl 0984.12004
Hubert, Evelyne
46
2000
On the theory of graded structures. Zbl 0609.13007
Robbiano, Lorenzo
46
1986
Factorization of differential operators with rational functions coefficients. Zbl 0886.68082
van Hoeij, Mark
46
1997
Interpolating polynomials from their values. Zbl 0702.65011
Zippel, Richard
46
1990
Cubic vertex-transitive graphs on up to 1280 vertices. Zbl 1256.05102
Potočnik, Primož; Spiga, Pablo; Verret, Gabriel
46
2013
Rational parametrization of surfaces. Zbl 0924.14027
Schicho, Josef
45
1998
Calculating invariant rings of finite groups over arbitrary fields. Zbl 0889.13004
Kemper, Gregor
45
1996
The \((n^ 2-1)\)-puzzle and related relocation problems. Zbl 0704.68057
Ratner, Daniel; Warmuth, Manfred
45
1990
On the validity of implicitization by moving quadrics for rational surfaces with no base points. Zbl 0959.68124
Cox, David; Goldman, Ronald; Zhang, Ming
44
2000
Thue systems as rewriting systems. Zbl 0638.68091
Book, Ronald V.
44
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
Solving and factoring boundary problems for linear ordinary differential equations in differential algebras. Zbl 1151.34008
Rosenkranz, Markus; Regensburger, Georg
42
2008
On solutions of linear ordinary difference equations in their coefficient field. Zbl 0961.12004
Bronstein, Manuel
41
2000
Greatest factorial factorization and symbolic summation. Zbl 0854.68047
Paule, Peter
41
1995
Computing singular points of plane rational curves. Zbl 1130.14039
Chen, Falai; Wang, Wenping; Liu, Yang
41
2008
Computing triangular systems and regular systems. Zbl 1007.65039
Wang, Dongming
41
2000
Computation of Hilbert functions. Zbl 0763.13007
Bayer, Dave; Stillman, Mike
41
1992
Matrices in elimination theory. Zbl 0943.13005
Emiris, Ioannis Z.; Mourrain, Bernard
40
1999
Relax, but don’t be too lazy. Zbl 1011.68189
van der Hoeven, Joris
40
2002
Symbolic parametrization of curves. Zbl 0759.14044
Sendra, J. Rafael; Winkler, Franz
40
1991
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.
40
1990
An algorithm of Katz and its application to the inverse Galois problem. Zbl 1049.12005
Dettweiler, Michael; Reiter, Stefan
39
2000
Computing rational parametrizations of canal surfaces. Zbl 0877.68116
Peternell, Martin; Pottmann, Helmut
39
1997
The \(\mu \)-basis and implicitization of a rational parametric surface. Zbl 1120.14054
Chen, Falai; Cox, David; Liu, Yang
39
2005
On the complexity of the \(F_5\) Gröbner basis algorithm. Zbl 1328.68319
Bardet, Magali; Faugère, Jean-Charles; Salvy, Bruno
39
2015
Cohomology and toric varieties and local cohomology with monomial supports. Zbl 1044.14028
Eisenbud, David; Mustaţǎ, Mircea; Stillman, Mike
38
2000
Using Gröbner bases to reason about geometry problems. Zbl 0629.68087
Kapur, Deepak
38
1986
Properties of substitutions and unifications. Zbl 0589.68063
Eder, Elmar
38
1985
Rational parametrizations of algebraic curves using a canonical divisor. Zbl 0878.68073
van Hoeij, Mark
38
1997
MOPS: multivariate orthogonal polynomials (symbolically). Zbl 1122.33019
Dumitriu, Ioana; Edelman, Alan; Shuman, Gene
38
2007
Unification in a combination of arbitrary disjoint equational theories. Zbl 0691.03003
Schmidt-Schauß, Manfred
38
1989
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
Critical configurations for two projective views, a new approach. Zbl 07725351
Bråtelund, Martin
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 1530.14107
Geiger, Alheydis; Panizzut, Marta
1
2024
Computing with Tarski formulas and semi-algebraic sets in a web browser. Zbl 07725360
Kovács, Zoltán; Brown, Christopher; Recio, Tomás; Vajda, Róbert
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
The card guessing game: a generating function approach. Zbl 1496.91036
Krityakierne, Tipaluck; Thanatipanonda, Thotsaporn Aek
5
2023
KP solitons from tropical limits. Zbl 1495.14046
Agostini, Daniele; Fevola, Claudia; Mandelshtam, Yelena; Sturmfels, Bernd
5
2023
Solving degree, last fall degree, and related invariants. Zbl 1491.13035
Caminata, Alessio; Gorla, Elisa
5
2023
Neurons on amoebae. Zbl 1519.14063
Bao, Jiakang; He, Yang-Hui; Hirst, Edward
4
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
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
SONC optimization and exact nonnegativity certificates via second-order cone programming. Zbl 1500.90045
Magron, Victor; Wang, Jie
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
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
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
Certified numerical real root isolation for bivariate nonlinear systems. Zbl 1505.65201
Cheng, Jin-San; Wen, Junyi; Zhang, Bingwei
2
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
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 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 1532.05017
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
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
Computing pullback function of second order differential operators by using their semi-invariants. Zbl 07704553
Aldossari, Shayea
1
2023
Construction of free commutative Reynolds algebras by Gröbner-Shirshov bases. Zbl 1532.16044
Zhang, Tianjie; Gao, Xing; Guo, Li
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
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
Parallelization of triangular decompositions: techniques and implementation. Zbl 1503.13018
Asadi, Mohammadali; Brandt, Alexander; Moir, Robert H. C.; Moreno Maza, Marc; Xie, Yuzhen
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
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
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
Signature Gröbner bases, bases of syzygies and cofactor reconstruction in the free algebra. Zbl 1502.16049
Hofstadler, Clemens; Verron, Thibaut
5
2022
Noetherian operators and primary decomposition. Zbl 1484.14108
Chen, Justin; Härkönen, Marc; Krone, Robert; Leykin, Anton
4
2022
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
Lexicographic Gröbner bases of bivariate polynomials modulo a univariate one. Zbl 07457757
Dahan, Xavier
3
2022
Algebraic equations for constant width curves and Zindler curves. Zbl 1485.53007
Rochera, David
3
2022
Staged tree models with toric structure. Zbl 1491.14074
Görgen, Christiane; Maraj, Aida; Nicklasson, Lisa
3
2022
Heuristics to sift extraneous factors in Dixon resultants. Zbl 07493811
Qin, Xiaolin; Zhang, Lige; Yang, Lu; Cao, Sheng
3
2022
Computing the Lie algebra of the differential Galois group: the reducible case. Zbl 1493.34233
Dreyfus, Thomas; Weil, Jacques-Arthur
3
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
Measuring the local non-convexity of real algebraic curves. Zbl 1471.14122
Sorea, Miruna-Ştefana
3
2022
Unexpected hypersurfaces with multiple fat points. Zbl 1471.14018
Szpond, Justyna
3
2022
Groups whose orders factorise into at most four primes. Zbl 07379069
Dietrich, Heiko; Eick, Bettina; Pan, Xueyu
3
2022
Machine-learning the Sato-Tate conjecture. Zbl 1483.11133
He, Yang-Hui; Lee, Kyu-Hwan; Oliver, Thomas
2
2022
Tensor decomposition for learning Gaussian mixtures from moments. Zbl 1492.14094
Khouja, Rima; Mattei, Pierre-Alexandre; Mourrain, Bernard
2
2022
On the classification of foliations of degree three with one singularity. Zbl 1495.32057
Coutinho, S. C.
2
2022
Effective computations of the Atiyah-Bott formula. Zbl 1487.14115
Muratore, Giosuè; Schneider, Csaba
2
2022
Strict inclusions of high rank loci. Zbl 1476.14091
Ballico, Edoardo; Bernardi, Alessandra; Ventura, Emanuele
2
2022
Voronoi cells of varieties. Zbl 1477.13054
Cifuentes, Diego; Ranestad, Kristian; Sturmfels, Bernd; Weinstein, Madeleine
2
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
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
2
2022
Finite group characters on free resolutions. Zbl 1485.13037
Galetto, Federico
1
2022
\(q\)-Gosper algorithm and simple Bailey pairs. Zbl 1509.33027
Bian, Ke-Xin; Liu, Yue; Mu, Yan-Ping
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
Solving parametric systems of polynomial equations over the reals through Hermite matrices. Zbl 1487.14130
Le, Huu Phuoc; Safey El Din, Mohab
1
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
Saturations of subalgebras, SAGBI bases, and U-invariants. Zbl 1472.13044
Bigatti, Anna Maria; Robbiano, Lorenzo
1
2022
On a tropical version of the Jacobian conjecture. Zbl 1471.14128
Grigoriev, Dima; Radchenko, Danylo
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
14
2021
Wasserstein distance to independence models. Zbl 1460.62205
Çelik, Türkü Özlüm; Jamneshan, Asgar; Montúfar, Guido; Sturmfels, Bernd; Venturello, Lorenzo
9
2021
Symmetric ideals, Specht polynomials and solutions to symmetric systems of equations. Zbl 1475.13053
Moustrou, Philippe; Riener, Cordian; Verdure, Hugues
9
2021
Polynomial reduction and supercongruences. Zbl 1509.11005
Hou, Qing-Hu; Mu, Yan-Ping; Zeilberger, Doron
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
Solving determinantal systems using homotopy techniques. Zbl 1461.13034
Hauenstein, Jon D.; Safey El Din, Mohab; Schost, Éric; Vu, Thi Xuan
6
2021
Identifiability in phylogenetics using algebraic matroids. Zbl 1455.92103
Hollering, Benjamin; Sullivant, Seth
6
2021
Standard monomial theory and toric degenerations of Schubert varieties from matching field tableaux. Zbl 1467.14116
Clarke, Oliver; Mohammadi, Fatemeh
6
2021
Coisotropic hypersurfaces in Grassmannians. Zbl 1472.13046
Kohn, Kathlén
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
Chordal graphs in triangular decomposition in top-down style. Zbl 1443.05132
Mou, Chenqi; Bai, Yang; Lai, Jiahua
5
2021
...and 1554 more Documents
all top 5

Cited by 16,500 Authors

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

Cited in 924 Journals

1,474 Journal of Symbolic Computation
696 Journal of Algebra
437 Theoretical Computer Science
331 Mathematics of Computation
321 Journal of Pure and Applied Algebra
279 Linear Algebra and its Applications
230 Communications in Algebra
218 Discrete Mathematics
213 Journal of Number Theory
209 Applicable Algebra in Engineering, Communication and Computing
197 Designs, Codes and Cryptography
182 Computer Aided Geometric Design
181 Finite Fields and their Applications
179 Journal of Computational and Applied Mathematics
175 Journal of Automated Reasoning
162 Transactions of the American Mathematical Society
156 Applied Mathematics and Computation
135 Mathematics in Computer Science
130 Proceedings of the American Mathematical Society
123 Advances in Applied Mathematics
123 Experimental Mathematics
123 Journal of Algebra and its Applications
122 Information and Computation
121 Discrete Applied Mathematics
119 International Journal of Algebra and Computation
118 Advances in Mathematics
117 Journal of Algebraic Combinatorics
109 Information Processing Letters
107 Discrete & Computational Geometry
107 International Journal of Number Theory
101 LMS Journal of Computation and Mathematics
98 The Electronic Journal of Combinatorics
97 Journal of Combinatorial Theory. Series A
93 Linear and Multilinear Algebra
93 Journal of High Energy Physics
89 Journal of Complexity
87 Journal of Systems Science and Complexity
85 Journal of Mathematical Physics
79 Journal de Théorie des Nombres de Bordeaux
78 Foundations of Computational Mathematics
77 European Journal of Combinatorics
71 Programming and Computer Software
71 Advances in Mathematics of Communications
69 Annals of Mathematics and Artificial Intelligence
69 SIAM Journal on Applied Algebra and Geometry
68 Mathematische Zeitschrift
63 Journal of Mathematical Analysis and Applications
63 Journal of Mathematical Sciences (New York)
62 Computers & Mathematics with Applications
61 The Ramanujan Journal
60 Mathematics and Computers in Simulation
60 Frontiers of Mathematics in China
56 Artificial Intelligence
56 Computer Physics Communications
56 Research in Number Theory
52 Cryptography and Communications
51 Algorithmica
51 Journal of Group Theory
48 Archiv der Mathematik
47 Acta Arithmetica
47 Computational Complexity
47 Computational and Applied Mathematics
46 Journal of Computer and System Sciences
46 Computational Geometry
46 International Journal of Bifurcation and Chaos in Applied Sciences and Engineering
45 Journal of Combinatorial Theory. Series B
43 Bulletin of the Australian Mathematical Society
43 Graphs and Combinatorics
43 Science China. Mathematics
41 SIAM Journal on Matrix Analysis and Applications
41 Numerical Algorithms
41 Mathematical Programming. Series A. Series B
40 Israel Journal of Mathematics
39 Mathematische Annalen
38 Rocky Mountain Journal of Mathematics
38 Journal of Optimization Theory and Applications
38 SIAM Journal on Discrete Mathematics
36 Annales de l’Institut Fourier
35 Quantum Information Processing
34 Journal of Difference Equations and Applications
33 Journal of the London Mathematical Society. Second Series
33 Semigroup Forum
33 Journal of Industrial and Management Optimization
33 Algebra & Number Theory
32 Collectanea Mathematica
32 Monatshefte für Mathematik
32 Communications in Nonlinear Science and Numerical Simulation
32 Mediterranean Journal of Mathematics
32 Journal of Logical and Algebraic Methods in Programming
31 Acta Applicandae Mathematicae
31 International Journal of Computer Mathematics
31 Journal of Combinatorial Designs
31 Transformation Groups
31 Journal of Commutative Algebra
30 Automatica
30 Journal of Differential Equations
30 Annals of Pure and Applied Logic
30 Applied Mathematics Letters
30 Journal of Global Optimization
30 SIGMA. Symmetry, Integrability and Geometry: Methods and Applications
...and 824 more Journals
all top 5

Cited in 63 Fields

5,264 Computer science (68-XX)
2,871 Algebraic geometry (14-XX)
2,734 Number theory (11-XX)
2,381 Commutative algebra (13-XX)
2,285 Combinatorics (05-XX)
1,964 Group theory and generalizations (20-XX)
1,764 Numerical analysis (65-XX)
1,298 Linear and multilinear algebra; matrix theory (15-XX)
1,155 Information and communication theory, circuits (94-XX)
991 Field theory and polynomials (12-XX)
982 Mathematical logic and foundations (03-XX)
755 Ordinary differential equations (34-XX)
710 Associative rings and algebras (16-XX)
609 Operations research, mathematical programming (90-XX)
485 Special functions (33-XX)
478 Quantum theory (81-XX)
458 Convex and discrete geometry (52-XX)
433 Dynamical systems and ergodic theory (37-XX)
372 Partial differential equations (35-XX)
327 Nonassociative rings and algebras (17-XX)
322 Geometry (51-XX)
304 Biology and other natural sciences (92-XX)
262 Several complex variables and analytic spaces (32-XX)
247 Statistics (62-XX)
241 Systems theory; control (93-XX)
215 Manifolds and cell complexes (57-XX)
206 Functions of a complex variable (30-XX)
191 Differential geometry (53-XX)
184 Probability theory and stochastic processes (60-XX)
168 Mechanics of particles and systems (70-XX)
166 Real functions (26-XX)
152 Algebraic topology (55-XX)
147 Difference and functional equations (39-XX)
146 Approximations and expansions (41-XX)
143 Order, lattices, ordered algebraic structures (06-XX)
140 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
123 Operator theory (47-XX)
121 Category theory; homological algebra (18-XX)
89 General algebraic systems (08-XX)
88 Topological groups, Lie groups (22-XX)
86 Fluid mechanics (76-XX)
84 Mechanics of deformable solids (74-XX)
82 Global analysis, analysis on manifolds (58-XX)
58 Relativity and gravitational theory (83-XX)
52 Functional analysis (46-XX)
52 Statistical mechanics, structure of matter (82-XX)
51 General and overarching topics; collections (00-XX)
51 Harmonic analysis on Euclidean spaces (42-XX)
45 History and biography (01-XX)
45 Calculus of variations and optimal control; optimization (49-XX)
33 Classical thermodynamics, heat transfer (80-XX)
28 Integral transforms, operational calculus (44-XX)
23 \(K\)-theory (19-XX)
22 Mathematics education (97-XX)
21 Sequences, series, summability (40-XX)
16 Optics, electromagnetic theory (78-XX)
14 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