Edit Profile (opens in new tab) Buchberger, Bruno Compute Distance To: Compute 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 985 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, 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 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 Informatik-Fachberichte 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) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 61 Publications have been cited 1,428 times in 1,008 Documents Cited by ▼ Year ▼ Gröbner bases: an algorithmic method in polynomial ideal theory. Zbl 0587.13009Buchberger, B. 315 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.13020Buchberger, Bruno 303 1965 Ein algorithmisches Kriterium für die Lösbarkeit eines algebraischen Gleichungssystems. Zbl 0212.06401Buchberger, B. 143 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.01307Buchberger, Bruno 134 2006 A criterion for detecting unnecessary reductions in the construction of Gröbner-bases. Zbl 0417.68029Buchberger, B. 88 1979 The construction of multivariate polynomials with preassigned zeros. Zbl 0549.68026Möller, H. M.; Buchberger, B. 38 1982 Algebraic simplification. Zbl 0494.68045Buchberger, B.; Loos, R. 33 1982 Computer algebra. Symbolic and algebraic computation. In cooperation with R. Albrecht. Zbl 0491.00019 32 1982 Theorema: Towards computer-aided mathematical theory exploration. Zbl 1107.68095Buchberger, Bruno; Crǎciun, Adrian; Jebelean, Tudor; Kovács, Laura; Kutsia, Temur; Nakagawa, Koji; Piroi, Florina; Popov, Nikolaj; Robu, Judit; Rosenkranz, Markus; Windsteiger, Wolfgang 26 2006 History and basic features of the critical-pair/completion procedure. Zbl 0645.68094Buchberger, Bruno 25 1987 Multidimensional systems theory and applications. With contribution by N. K. Bose, B. Buchberger, and J. P. Guiver. 2nd ed. Zbl 1046.93001Bose, N. K. 22 2003 A criterion for eliminating unnecessary reductions in the Knuth-Bendix algorithm. Zbl 0607.03003Winkler, F.; Buchberger, B. 18 1986 Gröbner bases and systems theory. Zbl 1088.93500Buchberger, Bruno 18 2001 Introduction to Gröbner bases. Zbl 0941.13017Buchberger, Bruno 16 1998 A critical-pair/completion algorithm for finitely generated ideals in rings. Zbl 0546.68021Buchberger, B. 16 1984 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.01306Buchberger, Bruno 15 2006 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 14 1998 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 Symbolic analysis for boundary problems: from rewriting to parametrized Gröbner bases. Zbl 1250.65104Rosenkranz, Markus; Regensburger, Georg; Tec, Loredana; Buchberger, Bruno 13 2012 A survey of the Theorema project. Zbl 0926.68131Buchberger, 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.68319Buchberger, Bruno; Jebelean, Tudor; Kutsia, Temur; Maletzky, Alexander; Windsteiger, Wolfgang 10 2016 Basic features and development of the critical-pair/completion procedure. Zbl 0592.68037Buchberger, Bruno 10 1985 Algorithm 628. An algorithm for constructing canonical bases of polynomial ideals. Zbl 0575.68047Winkler, F.; Buchberger, B.; Lichtenberger, F.; Rolletschek, H. 9 1985 A note on the complexity of constructing Gröbner-bases. Zbl 0539.13001Buchberger, B. 8 1983 Gröbner bases: A short introduction for systems theorists. Zbl 1023.68882Buchberger, Bruno 8 2001 Algorithm invention and verification by lazy thinking. Zbl 1073.68814Buchberger, Bruno 7 2003 Theory exploration with Theorema. Zbl 1004.68589Buchberger, Bruno 7 2000 Symbolic computation: Computer algebra and logic. Zbl 0894.68086Buchberger, Bruno 7 1996 A simplified proof of the characterization theorem for Gröbner-bases. Zbl 0454.68021Bachmair, L.; Buchberger, B. 6 1980 Solving linear boundary value problems via non-commutative Gröbner bases. Zbl 1042.34030Rosenkranz, Markus; Buchberger, Bruno; Engl, Heinz W. 6 2003 Towards the automated synthesis of a Gröbner bases algorithm. Zbl 1088.68187Buchberger, Bruno 5 2004 Predicate logic with sequence variables and sequence function symbols. Zbl 1109.68111Kutsia, Temur; Buchberger, Bruno 5 2004 An algorithmic criterion for the solvability of a system of algebraic equations. Zbl 0906.13007Buchberger, Bruno 5 1998 A survey on the method of Gröbner bases for solving problems in connection with systems of multi-variate polynomials. Zbl 0645.68057Buchberger, Bruno 5 1985 Applications of Gröbner bases in nonlinear computational geometry. Zbl 0653.13013Buchberger, Bruno 5 1988 The TH\(\exists\)OREM\(\forall\) project: A progress report. Zbl 1017.68110Buchberger, Bruno; Dupré, Claudio; Jebelean, Tudor; Kriftner, Franz; Nakagawa, Koji; Văsaru, Daniela; Windsteiger, Wolfgang 5 2001 Transforming problems from analysis to algebra: a case study in linear boundary problems. Zbl 1241.65066Buchberger, Bruno; Rosenkranz, Markus 4 2012 Algorithm synthesis by lazy thinking: using problem schemes. Zbl 1150.68460Buchberger, Bruno; Crăciun, Adrian 4 2004 Theory exploration versus theorem proving. (Abstract of invited talk). Zbl 0958.68156Buchberger, Bruno 4 1999 Algorithm-supported mathematical theory exploration: A personal view and strategy. Zbl 1109.68664Buchberger, Bruno 3 2004 A symbolic framework for operations on linear boundary problems. Zbl 1260.68484Rosenkranz, Markus; Regensburger, Georg; Tec, Loredana; Buchberger, Bruno 3 2009 The L-machine: an attempt at parallel hardware for symbolic computation. Zbl 0609.68029Buchberger, B. 3 1986 Applications of Gröbner bases in nonlinear computational geometry. Zbl 0653.13012Buchberger, Bruno 3 1988 Algorithm synthesis by lazy thinking: examples and implementation in Theorema. Zbl 1271.68208Buchberger, Bruno; Crăciun, Adrian 3 2004 Algorithms in real algebraic geometry. Reprinted from the “Journal of Symbolic Computation”, 5. no. 1-2, 1988. Zbl 0674.68024 2 1988 Proving and constraint solving in computational origami. Zbl 1109.68604Ida, Tetsuo; Ţepeneu, Dorin; Buchberger, Bruno; Robu, Judit 2 2004 Mathematical theory exploration. Zbl 1221.03014Buchberger, Bruno 2 2006 Mathematical knowledge management. Second international conference, MKM 2003, Bertinoro, Italy, February 16–18, 2003. Proceedings. Zbl 1015.00029 2 2003 Computational origami construction of a regular heptagon with automated proof of its correctness. Zbl 1159.68558Robu, Judit; Ida, Tetsuo; Ţepeneu, Dorin; Takahashi, Hidekazu; Buchberger, Bruno 2 2006 Gröbner bases in Mathematica: Enthusiasm and frustration. (With discussion). Zbl 0793.68018Buchberger, Bruno 1 1992 Soft math math soft. Zbl 1403.68005Buchberger, Bruno 1 2014 Proving and solving in computational origami. Zbl 1073.68816Ida, Tetsuo; Buchberger, Bruno 1 2003 Gröbner bases computation by triangularizing Macaulay matrices. Zbl 1458.13029Buchberger, Bruno 1 2018 Introduction to Groebner bases. Zbl 0908.13017Buchberger, Bruno 1 1997 Combining logical and algebraic techniques for natural style proving in elementary analysis. Zbl 1183.68563Vajda, Robert; Jebelean, Tudor; Buchberger, Bruno 1 2009 Computer-trees and their programming. Zbl 0383.68027Buchberger, B. 1 1978 An improved algorithmic construction of Gröbner-bases for polynomial ideals. Zbl 0417.68028Kollreider, C.; Buchberger, B. 1 1978 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.68536Nakagawa, Koji; Buchberger, Bruno 1 2001 Mathematica: Doing mathematics by computer? Zbl 0884.68059Buchberger, B. 1 1997 The PCS prover in \(\text{TH}\exists\text{OREM}\forall\). Zbl 1023.68655Buchberger, Bruno 1 2001 Gröbner bases computation by triangularizing Macaulay matrices. Zbl 1458.13029Buchberger, 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.68319Buchberger, Bruno; Jebelean, Tudor; Kutsia, Temur; Maletzky, Alexander; Windsteiger, Wolfgang 10 2016 Soft math math soft. Zbl 1403.68005Buchberger, Bruno 1 2014 Symbolic analysis for boundary problems: from rewriting to parametrized Gröbner bases. Zbl 1250.65104Rosenkranz, Markus; Regensburger, Georg; Tec, Loredana; Buchberger, Bruno 13 2012 Transforming problems from analysis to algebra: a case study in linear boundary problems. Zbl 1241.65066Buchberger, Bruno; Rosenkranz, Markus 4 2012 A symbolic framework for operations on linear boundary problems. Zbl 1260.68484Rosenkranz, Markus; Regensburger, Georg; Tec, Loredana; Buchberger, Bruno 3 2009 Combining logical and algebraic techniques for natural style proving in elementary analysis. Zbl 1183.68563Vajda, 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.01307Buchberger, Bruno 134 2006 Theorema: Towards computer-aided mathematical theory exploration. Zbl 1107.68095Buchberger, Bruno; Crǎciun, Adrian; Jebelean, Tudor; Kovács, Laura; Kutsia, Temur; Nakagawa, Koji; Piroi, Florina; Popov, Nikolaj; Robu, Judit; Rosenkranz, Markus; Windsteiger, Wolfgang 26 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.01306Buchberger, Bruno 15 2006 Mathematical theory exploration. Zbl 1221.03014Buchberger, Bruno 2 2006 Computational origami construction of a regular heptagon with automated proof of its correctness. Zbl 1159.68558Robu, Judit; Ida, Tetsuo; Ţepeneu, Dorin; Takahashi, Hidekazu; Buchberger, Bruno 2 2006 Towards the automated synthesis of a Gröbner bases algorithm. Zbl 1088.68187Buchberger, Bruno 5 2004 Predicate logic with sequence variables and sequence function symbols. Zbl 1109.68111Kutsia, Temur; Buchberger, Bruno 5 2004 Algorithm synthesis by lazy thinking: using problem schemes. Zbl 1150.68460Buchberger, Bruno; Crăciun, Adrian 4 2004 Algorithm-supported mathematical theory exploration: A personal view and strategy. Zbl 1109.68664Buchberger, Bruno 3 2004 Algorithm synthesis by lazy thinking: examples and implementation in Theorema. Zbl 1271.68208Buchberger, Bruno; Crăciun, Adrian 3 2004 Proving and constraint solving in computational origami. Zbl 1109.68604Ida, 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.93001Bose, N. K. 22 2003 Algorithm invention and verification by lazy thinking. Zbl 1073.68814Buchberger, Bruno 7 2003 Solving linear boundary value problems via non-commutative Gröbner bases. Zbl 1042.34030Rosenkranz, 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.68816Ida, Tetsuo; Buchberger, Bruno 1 2003 Gröbner bases and systems theory. Zbl 1088.93500Buchberger, Bruno 18 2001 Gröbner bases: A short introduction for systems theorists. Zbl 1023.68882Buchberger, Bruno 8 2001 The TH\(\exists\)OREM\(\forall\) project: A progress report. Zbl 1017.68110Buchberger, Bruno; Dupré, Claudio; Jebelean, Tudor; Kriftner, Franz; Nakagawa, Koji; Văsaru, Daniela; Windsteiger, Wolfgang 5 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.68536Nakagawa, Koji; Buchberger, Bruno 1 2001 The PCS prover in \(\text{TH}\exists\text{OREM}\forall\). Zbl 1023.68655Buchberger, Bruno 1 2001 Theory exploration with Theorema. Zbl 1004.68589Buchberger, Bruno 7 2000 Theory exploration versus theorem proving. (Abstract of invited talk). Zbl 0958.68156Buchberger, Bruno 4 1999 Introduction to Gröbner bases. Zbl 0941.13017Buchberger, Bruno 16 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 14 1998 An algorithmic criterion for the solvability of a system of algebraic equations. Zbl 0906.13007Buchberger, Bruno 5 1998 A survey of the Theorema project. Zbl 0926.68131Buchberger, Bruno; Jebelean, Tudor; Kriftner, Franz; Marin, Mircea; Tomuţa, Elena; Văsaru, Daniela 11 1997 Introduction to Groebner bases. Zbl 0908.13017Buchberger, Bruno 1 1997 Mathematica: Doing mathematics by computer? Zbl 0884.68059Buchberger, B. 1 1997 Symbolic computation: Computer algebra and logic. Zbl 0894.68086Buchberger, Bruno 7 1996 Gröbner bases in Mathematica: Enthusiasm and frustration. (With discussion). Zbl 0793.68018Buchberger, Bruno 1 1992 Applications of Gröbner bases in nonlinear computational geometry. Zbl 0653.13013Buchberger, Bruno 5 1988 Applications of Gröbner bases in nonlinear computational geometry. Zbl 0653.13012Buchberger, Bruno 3 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.68094Buchberger, Bruno 25 1987 A criterion for eliminating unnecessary reductions in the Knuth-Bendix algorithm. Zbl 0607.03003Winkler, F.; Buchberger, B. 18 1986 The L-machine: an attempt at parallel hardware for symbolic computation. Zbl 0609.68029Buchberger, B. 3 1986 Gröbner bases: an algorithmic method in polynomial ideal theory. Zbl 0587.13009Buchberger, B. 315 1985 Basic features and development of the critical-pair/completion procedure. Zbl 0592.68037Buchberger, Bruno 10 1985 Algorithm 628. An algorithm for constructing canonical bases of polynomial ideals. Zbl 0575.68047Winkler, 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.68057Buchberger, Bruno 5 1985 A critical-pair/completion algorithm for finitely generated ideals in rings. Zbl 0546.68021Buchberger, B. 16 1984 A note on the complexity of constructing Gröbner-bases. Zbl 0539.13001Buchberger, B. 8 1983 The construction of multivariate polynomials with preassigned zeros. Zbl 0549.68026Möller, H. M.; Buchberger, B. 38 1982 Algebraic simplification. Zbl 0494.68045Buchberger, B.; Loos, R. 33 1982 Computer algebra. Symbolic and algebraic computation. In cooperation with R. Albrecht. Zbl 0491.00019 32 1982 A simplified proof of the characterization theorem for Gröbner-bases. Zbl 0454.68021Bachmair, L.; Buchberger, B. 6 1980 A criterion for detecting unnecessary reductions in the construction of Gröbner-bases. Zbl 0417.68029Buchberger, B. 88 1979 Computer-trees and their programming. Zbl 0383.68027Buchberger, B. 1 1978 An improved algorithmic construction of Gröbner-bases for polynomial ideals. Zbl 0417.68028Kollreider, C.; Buchberger, B. 1 1978 Ein algorithmisches Kriterium für die Lösbarkeit eines algebraischen Gleichungssystems. Zbl 0212.06401Buchberger, B. 143 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.13020Buchberger, Bruno 303 1965 all cited Publications top 5 cited Publications all top 5 Cited by 1,320 Authors 34 Chen, Yuqun 28 Bokut, Leonid A. 27 Hashemi, Amir 18 Mora, Teo 15 Faugère, Jean-Charles 14 Obul, Abdukadir 13 Roanes-Lozano, Eugenio 13 Rosenkranz, Markus 13 Seiler, Werner M. 11 Gerdt, Vladimir Petrovich 11 Jebelean, Tudor 11 Karpuz, Eylem Güzel 11 Wang, Dongming 10 Buchberger, Bruno 10 Liu, Jinwang 9 Davenport, James Harold 9 Hernando, Antonio 9 Kapur, Deepak 9 Kreuzer, Martin 9 Lee, Dong-Il 8 Çevik, Ahmet Sinan 8 England, Matthew 8 Li, Yu 8 Regensburger, Georg 8 Romanovskiĭ, Valeriĭ Georgievich 8 Sturmfels, Bernd 7 Ceria, Michela 7 Laita, Luis M. 7 Li, Dongmei 7 M.-Alizadeh, Benyamin 7 Oaku, Toshinori 7 Perret, Ludovic 7 Robbiano, Lorenzo 7 Sturm, Thomas 7 Wang, Dingkang 7 Xu, Li 6 Apel, Joachim 6 Drămnesc, Isabela 6 Falcón Ganfornina, Raúl Manuel 6 Kutsia, Temur 6 Lin, Zhiping 6 Mayr, Ernst W. 6 Mo, Qiuhui 6 Núñez-Valdés, Juan 6 Qiu, Jianjun 5 Abbott, John A. 5 Ateş, Firat 5 Castro-Jiménez, Francisco Jesús 5 Eder, Christian 5 Gao, Xiaoshan 5 Guo, Li 5 Kang, Seok-Jin 5 Levandovskyy, Viktor 5 Malbos, Philippe 5 Möller, Hans Michael 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 Ábrahám, Erika 4 Batselier, Kim 4 Bigatti, Anna Maria 4 Bündgen, Reinhard 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 Koppenhagen, Ulla 4 La Scala, Roberto 4 Lazard, Daniel 4 Lee, Kyu-Hwan 4 Liu, Weijun 4 Niu, Wei 4 Sasaki, Tateaki 4 Sendra, Juan Rafael 4 Shen, Liyong 4 Stifter, Sabine 4 Takagi, Tsuyoshi 4 Wang, Mingsheng 4 Weispfenning, Volker 4 Windsteiger, Wolfgang 4 Zhang, Hantao 4 Zhang, Zerui 3 Alonso, José-Antonio 3 Alonso García, María Emilia 3 Assi, Abdallah 3 Barakat, Mohamed 3 Becker, Thomas M. 3 Berenstein, Carlos Alberto 3 Bodnár, Gábor 3 Brickenstein, Michael 3 Bright, Curtis ...and 1,220 more Authors all top 5 Cited in 224 Serials 227 Journal of Symbolic Computation 34 Journal of Pure and Applied Algebra 32 Journal of Algebra 26 Communications in Algebra 26 Mathematics in Computer Science 25 Applicable Algebra in Engineering, Communication and Computing 23 Theoretical Computer Science 22 Journal of Algebra and its Applications 16 Journal of Computational and Applied Mathematics 16 Journal of Systems Science and Complexity 11 Journal of Automated Reasoning 11 Annals of Mathematics and Artificial Intelligence 10 Mathematics of Computation 10 Mathematics and Computers in Simulation 10 Transactions of the American Mathematical Society 10 Journal of Mathematical Sciences (New York) 9 Computer Aided Geometric Design 9 International Journal of Algebra and Computation 8 Advances in Applied Mathematics 8 Multidimensional Systems and Signal Processing 8 Cybernetics and Systems Analysis 8 Algebra Colloquium 7 Computers & Mathematics with Applications 7 Automatica 7 Acta Applicandae Mathematicae 7 Linear Algebra and its Applications 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 Linear and Multilinear Algebra 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 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 MSCS. Mathematical Structures in Computer Science 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 Numerical Algorithms 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 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 ...and 124 more Serials all top 5 Cited in 57 Fields 483 Commutative algebra (13-XX) 475 Computer science (68-XX) 131 Associative rings and algebras (16-XX) 100 Algebraic geometry (14-XX) 97 Numerical analysis (65-XX) 63 Nonassociative rings and algebras (17-XX) 63 Group theory and generalizations (20-XX) 59 Mathematical logic and foundations (03-XX) 54 Field theory and polynomials (12-XX) 51 Information and communication theory, circuits (94-XX) 47 Systems theory; control (93-XX) 42 Ordinary differential equations (34-XX) 37 Combinatorics (05-XX) 30 Partial differential equations (35-XX) 27 Number theory (11-XX) 26 Linear and multilinear algebra; matrix theory (15-XX) 25 Quantum theory (81-XX) 20 Operations research, mathematical programming (90-XX) 18 Several complex variables and analytic spaces (32-XX) 17 Dynamical systems and ergodic theory (37-XX) 15 Geometry (51-XX) 12 Approximations and expansions (41-XX) 11 Mechanics of particles and systems (70-XX) 10 Category theory; homological algebra (18-XX) 10 Biology and other natural sciences (92-XX) 9 General algebraic systems (08-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 Calculus of variations and optimal control; optimization (49-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 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 General topology (54-XX) 2 Fluid mechanics (76-XX) 2 Statistical mechanics, structure of matter (82-XX) 2 Mathematics education (97-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.