×
Author ID: buchberger.bruno Recent zbMATH articles by "Buchberger, Bruno"
Published as: Buchberger, Bruno; Buchberger, B.
External Links: MGP · Wikidata · GND · IdRef
Documents Indexed: 82 Publications since 1965, including 4 Books
12 Contributions as Editor · 1 Further Contribution
Biographic References: 3 Publications
Co-Authors: 56 Co-Authors with 44 Joint Publications
1,036 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

61 Publications have been cited 1,600 times in 1,119 Documents Cited by Year
Gröbner bases: an algorithmic method in polynomial ideal theory. Zbl 0587.13009
Buchberger, B.
352
1985
An algorithm for finding the basis elements of the residue class ring of a zero dimensional polynomial ideal. (Ein Algorithmus zum Auffinden der Basiselemente des Restklassenringes nach einem nulldimensionalen Polynomideal.) Zbl 1245.13020
Buchberger, Bruno
335
1965
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
Ein algorithmisches Kriterium für die Lösbarkeit eines algebraischen Gleichungssystems. Zbl 0212.06401
Buchberger, B.
151
1970
A criterion for detecting unnecessary reductions in the construction of Gröbner-bases. Zbl 0417.68029
Buchberger, B.
94
1979
The construction of multivariate polynomials with preassigned zeros. Zbl 0549.68026
Möller, H. M.; Buchberger, B.
45
1982
Computer algebra. Symbolic and algebraic computation. In cooperation with R. Albrecht. Zbl 0491.00019
41
1982
Algebraic simplification. Zbl 0494.68045
Buchberger, B.; Loos, R.
38
1982
Theorema: Towards computer-aided mathematical theory exploration. Zbl 1107.68095
Buchberger, Bruno; Crǎciun, Adrian; Jebelean, Tudor; Kovács, Laura; Kutsia, Temur; Nakagawa, Koji; Piroi, Florina; Popov, Nikolaj; Robu, Judit; Rosenkranz, Markus; Windsteiger, Wolfgang
31
2006
Multidimensional systems theory and applications. With contribution by N. K. Bose, B. Buchberger, and J. P. Guiver. 2nd ed. Zbl 1046.93001
Bose, N. K.
30
2003
History and basic features of the critical-pair/completion procedure. Zbl 0645.68094
Buchberger, Bruno
26
1987
Gröbner bases and applications. Based on a course for young researchers, January 1998, and the conference “33 years of Gröbner bases”, Linz, Austria, February 2–4, 1998. Zbl 0883.00014
26
1998
A criterion for eliminating unnecessary reductions in the Knuth-Bendix algorithm. Zbl 0607.03003
Winkler, F.; Buchberger, B.
20
1986
Gröbner bases and systems theory. Zbl 1088.93500
Buchberger, Bruno
19
2001
Introduction to Gröbner bases. Zbl 0941.13017
Buchberger, Bruno
18
1998
A critical-pair/completion algorithm for finitely generated ideals in rings. Zbl 0546.68021
Buchberger, B.
17
1984
Symbolic analysis for boundary problems: from rewriting to parametrized Gröbner bases. Zbl 1250.65104
Rosenkranz, Markus; Regensburger, Georg; Tec, Loredana; Buchberger, Bruno
16
2012
Comments on the translation of my PhD thesis: “An algorithm for finding the basis elements of the residue class ring of a zero dimensional polynomial ideal”. Zbl 1158.01306
Buchberger, Bruno
15
2006
SC\(^2\): satisfiability checking meets symbolic computation. (Project paper). Zbl 1344.68198
Ábrahám, Erika; Abbott, John; Becker, Bernd; Bigatti, Anna M.; Brain, Martin; Buchberger, Bruno; Cimatti, Alessandro; Davenport, James H.; England, Matthew; Fontaine, Pascal; Forrest, Stephen; Griggio, Alberto; Kroening, Daniel; Seiler, Werner M.; Sturm, Thomas
13
2016
Basic features and development of the critical-pair/completion procedure. Zbl 0592.68037
Buchberger, Bruno
12
1985
A survey of the Theorema project. Zbl 0926.68131
Buchberger, Bruno; Jebelean, Tudor; Kriftner, Franz; Marin, Mircea; Tomuţa, Elena; Văsaru, Daniela
11
1997
Theorema 2.0: computer-assisted natural-style mathematics. Zbl 1451.68319
Buchberger, Bruno; Jebelean, Tudor; Kutsia, Temur; Maletzky, Alexander; Windsteiger, Wolfgang
11
2016
A note on the complexity of constructing Gröbner-bases. Zbl 0539.13001
Buchberger, B.
10
1983
Gröbner bases: A short introduction for systems theorists. Zbl 1023.68882
Buchberger, Bruno
10
2001
Applications of Gröbner bases in nonlinear computational geometry. Zbl 0653.13013
Buchberger, Bruno
9
1988
Algorithm 628. An algorithm for constructing canonical bases of polynomial ideals. Zbl 0575.68047
Winkler, F.; Buchberger, B.; Lichtenberger, F.; Rolletschek, H.
9
1985
Theory exploration with Theorema. Zbl 1004.68589
Buchberger, Bruno
9
2000
Symbolic computation: Computer algebra and logic. Zbl 0894.68086
Buchberger, Bruno
8
1996
Algorithm invention and verification by lazy thinking. Zbl 1073.68814
Buchberger, Bruno
7
2003
Predicate logic with sequence variables and sequence function symbols. Zbl 1109.68111
Kutsia, Temur; Buchberger, Bruno
6
2004
A symbolic framework for operations on linear boundary problems. Zbl 1260.68484
Rosenkranz, Markus; Regensburger, Georg; Tec, Loredana; Buchberger, Bruno
6
2009
Solving linear boundary value problems via non-commutative Gröbner bases. Zbl 1042.34030
Rosenkranz, Markus; Buchberger, Bruno; Engl, Heinz W.
6
2003
A simplified proof of the characterization theorem for Gröbner-bases. Zbl 0454.68021
Bachmair, L.; Buchberger, B.
6
1980
A survey on the method of Gröbner bases for solving problems in connection with systems of multi-variate polynomials. Zbl 0645.68057
Buchberger, Bruno
5
1985
Applications of Gröbner bases in nonlinear computational geometry. Zbl 0653.13012
Buchberger, Bruno
5
1988
An algorithmic criterion for the solvability of a system of algebraic equations. Zbl 0906.13007
Buchberger, Bruno
5
1998
The TH\(\exists\)OREM\(\forall\) project: A progress report. Zbl 1017.68110
Buchberger, Bruno; Dupré, Claudio; Jebelean, Tudor; Kriftner, Franz; Nakagawa, Koji; Văsaru, Daniela; Windsteiger, Wolfgang
5
2001
Algorithm synthesis by lazy thinking: using problem schemes. Zbl 1150.68460
Buchberger, Bruno; Crăciun, Adrian
5
2004
Towards the automated synthesis of a Gröbner bases algorithm. Zbl 1088.68187
Buchberger, Bruno
5
2004
Theory exploration versus theorem proving. (Abstract of invited talk). Zbl 0958.68156
Buchberger, Bruno
4
1999
Transforming problems from analysis to algebra: a case study in linear boundary problems. Zbl 1241.65066
Buchberger, Bruno; Rosenkranz, Markus
4
2012
Algorithm synthesis by lazy thinking: examples and implementation in Theorema. Zbl 1271.68208
Buchberger, Bruno; Crăciun, Adrian
4
2004
Computational origami construction of a regular heptagon with automated proof of its correctness. Zbl 1159.68558
Robu, Judit; Ida, Tetsuo; Ţepeneu, Dorin; Takahashi, Hidekazu; Buchberger, Bruno
3
2006
The L-machine: an attempt at parallel hardware for symbolic computation. Zbl 0609.68029
Buchberger, B.
3
1986
Algorithm-supported mathematical theory exploration: A personal view and strategy. Zbl 1109.68664
Buchberger, Bruno
3
2004
Mathematical theory exploration. Zbl 1221.03014
Buchberger, Bruno
2
2006
Proving and constraint solving in computational origami. Zbl 1109.68604
Ida, Tetsuo; Ţepeneu, Dorin; Buchberger, Bruno; Robu, Judit
2
2004
Algorithms in real algebraic geometry. Reprinted from the “Journal of Symbolic Computation”, 5. no. 1-2, 1988. Zbl 0674.68024
2
1988
An improved algorithmic construction of Gröbner-bases for polynomial ideals. Zbl 0417.68028
Kollreider, C.; Buchberger, B.
2
1978
Mathematical knowledge management. Second international conference, MKM 2003, Bertinoro, Italy, February 16–18, 2003. Proceedings. Zbl 1015.00029
2
2003
The PCS prover in \(\text{TH}\exists\text{OREM}\forall\). Zbl 1023.68655
Buchberger, Bruno
1
2001
Proving and solving in computational origami. Zbl 1073.68816
Ida, Tetsuo; Buchberger, Bruno
1
2003
Mathematical knowledge management: MKM 2001. Electronic proceedings of the 1st international workshop, RISC, Schloß Hagenberg, Austria, September 24–26, 2001. Zbl 0978.00042
1
2001
Two tools for mathematical knowledge management in theorema. Zbl 0986.68536
Nakagawa, Koji; Buchberger, Bruno
1
2001
Gröbner bases in Mathematica: Enthusiasm and frustration. (With discussion). Zbl 0793.68018
Buchberger, Bruno
1
1992
Combining logical and algebraic techniques for natural style proving in elementary analysis. Zbl 1183.68563
Vajda, Robert; Jebelean, Tudor; Buchberger, Bruno
1
2009
Introduction to Groebner bases. Zbl 0908.13017
Buchberger, Bruno
1
1997
Mathematica: Doing mathematics by computer? Zbl 0884.68059
Buchberger, B.
1
1997
Computer-trees and their programming. Zbl 0383.68027
Buchberger, B.
1
1978
Soft math math soft. Zbl 1403.68005
Buchberger, Bruno
1
2014
Gröbner bases computation by triangularizing Macaulay matrices. Zbl 1458.13029
Buchberger, Bruno
1
2018
Gröbner bases computation by triangularizing Macaulay matrices. Zbl 1458.13029
Buchberger, Bruno
1
2018
SC\(^2\): satisfiability checking meets symbolic computation. (Project paper). Zbl 1344.68198
Ábrahám, Erika; Abbott, John; Becker, Bernd; Bigatti, Anna M.; Brain, Martin; Buchberger, Bruno; Cimatti, Alessandro; Davenport, James H.; England, Matthew; Fontaine, Pascal; Forrest, Stephen; Griggio, Alberto; Kroening, Daniel; Seiler, Werner M.; Sturm, Thomas
13
2016
Theorema 2.0: computer-assisted natural-style mathematics. Zbl 1451.68319
Buchberger, Bruno; Jebelean, Tudor; Kutsia, Temur; Maletzky, Alexander; Windsteiger, Wolfgang
11
2016
Soft math math soft. Zbl 1403.68005
Buchberger, Bruno
1
2014
Symbolic analysis for boundary problems: from rewriting to parametrized Gröbner bases. Zbl 1250.65104
Rosenkranz, Markus; Regensburger, Georg; Tec, Loredana; Buchberger, Bruno
16
2012
Transforming problems from analysis to algebra: a case study in linear boundary problems. Zbl 1241.65066
Buchberger, Bruno; Rosenkranz, Markus
4
2012
A symbolic framework for operations on linear boundary problems. Zbl 1260.68484
Rosenkranz, Markus; Regensburger, Georg; Tec, Loredana; Buchberger, Bruno
6
2009
Combining logical and algebraic techniques for natural style proving in elementary analysis. Zbl 1183.68563
Vajda, Robert; Jebelean, Tudor; Buchberger, Bruno
1
2009
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
Theorema: Towards computer-aided mathematical theory exploration. Zbl 1107.68095
Buchberger, Bruno; Crǎciun, Adrian; Jebelean, Tudor; Kovács, Laura; Kutsia, Temur; Nakagawa, Koji; Piroi, Florina; Popov, Nikolaj; Robu, Judit; Rosenkranz, Markus; Windsteiger, Wolfgang
31
2006
Comments on the translation of my PhD thesis: “An algorithm for finding the basis elements of the residue class ring of a zero dimensional polynomial ideal”. Zbl 1158.01306
Buchberger, Bruno
15
2006
Computational origami construction of a regular heptagon with automated proof of its correctness. Zbl 1159.68558
Robu, Judit; Ida, Tetsuo; Ţepeneu, Dorin; Takahashi, Hidekazu; Buchberger, Bruno
3
2006
Mathematical theory exploration. Zbl 1221.03014
Buchberger, Bruno
2
2006
Predicate logic with sequence variables and sequence function symbols. Zbl 1109.68111
Kutsia, Temur; Buchberger, Bruno
6
2004
Algorithm synthesis by lazy thinking: using problem schemes. Zbl 1150.68460
Buchberger, Bruno; Crăciun, Adrian
5
2004
Towards the automated synthesis of a Gröbner bases algorithm. Zbl 1088.68187
Buchberger, Bruno
5
2004
Algorithm synthesis by lazy thinking: examples and implementation in Theorema. Zbl 1271.68208
Buchberger, Bruno; Crăciun, Adrian
4
2004
Algorithm-supported mathematical theory exploration: A personal view and strategy. Zbl 1109.68664
Buchberger, Bruno
3
2004
Proving and constraint solving in computational origami. Zbl 1109.68604
Ida, Tetsuo; Ţepeneu, Dorin; Buchberger, Bruno; Robu, Judit
2
2004
Multidimensional systems theory and applications. With contribution by N. K. Bose, B. Buchberger, and J. P. Guiver. 2nd ed. Zbl 1046.93001
Bose, N. K.
30
2003
Algorithm invention and verification by lazy thinking. Zbl 1073.68814
Buchberger, Bruno
7
2003
Solving linear boundary value problems via non-commutative Gröbner bases. Zbl 1042.34030
Rosenkranz, Markus; Buchberger, Bruno; Engl, Heinz W.
6
2003
Mathematical knowledge management. Second international conference, MKM 2003, Bertinoro, Italy, February 16–18, 2003. Proceedings. Zbl 1015.00029
2
2003
Proving and solving in computational origami. Zbl 1073.68816
Ida, Tetsuo; Buchberger, Bruno
1
2003
Gröbner bases and systems theory. Zbl 1088.93500
Buchberger, Bruno
19
2001
Gröbner bases: A short introduction for systems theorists. Zbl 1023.68882
Buchberger, Bruno
10
2001
The TH\(\exists\)OREM\(\forall\) project: A progress report. Zbl 1017.68110
Buchberger, Bruno; Dupré, Claudio; Jebelean, Tudor; Kriftner, Franz; Nakagawa, Koji; Văsaru, Daniela; Windsteiger, Wolfgang
5
2001
The PCS prover in \(\text{TH}\exists\text{OREM}\forall\). Zbl 1023.68655
Buchberger, Bruno
1
2001
Mathematical knowledge management: MKM 2001. Electronic proceedings of the 1st international workshop, RISC, Schloß Hagenberg, Austria, September 24–26, 2001. Zbl 0978.00042
1
2001
Two tools for mathematical knowledge management in theorema. Zbl 0986.68536
Nakagawa, Koji; Buchberger, Bruno
1
2001
Theory exploration with Theorema. Zbl 1004.68589
Buchberger, Bruno
9
2000
Theory exploration versus theorem proving. (Abstract of invited talk). Zbl 0958.68156
Buchberger, Bruno
4
1999
Gröbner bases and applications. Based on a course for young researchers, January 1998, and the conference “33 years of Gröbner bases”, Linz, Austria, February 2–4, 1998. Zbl 0883.00014
26
1998
Introduction to Gröbner bases. Zbl 0941.13017
Buchberger, Bruno
18
1998
An algorithmic criterion for the solvability of a system of algebraic equations. Zbl 0906.13007
Buchberger, Bruno
5
1998
A survey of the Theorema project. Zbl 0926.68131
Buchberger, Bruno; Jebelean, Tudor; Kriftner, Franz; Marin, Mircea; Tomuţa, Elena; Văsaru, Daniela
11
1997
Introduction to Groebner bases. Zbl 0908.13017
Buchberger, Bruno
1
1997
Mathematica: Doing mathematics by computer? Zbl 0884.68059
Buchberger, B.
1
1997
Symbolic computation: Computer algebra and logic. Zbl 0894.68086
Buchberger, Bruno
8
1996
Gröbner bases in Mathematica: Enthusiasm and frustration. (With discussion). Zbl 0793.68018
Buchberger, Bruno
1
1992
Applications of Gröbner bases in nonlinear computational geometry. Zbl 0653.13013
Buchberger, Bruno
9
1988
Applications of Gröbner bases in nonlinear computational geometry. Zbl 0653.13012
Buchberger, Bruno
5
1988
Algorithms in real algebraic geometry. Reprinted from the “Journal of Symbolic Computation”, 5. no. 1-2, 1988. Zbl 0674.68024
2
1988
History and basic features of the critical-pair/completion procedure. Zbl 0645.68094
Buchberger, Bruno
26
1987
A criterion for eliminating unnecessary reductions in the Knuth-Bendix algorithm. Zbl 0607.03003
Winkler, F.; Buchberger, B.
20
1986
The L-machine: an attempt at parallel hardware for symbolic computation. Zbl 0609.68029
Buchberger, B.
3
1986
Gröbner bases: an algorithmic method in polynomial ideal theory. Zbl 0587.13009
Buchberger, B.
352
1985
Basic features and development of the critical-pair/completion procedure. Zbl 0592.68037
Buchberger, Bruno
12
1985
Algorithm 628. An algorithm for constructing canonical bases of polynomial ideals. Zbl 0575.68047
Winkler, F.; Buchberger, B.; Lichtenberger, F.; Rolletschek, H.
9
1985
A survey on the method of Gröbner bases for solving problems in connection with systems of multi-variate polynomials. Zbl 0645.68057
Buchberger, Bruno
5
1985
A critical-pair/completion algorithm for finitely generated ideals in rings. Zbl 0546.68021
Buchberger, B.
17
1984
A note on the complexity of constructing Gröbner-bases. Zbl 0539.13001
Buchberger, B.
10
1983
The construction of multivariate polynomials with preassigned zeros. Zbl 0549.68026
Möller, H. M.; Buchberger, B.
45
1982
Computer algebra. Symbolic and algebraic computation. In cooperation with R. Albrecht. Zbl 0491.00019
41
1982
Algebraic simplification. Zbl 0494.68045
Buchberger, B.; Loos, R.
38
1982
A simplified proof of the characterization theorem for Gröbner-bases. Zbl 0454.68021
Bachmair, L.; Buchberger, B.
6
1980
A criterion for detecting unnecessary reductions in the construction of Gröbner-bases. Zbl 0417.68029
Buchberger, B.
94
1979
An improved algorithmic construction of Gröbner-bases for polynomial ideals. Zbl 0417.68028
Kollreider, C.; Buchberger, B.
2
1978
Computer-trees and their programming. Zbl 0383.68027
Buchberger, B.
1
1978
Ein algorithmisches Kriterium für die Lösbarkeit eines algebraischen Gleichungssystems. Zbl 0212.06401
Buchberger, B.
151
1970
An algorithm for finding the basis elements of the residue class ring of a zero dimensional polynomial ideal. (Ein Algorithmus zum Auffinden der Basiselemente des Restklassenringes nach einem nulldimensionalen Polynomideal.) Zbl 1245.13020
Buchberger, Bruno
335
1965
all top 5

