Edit Profile (opens in new tab) Buchberger, Bruno Co-Author Distance Author ID: 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 all top 5 Co-Authors 47 single-authored 8 Rosenkranz, Markus 6 Ida, Tetsuo 5 Jebelean, Tudor 5 Kutsia, Temur 4 Maletzky, Alexander 4 Regensburger, Georg 4 Tec, Loredana 3 Crǎciun, Adrian 3 Davenport, James Harold 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 Bouhoula, Adel 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 Albrecht, Rudolf F. 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, Joan 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 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 3 Annals of Mathematics and Artificial Intelligence 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 Informatik-Fachberichte 1 London Mathematical Society Lecture Note Series 1 Mathematische Methoden in der Technik 1 Mathematics in Computer Science 1 ACM Communications in Computer Algebra 1 Journal of Formalized Reasoning all top 5 Fields 84 Computer science (68-XX) 35 Commutative algebra (13-XX) 13 General and overarching topics; collections (00-XX) 10 Mathematical logic and foundations (03-XX) 7 Ordinary differential equations (34-XX) 5 History and biography (01-XX) 5 Number theory (11-XX) 5 Systems theory; control (93-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) Publications by Year all cited Publications top 5 cited Publications 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 cited Publications top 5 cited Publications 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 Wikidata Timeline The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.