Buchberger, Bruno

Compute Distance To:
 Author ID: buchberger.bruno Published as: Buchberger, Bruno; Buchberger, B. External Links: MGP · Wikidata · GND · IdRef
 Documents Indexed: 80 Publications since 1965, including 4 Books 10 Contributions as Editor · 1 Further Contribution Biographic References: 3 Publications Co-Authors: 55 Co-Authors with 43 Joint Publications 965 Co-Co-Authors
all top 5

Co-Authors

 45 single-authored 8 Rosenkranz, Markus 5 Jebelean, Tudor 4 Ida, Tetsuo 4 Maletzky, Alexander 4 Regensburger, Georg 4 Tec, Loredana 3 Crǎciun, Adrian 3 Davenport, James Harold 3 Kutsia, Temur 3 Lichtenberger, F. 3 Nakagawa, Koji 3 Robu, Judit 3 Windsteiger, Wolfgang 3 Winkler, Franz 2 Abbott, John A. 2 Ábrahám, Erika 2 Becker, Bernd 2 Bigatti, Anna Maria 2 Brain, Martin 2 Cimatti, Alessandro 2 England, Matthew 2 Fontaine, Pascal 2 Forrest, Stephen 2 Griggio, Alberto 2 Kriftner, Franz 2 Kröning, Daniel 2 Piroi, Florina 2 Seiler, Werner M. 2 Sturm, Thomas 2 Ţepeneu, Dorin 2 Văsaru, Daniela 1 Arnon, Dennis S. 1 Asperti, Andrea 1 Bachmair, Leo 1 Bose, Nirmal K. 1 Campbell, John A. 1 Caprotti, Olga 1 Collins, George E. 1 Dupré, Claudio 1 Elias, Juan 1 Engl, Heinz W. 1 Feilmeier, Manfred 1 Freire, José-Luis 1 Guiver, John P. 1 Kollreider, C. 1 Kovács, Laura Ildikó 1 Kratz, Matthias 1 Kulisch, Ulrich W. 1 Kutzler, Bernhard 1 Liu, Jane 1 Marin, Mircea 1 Möller, Hans Michael 1 Moreno-Díaz, Roberto jun. 1 Popov, Nikolaj 1 Quatember, Bernhard 1 Roider, Bernhard 1 Rolletschek, Heinrich 1 Rump, Siegfried Michael 1 Takahashi, Hidekazu 1 Tomuţa, Elena 1 Vajda, Robert 1 Volkert, Jens J.
all top 5

Serials

 5 Analele Universității din Timișoara. Seria Matematică-Informatică 5 Lecture Notes in Computer Science 4 Journal of Symbolic Computation 3 SIGSAM Bulletin 1 Applicable Analysis 1 Archiv für Mathematische Logik und Grundlagenforschung 1 International Journal of General Systems 1 ACM Transactions on Mathematical Software 1 Journal of Number Theory 1 Mathematics and Computers in Simulation 1 Multidimensional Systems and Signal Processing 1 Aequationes Mathematicae 1 Zeitschrift für Operations Research. Serie A: Theorie 1 RACSAM. Revista de la Real Academia de Ciencias Exactas, Físicas y Naturales. Serie A: Matemáticas 1 Journal of Applied Logic 1 Computing Supplementum 1 London Mathematical Society Lecture Note Series 1 Mathematische Methoden in der Technik 1 ACM Communications in Computer Algebra 1 Journal of Formalized Reasoning
all top 5

Fields

 83 Computer science (68-XX) 35 Commutative algebra (13-XX) 11 General and overarching topics; collections (00-XX) 10 Mathematical logic and foundations (03-XX) 7 Ordinary differential equations (34-XX) 5 Number theory (11-XX) 5 Systems theory; control (93-XX) 4 History and biography (01-XX) 4 Numerical analysis (65-XX) 3 General algebraic systems (08-XX) 3 Field theory and polynomials (12-XX) 3 Algebraic geometry (14-XX) 2 Associative rings and algebras (16-XX) 2 Integral equations (45-XX) 1 Special functions (33-XX) 1 Partial differential equations (35-XX) 1 Approximations and expansions (41-XX) 1 Operator theory (47-XX) 1 Convex and discrete geometry (52-XX) 1 General topology (54-XX) 1 Mechanics of deformable solids (74-XX) 1 Operations research, mathematical programming (90-XX)