Cited by 1,449 Authors

34 Chen, Yuqun
28 Bokut, Leonid A.
27 Hashemi, Amir
21 Mora, Teo
17 Roanes-Lozano, Eugenio
16 Faugère, Jean-Charles
14 Obul, Abdukadir
13 Rosenkranz, Markus
13 Seiler, Werner M.
13 Wang, Dongming
12 Buchberger, Bruno
11 Gerdt, Vladimir Petrovich
11 Jebelean, Tudor
11 Karpuz, Eylem Güzel
11 Kreuzer, Martin
11 Liu, Jinwang
10 Davenport, James Harold
10 Kapur, Deepak
10 Robbiano, Lorenzo
9 England, Matthew
9 Hernando, Antonio
9 Lee, Dong-Il
9 Regensburger, Georg
8 Ceria, Michela
8 Çevik, Ahmet Sinan
8 Laita, Luis M.
8 Li, Dongmei
8 Li, Yu
8 Perret, Ludovic
8 Romanovskiĭ, Valeriĭ Georgievich
8 Sturmfels, Bernd
7 Gao, Xing
7 Guo, Li
7 Kutsia, Temur
7 M.-Alizadeh, Benyamin
7 Niu, Wei
7 Oaku, Toshinori
7 Roanes-Macías, Eugenio
7 Sturm, Thomas
7 Wang, Dingkang
7 Xu, Li
6 Abbott, John A.
6 Apel, Joachim
6 Bigatti, Anna Maria
6 Drămnesc, Isabela
6 Falcón Ganfornina, Raúl Manuel
6 Gao, Xiaoshan
6 Johansson, Moa
6 Lin, Zhiping
6 Malbos, Philippe
6 Mayr, Ernst W.
6 Mo, Qiuhui
6 Mou, Chenqi
6 Núñez-Valdés, Juan
6 Qiu, Jianjun
6 Takagi, Tsuyoshi
5 Ateş, Firat
5 Bündgen, Reinhard
5 Castro-Jiménez, Francisco Jesús
5 Eder, Christian
5 Fassino, Claudia
5 Huang, Bo
5 Janičić, Predrag
5 Kang, Seok-Jin
5 Kovács, Laura Ildikó
5 Levandovskyy, Viktor
5 Otto, Friedrich
5 Pauer, Franz
5 Perry, John Edward
5 Robertz, Daniel
5 Sasaki, Tateaki
5 Sauer, Tomas
5 Sun, Yao
5 Vasconcelos, Wolmer V.
5 Weispfenning, Volker
4 Ábrahám, Erika
4 Batselier, Kim
4 De Lathauwer, Lieven
4 Dehghani Darmian, Mahdi
4 Dershowitz, Nachum
4 Falcón Ganfornina, Óscar Jesús
4 Ghourabi, Fadoua
4 Heintz, Joos
4 Koppenhagen, Ulla
4 Koutschan, Christoph
4 La Scala, Roberto
4 Lazard, Daniel
4 Lee, Kyu-Hwan
4 Liu, Weijun
4 Möller, Hans Michael
4 Quaresma, Pedro
4 Sendra, Juan Rafael
4 Shen, Liyong
4 Stifter, Sabine
4 Verron, Thibaut
4 Wang, Mingsheng
4 Windsteiger, Wolfgang
4 Yu, Zhiheng
4 Zhang, Hantao
4 Zhang, Zerui
...and 1,349 more Authors
all top 5