Citations contained in zbMATH Open

61 Publications have been cited 1,388 times in 974 Documents Cited by Year
Gröbner bases: an algorithmic method in polynomial ideal theory. Zbl 0587.13009
Buchberger, B.
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
1965
Ein algorithmisches Kriterium für die Lösbarkeit eines algebraischen Gleichungssystems. Zbl 0212.06401
Buchberger, B.
1970
Bruno Buchberger’s PhD thesis 1965: An algorithm for finding the basis elements of the residue class ring of a zero dimensional polynomial ideal. Translation from the German. Zbl 1158.01307
Buchberger, Bruno
2006
A criterion for detecting unnecessary reductions in the construction of Gröbner-bases. Zbl 0417.68029
Buchberger, B.
1979
The construction of multivariate polynomials with preassigned zeros. Zbl 0549.68026
Möller, H. M.; Buchberger, B.
1982
Algebraic simplification. Zbl 0494.68045
Buchberger, B.; Loos, R.
1982
Computer algebra. Symbolic and algebraic computation. In cooperation with R. Albrecht. Zbl 0491.00019
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
2006
History and basic features of the critical-pair/completion procedure. Zbl 0645.68094
Buchberger, Bruno
1987
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.
2003
A criterion for eliminating unnecessary reductions in the Knuth-Bendix algorithm. Zbl 0607.03003
Winkler, F.; Buchberger, B.
1986
Gröbner bases and systems theory. Zbl 1088.93500
Buchberger, Bruno
2001
Introduction to Gröbner bases. Zbl 0941.13017
Buchberger, Bruno
1998
A critical-pair/completion algorithm for finitely generated ideals in rings. Zbl 0546.68021
Buchberger, B.
1984
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
1998
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
2006
Symbolic analysis for boundary problems: from rewriting to parametrized Gröbner bases. Zbl 1250.65104
Rosenkranz, Markus; Regensburger, Georg; Tec, Loredana; Buchberger, Bruno
2012
A survey of the Theorema project. Zbl 0926.68131
Buchberger, Bruno; Jebelean, Tudor; Kriftner, Franz; Marin, Mircea; Tomuţa, Elena; Văsaru, Daniela
1997
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
2016
Algorithm 628. An algorithm for constructing canonical bases of polynomial ideals. Zbl 0575.68047
Winkler, F.; Buchberger, B.; Lichtenberger, F.; Rolletschek, H.
1985
Gröbner bases: A short introduction for systems theorists. Zbl 1023.68882
Buchberger, Bruno
2001
Theorema 2.0: computer-assisted natural-style mathematics. Zbl 1451.68319
Buchberger, Bruno; Jebelean, Tudor; Kutsia, Temur; Maletzky, Alexander; Windsteiger, Wolfgang
2016
Basic features and development of the critical-pair/completion procedure. Zbl 0592.68037
Buchberger, Bruno
1985
Algorithm invention and verification by lazy thinking. Zbl 1073.68814
Buchberger, Bruno
2003
A note on the complexity of constructing Gröbner-bases. Zbl 0539.13001
Buchberger, B.
1983
Theory exploration with Theorema. Zbl 1004.68589
Buchberger, Bruno
2000
Symbolic computation: Computer algebra and logic. Zbl 0894.68086
Buchberger, Bruno
1996
Solving linear boundary value problems via non-commutative Gröbner bases. Zbl 1042.34030
Rosenkranz, Markus; Buchberger, Bruno; Engl, Heinz W.
2003
A simplified proof of the characterization theorem for Gröbner-bases. Zbl 0454.68021
Bachmair, L.; Buchberger, B.
1980
Towards the automated synthesis of a Gröbner bases algorithm. Zbl 1088.68187
Buchberger, Bruno
2004
An algorithmic criterion for the solvability of a system of algebraic equations. Zbl 0906.13007
Buchberger, Bruno
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
2001
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
1985
Applications of Gröbner bases in nonlinear computational geometry. Zbl 0653.13013
Buchberger, Bruno
1988
Transforming problems from analysis to algebra: a case study in linear boundary problems. Zbl 1241.65066
Buchberger, Bruno; Rosenkranz, Markus
2012
Theory exploration versus theorem proving. (Abstract of invited talk). Zbl 0958.68156
Buchberger, Bruno
1999
Predicate logic with sequence variables and sequence function symbols. Zbl 1109.68111
Kutsia, Temur; Buchberger, Bruno
2004
Algorithm synthesis by lazy thinking: using problem schemes. Zbl 1150.68460
2004
Algorithm-supported mathematical theory exploration: A personal view and strategy. Zbl 1109.68664
Buchberger, Bruno
2004
The L-machine: an attempt at parallel hardware for symbolic computation. Zbl 0609.68029
Buchberger, B.
1986
Applications of Gröbner bases in nonlinear computational geometry. Zbl 0653.13012
Buchberger, Bruno
1988
Algorithm synthesis by lazy thinking: examples and implementation in Theorema. Zbl 1271.68208
2004
A symbolic framework for operations on linear boundary problems. Zbl 1260.68484
Rosenkranz, Markus; Regensburger, Georg; Tec, Loredana; Buchberger, Bruno
2009
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
2006
Algorithms in real algebraic geometry. Reprinted from the “Journal of Symbolic Computation”, 5. no. 1-2, 1988. Zbl 0674.68024
1988
Mathematical knowledge management. Second international conference, MKM 2003, Bertinoro, Italy, February 16–18, 2003. Proceedings. Zbl 1015.00029
2003
Mathematical theory exploration. Zbl 1221.03014
Buchberger, Bruno
2006
Gröbner bases in Mathematica: Enthusiasm and frustration. (With discussion). Zbl 0793.68018
Buchberger, Bruno
1992
Combining logical and algebraic techniques for natural style proving in elementary analysis. Zbl 1183.68563
Vajda, Robert; Jebelean, Tudor; Buchberger, Bruno
2009
Proving and constraint solving in computational origami. Zbl 1109.68604
Ida, Tetsuo; Ţepeneu, Dorin; Buchberger, Bruno; Robu, Judit
2004
Soft math math soft. Zbl 1403.68005
Buchberger, Bruno
2014
The PCS prover in $$\text{TH}\exists\text{OREM}\forall$$. Zbl 1023.68655
Buchberger, Bruno
2001
Proving and solving in computational origami. Zbl 1073.68816
Ida, Tetsuo; Buchberger, Bruno
2003
Introduction to Groebner bases. Zbl 0908.13017
Buchberger, Bruno
1997
Mathematical knowledge management: MKM 2001. Electronic proceedings of the 1st international workshop, RISC, Schloß Hagenberg, Austria, September 24–26, 2001. Zbl 0978.00042
2001
Two tools for mathematical knowledge management in theorema. Zbl 0986.68536
Nakagawa, Koji; Buchberger, Bruno
2001
Mathematica: Doing mathematics by computer? Zbl 0884.68059
Buchberger, B.
1997
Computer-trees and their programming. Zbl 0383.68027
Buchberger, B.
1978
An improved algorithmic construction of Gröbner-bases for polynomial ideals. Zbl 0417.68028
Kollreider, C.; Buchberger, B.
1978
Gröbner bases computation by triangularizing Macaulay matrices. Zbl 1458.13029
Buchberger, Bruno
2018
Gröbner bases computation by triangularizing Macaulay matrices. Zbl 1458.13029
Buchberger, Bruno
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
2016
Theorema 2.0: computer-assisted natural-style mathematics. Zbl 1451.68319
Buchberger, Bruno; Jebelean, Tudor; Kutsia, Temur; Maletzky, Alexander; Windsteiger, Wolfgang
2016
Soft math math soft. Zbl 1403.68005
Buchberger, Bruno
2014
Symbolic analysis for boundary problems: from rewriting to parametrized Gröbner bases. Zbl 1250.65104
Rosenkranz, Markus; Regensburger, Georg; Tec, Loredana; Buchberger, Bruno
2012
Transforming problems from analysis to algebra: a case study in linear boundary problems. Zbl 1241.65066
Buchberger, Bruno; Rosenkranz, Markus
2012
A symbolic framework for operations on linear boundary problems. Zbl 1260.68484
Rosenkranz, Markus; Regensburger, Georg; Tec, Loredana; Buchberger, Bruno
2009
Combining logical and algebraic techniques for natural style proving in elementary analysis. Zbl 1183.68563
Vajda, Robert; Jebelean, Tudor; Buchberger, Bruno
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
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
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
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
2006
Mathematical theory exploration. Zbl 1221.03014
Buchberger, Bruno
2006
Towards the automated synthesis of a Gröbner bases algorithm. Zbl 1088.68187
Buchberger, Bruno
2004
Predicate logic with sequence variables and sequence function symbols. Zbl 1109.68111
Kutsia, Temur; Buchberger, Bruno
2004
Algorithm synthesis by lazy thinking: using problem schemes. Zbl 1150.68460
2004
Algorithm-supported mathematical theory exploration: A personal view and strategy. Zbl 1109.68664
Buchberger, Bruno
2004
Algorithm synthesis by lazy thinking: examples and implementation in Theorema. Zbl 1271.68208
2004
Proving and constraint solving in computational origami. Zbl 1109.68604
Ida, Tetsuo; Ţepeneu, Dorin; Buchberger, Bruno; Robu, Judit
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.
2003
Algorithm invention and verification by lazy thinking. Zbl 1073.68814
Buchberger, Bruno
2003
Solving linear boundary value problems via non-commutative Gröbner bases. Zbl 1042.34030
Rosenkranz, Markus; Buchberger, Bruno; Engl, Heinz W.
2003
Mathematical knowledge management. Second international conference, MKM 2003, Bertinoro, Italy, February 16–18, 2003. Proceedings. Zbl 1015.00029
2003
Proving and solving in computational origami. Zbl 1073.68816
Ida, Tetsuo; Buchberger, Bruno
2003
Gröbner bases and systems theory. Zbl 1088.93500
Buchberger, Bruno
2001
Gröbner bases: A short introduction for systems theorists. Zbl 1023.68882
Buchberger, Bruno
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
2001
The PCS prover in $$\text{TH}\exists\text{OREM}\forall$$. Zbl 1023.68655
Buchberger, Bruno
2001
Mathematical knowledge management: MKM 2001. Electronic proceedings of the 1st international workshop, RISC, Schloß Hagenberg, Austria, September 24–26, 2001. Zbl 0978.00042
2001
Two tools for mathematical knowledge management in theorema. Zbl 0986.68536
Nakagawa, Koji; Buchberger, Bruno
2001
Theory exploration with Theorema. Zbl 1004.68589
Buchberger, Bruno
2000
Theory exploration versus theorem proving. (Abstract of invited talk). Zbl 0958.68156
Buchberger, Bruno
1999
Introduction to Gröbner bases. Zbl 0941.13017
Buchberger, Bruno
1998
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
1998
An algorithmic criterion for the solvability of a system of algebraic equations. Zbl 0906.13007
Buchberger, Bruno
1998
A survey of the Theorema project. Zbl 0926.68131
Buchberger, Bruno; Jebelean, Tudor; Kriftner, Franz; Marin, Mircea; Tomuţa, Elena; Văsaru, Daniela
1997
Introduction to Groebner bases. Zbl 0908.13017
Buchberger, Bruno
1997
Mathematica: Doing mathematics by computer? Zbl 0884.68059
Buchberger, B.
1997
Symbolic computation: Computer algebra and logic. Zbl 0894.68086
Buchberger, Bruno
1996
Gröbner bases in Mathematica: Enthusiasm and frustration. (With discussion). Zbl 0793.68018
Buchberger, Bruno
1992
Applications of Gröbner bases in nonlinear computational geometry. Zbl 0653.13013
Buchberger, Bruno
1988
Applications of Gröbner bases in nonlinear computational geometry. Zbl 0653.13012
Buchberger, Bruno
1988
Algorithms in real algebraic geometry. Reprinted from the “Journal of Symbolic Computation”, 5. no. 1-2, 1988. Zbl 0674.68024
1988
History and basic features of the critical-pair/completion procedure. Zbl 0645.68094
Buchberger, Bruno
1987
A criterion for eliminating unnecessary reductions in the Knuth-Bendix algorithm. Zbl 0607.03003
Winkler, F.; Buchberger, B.
1986
The L-machine: an attempt at parallel hardware for symbolic computation. Zbl 0609.68029
Buchberger, B.
1986
Gröbner bases: an algorithmic method in polynomial ideal theory. Zbl 0587.13009
Buchberger, B.
1985
Algorithm 628. An algorithm for constructing canonical bases of polynomial ideals. Zbl 0575.68047
Winkler, F.; Buchberger, B.; Lichtenberger, F.; Rolletschek, H.
1985
Basic features and development of the critical-pair/completion procedure. Zbl 0592.68037
Buchberger, Bruno
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
1985
A critical-pair/completion algorithm for finitely generated ideals in rings. Zbl 0546.68021
Buchberger, B.
1984
A note on the complexity of constructing Gröbner-bases. Zbl 0539.13001
Buchberger, B.
1983
The construction of multivariate polynomials with preassigned zeros. Zbl 0549.68026
Möller, H. M.; Buchberger, B.
1982
Algebraic simplification. Zbl 0494.68045
Buchberger, B.; Loos, R.
1982
Computer algebra. Symbolic and algebraic computation. In cooperation with R. Albrecht. Zbl 0491.00019
1982
A simplified proof of the characterization theorem for Gröbner-bases. Zbl 0454.68021
Bachmair, L.; Buchberger, B.
1980
A criterion for detecting unnecessary reductions in the construction of Gröbner-bases. Zbl 0417.68029
Buchberger, B.
1979
Computer-trees and their programming. Zbl 0383.68027
Buchberger, B.
1978
An improved algorithmic construction of Gröbner-bases for polynomial ideals. Zbl 0417.68028
Kollreider, C.; Buchberger, B.
1978
Ein algorithmisches Kriterium für die Lösbarkeit eines algebraischen Gleichungssystems. Zbl 0212.06401
Buchberger, B.
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
1965
all top 5

Cited by 1,275 Authors

 32 Chen, Yuqun 28 Bokut, Leonid A. 25 Hashemi, Amir 15 Faugère, Jean-Charles 14 Obul, Abdukadir 13 Mora, Teo 13 Roanes-Lozano, Eugenio 13 Rosenkranz, Markus 12 Seiler, Werner M. 11 Gerdt, Vladimir Petrovich 11 Karpuz, Eylem Güzel 11 Wang, Dongming 10 Buchberger, Bruno 10 Jebelean, Tudor 9 Davenport, James Harold 9 Hernando, Antonio 9 Kreuzer, Martin 9 Lee, Dong-Il 9 Liu, Jinwang 8 Çevik, Ahmet Sinan 8 England, Matthew 8 Kapur, Deepak 8 Li, Yu 8 Regensburger, Georg 8 Romanovskiĭ, Valeriĭ Georgievich 8 Sturmfels, Bernd 7 Laita, Luis M. 7 M.-Alizadeh, Benyamin 7 Oaku, Toshinori 7 Perret, Ludovic 7 Robbiano, Lorenzo 7 Sturm, Thomas 7 Xu, Li 6 Apel, Joachim 6 Ceria, Michela 6 Falcón Ganfornina, Raúl Manuel 6 Kutsia, Temur 6 Li, Dongmei 6 Lin, Zhiping 6 Mo, Qiuhui 6 Núñez-Valdés, Juan 6 Qiu, Jianjun 6 Wang, Dingkang 5 Abbott, John A. 5 Ateş, Firat 5 Castro-Jiménez, Francisco Jesús 5 Drămnesc, Isabela 5 Eder, Christian 5 Gao, Xiaoshan 5 Guo, Li 5 Kang, Seok-Jin 5 Levandovskyy, Viktor 5 Mou, Chenqi 5 Otto, Friedrich 5 Pauer, Franz 5 Perry, John Edward 5 Roanes-Macías, Eugenio 5 Robertz, Daniel 5 Sauer, Tomas 5 Sun, Yao 5 Vasconcelos, Wolmer V. 4 Batselier, Kim 4 Bigatti, Anna Maria 4 Dehghani Darmian, Mahdi 4 Falcón Ganfornina, Óscar Jesús 4 Fassino, Claudia 4 Gao, Xing 4 Heintz, Joos 4 Janičić, Predrag 4 Johansson, Moa 4 La Scala, Roberto 4 Lazard, Daniel 4 Lee, Kyu-Hwan 4 Liu, Weijun 4 Malbos, Philippe 4 Mayr, Ernst W. 4 Möller, Hans Michael 4 Niu, Wei 4 Sasaki, Tateaki 4 Sendra, Juan Rafael 4 Stifter, Sabine 4 Takagi, Tsuyoshi 4 Wang, Mingsheng 4 Weispfenning, Volker 3 Ábrahám, Erika 3 Alonso, José-Antonio 3 Alonso García, María Emilia 3 Assi, Abdallah 3 Becker, Thomas M. 3 Berenstein, Carlos Alberto 3 Bodnár, Gábor 3 Brickenstein, Michael 3 Bright, Curtis 3 Bündgen, Reinhard 3 Bundy, Alan 3 Chou, Shangching 3 De Lathauwer, Lieven 3 Dershowitz, Nachum 3 Dukkipati, Ambedkar 3 Francis, Maria ...and 1,175 more Authors