Cited in 234 Serials

238 Journal of Symbolic Computation
36 Journal of Pure and Applied Algebra
33 Journal of Algebra
28 Mathematics in Computer Science
26 Communications in Algebra
26 Applicable Algebra in Engineering, Communication and Computing
24 Theoretical Computer Science
23 Journal of Algebra and its Applications
16 Journal of Computational and Applied Mathematics
16 Journal of Systems Science and Complexity
13 Annals of Mathematics and Artificial Intelligence
11 Journal of Automated Reasoning
10 Mathematics of Computation
10 Mathematics and Computers in Simulation
10 Transactions of the American Mathematical Society
10 Computer Aided Geometric Design
10 International Journal of Algebra and Computation
10 Journal of Mathematical Sciences (New York)
9 Computers & Mathematics with Applications
9 Applied Mathematics and Computation
8 Automatica
8 Advances in Applied Mathematics
8 Multidimensional Systems and Signal Processing
8 Linear Algebra and its Applications
8 Cybernetics and Systems Analysis
8 Algebra Colloquium
7 Programming and Computer Software
7 Acta Applicandae Mathematicae
6 Journal of Complexity
6 Designs, Codes and Cryptography
6 Journal of High Energy Physics
5 International Journal of Control
5 Advances in Mathematics
5 Journal of Number Theory
5 Information and Computation
4 Artificial Intelligence
4 Discrete Applied Mathematics
4 Discrete Mathematics
4 Linear and Multilinear Algebra
4 Systems & Control Letters
4 Mathematical and Computer Modelling
4 Science in China. Series A
4 Japan Journal of Industrial and Applied Mathematics
4 Communications in Nonlinear Science and Numerical Simulation
4 Asian-European Journal of Mathematics
4 Science China. Mathematics
4 Revista de la Real Academia de Ciencias Exactas, Físicas y Naturales. Serie A: Matemáticas. RACSAM
3 Communications in Mathematical Physics
3 Duke Mathematical Journal
3 Kybernetika
3 Mathematische Zeitschrift
3 Numerische Mathematik
3 Quaestiones Mathematicae
3 Rendiconti del Circolo Matemàtico di Palermo. Serie II
3 Results in Mathematics
3 Chinese Annals of Mathematics. Series B
3 SIAM Journal on Matrix Analysis and Applications
3 MSCS. Mathematical Structures in Computer Science
3 Numerical Algorithms
3 International Journal of Bifurcation and Chaos in Applied Sciences and Engineering
3 Formal Methods in System Design
3 The Electronic Journal of Combinatorics
3 Frontiers of Mathematics in China
3 Journal of Logical and Algebraic Methods in Programming
2 Acta Mechanica
2 Information Processing Letters
2 Journal of Computational Physics
2 Journal of Mathematical Analysis and Applications
2 Journal of Mathematical Physics
2 Mathematical Biosciences
2 Annali di Matematica Pura ed Applicata. Serie Quarta
2 Czechoslovak Mathematical Journal
2 Information Sciences
2 Kyungpook Mathematical Journal
2 Proceedings of the Edinburgh Mathematical Society. Series II
2 Siberian Mathematical Journal
2 Combinatorica
2 Acta Mathematicae Applicatae Sinica. English Series
2 Algorithmica
2 Formal Aspects of Computing
2 Computational Geometry
2 Applied Mathematical Modelling
2 International Journal of Computer Mathematics
2 Annales de l’Institut Henri Poincaré. Physique Théorique
2 Mathematical Programming. Series A. Series B
2 Celestial Mechanics and Dynamical Astronomy
2 Experimental Mathematics
2 Turkish Journal of Mathematics
2 Finite Fields and their Applications
2 Reliable Computing
2 Mathematical Problems in Engineering
2 Mechanism and Machine Theory
2 Revista Matemática Complutense
2 Journal of Applied Mathematics
2 JP Journal of Algebra, Number Theory and Applications
2 Central European Journal of Mathematics
2 Journal of Applied Logic
2 Journal of Physics A: Mathematical and Theoretical
2 Advances in Mathematics of Communications
2 ACM Communications in Computer Algebra
...and 134 more Serials
all top 5

Cited in 57 Fields

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

Citations by Year

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.