all top 5

Cited in 220 Serials

 225 Journal of Symbolic Computation 34 Journal of Pure and Applied Algebra 31 Journal of Algebra 26 Mathematics in Computer Science 25 Communications in Algebra 23 Theoretical Computer Science 23 Applicable Algebra in Engineering, Communication and Computing 22 Journal of Algebra and its Applications 16 Journal of Computational and Applied Mathematics 14 Journal of Systems Science and Complexity 11 Journal of Automated Reasoning 11 Annals of Mathematics and Artificial Intelligence 10 Mathematics and Computers in Simulation 10 Transactions of the American Mathematical Society 10 Journal of Mathematical Sciences (New York) 9 Mathematics of Computation 9 Computer Aided Geometric Design 9 International Journal of Algebra and Computation 8 Advances in Applied Mathematics 8 Multidimensional Systems and Signal Processing 8 Algebra Colloquium 7 Computers & Mathematics with Applications 7 Automatica 7 Acta Applicandae Mathematicae 7 Linear Algebra and its Applications 7 Cybernetics and Systems Analysis 6 Applied Mathematics and Computation 6 Programming and Computer Software 5 International Journal of Control 5 Advances in Mathematics 5 Journal of Number Theory 5 Journal of Complexity 5 Designs, Codes and Cryptography 4 Artificial Intelligence 4 Discrete Applied Mathematics 4 Discrete Mathematics 4 Systems & Control Letters 4 Information and Computation 4 Mathematical and Computer Modelling 4 Science in China. Series A 4 Japan Journal of Industrial and Applied Mathematics 4 Journal of High Energy Physics 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 Linear and Multilinear Algebra 3 Duke Mathematical Journal 3 Kybernetika 3 Mathematische Zeitschrift 3 Numerische Mathematik 3 Rendiconti del Circolo Matemàtico di Palermo. Serie II 3 Results in Mathematics 3 Chinese Annals of Mathematics. Series B 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 Mathematical Analysis and Applications 2 Mathematical Biosciences 2 Annali di Matematica Pura ed Applicata. Serie Quarta 2 Czechoslovak Mathematical Journal 2 Information Sciences 2 Kyungpook Mathematical Journal 2 Quaestiones Mathematicae 2 Siberian Mathematical Journal 2 Combinatorica 2 Acta Mathematicae Applicatae Sinica. English Series 2 Algorithmica 2 SIAM Journal on Matrix Analysis and Applications 2 MSCS. Mathematical Structures in Computer Science 2 Numerical Algorithms 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 International Journal of Bifurcation and Chaos in Applied Sciences and Engineering 2 Experimental Mathematics 2 Turkish Journal of Mathematics 2 Finite Fields and their Applications 2 Reliable Computing 2 Mechanism and Machine Theory 2 Revista Matemática Complutense 2 Communications in Nonlinear Science and Numerical Simulation 2 Central European Journal of Mathematics 2 Journal of Applied Logic 2 Bulletin of Mathematical Sciences 1 International Journal of Modern Physics A 1 ACM Computing Surveys 1 Acta Informatica 1 Applicable Analysis 1 Archive for History of Exact Sciences 1 Computer Physics Communications 1 International Journal of General Systems 1 Journal of Computational Physics 1 Journal of Mathematical Physics 1 Letters in Mathematical Physics 1 Mathematical Methods in the Applied Sciences ...and 120 more Serials
all top 5

Cited in 57 Fields

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

Wikidata Timeline

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