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 11 Contributions as Editor · 1 Further Contribution Biographic References: 3 Publications Co-Authors: 56 Co-Authors with 43 Joint Publications 1,037 Co-Co-Authors all top 5 Co-Authors 47 single-authored 8 Rosenkranz, Markus 5 Ida, Tetsuo 5 Jebelean, Tudor 4 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 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 Bouhoula, Adel 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 2 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) 12 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,644 times in 1,145 Documents Cited by ▼ Year ▼ Gröbner bases: an algorithmic method in polynomial ideal theory. Zbl 0587.13009 Buchberger, B. 361 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 343 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 158 2006 Ein algorithmisches Kriterium für die Lösbarkeit eines algebraischen Gleichungssystems. Zbl 0212.06401 Buchberger, B. 155 1970 A criterion for detecting unnecessary reductions in the construction of Gröbner-bases. Zbl 0417.68029 Buchberger, B. 96 1979 The construction of multivariate polynomials with preassigned zeros. Zbl 0549.68026 Möller, H. M.; Buchberger, B. 46 1982 Computer algebra. Symbolic and algebraic computation. In cooperation with R. Albrecht. Zbl 0491.00019 42 1982 Algebraic simplification. Zbl 0494.68045 Buchberger, B.; Loos, R. 39 1982 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. 38 2003 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 31 1998 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 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 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 Gröbner bases: A short introduction for systems theorists. Zbl 1023.68882 Buchberger, Bruno 11 2001 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 A note on the complexity of constructing Gröbner-bases. Zbl 0539.13001 Buchberger, B. 11 1983 Theorema 2.0: computer-assisted natural-style mathematics. Zbl 1451.68319 Buchberger, Bruno; Jebelean, Tudor; Kutsia, Temur; Maletzky, Alexander; Windsteiger, Wolfgang 11 2016 Applications of Gröbner bases in nonlinear computational geometry. Zbl 0653.13013 Buchberger, Bruno 10 1988 Theory exploration with Theorema. Zbl 1004.68589 Buchberger, Bruno 9 2000 Algorithm 628. An algorithm for constructing canonical bases of polynomial ideals. Zbl 0575.68047 Winkler, F.; Buchberger, B.; Lichtenberger, F.; Rolletschek, H. 9 1985 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 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 Predicate logic with sequence variables and sequence function symbols. Zbl 1109.68111 Kutsia, Temur; Buchberger, Bruno 6 2004 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 6 2001 An algorithmic criterion for the solvability of a system of algebraic equations. Zbl 0906.13007 Buchberger, Bruno 6 1998 A simplified proof of the characterization theorem for Gröbner-bases. Zbl 0454.68021 Bachmair, L.; Buchberger, B. 6 1980 Applications of Gröbner bases in nonlinear computational geometry. Zbl 0653.13012 Buchberger, Bruno 6 1988 Towards the automated synthesis of a Gröbner bases algorithm. Zbl 1088.68187 Buchberger, Bruno 5 2004 Algorithm synthesis by lazy thinking: using problem schemes. Zbl 1150.68460 Buchberger, Bruno; Crăciun, Adrian 5 2004 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 Theory exploration versus theorem proving. (Abstract of invited talk). Zbl 0958.68156 Buchberger, Bruno 4 1999 Algorithm synthesis by lazy thinking: examples and implementation in Theorema. Zbl 1271.68208 Buchberger, Bruno; Crăciun, Adrian 4 2004 Transforming problems from analysis to algebra: a case study in linear boundary problems. Zbl 1241.65066 Buchberger, Bruno; Rosenkranz, Markus 4 2012 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 Algorithm-supported mathematical theory exploration: A personal view and strategy. Zbl 1109.68664 Buchberger, Bruno 3 2004 The L-machine: an attempt at parallel hardware for symbolic computation. Zbl 0609.68029 Buchberger, B. 3 1986 Mathematical theory exploration. Zbl 1221.03014 Buchberger, Bruno 2 2006 An improved algorithmic construction of Gröbner-bases for polynomial ideals. Zbl 0417.68028 Kollreider, C.; Buchberger, B. 2 1978 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.68604 Ida, Tetsuo; Ţepeneu, Dorin; Buchberger, Bruno; Robu, Judit 2 2004 Mathematical knowledge management. Second international conference, MKM 2003, Bertinoro, Italy, February 16–18, 2003. Proceedings. Zbl 1015.00029 2 2003 Combining logical and algebraic techniques for natural style proving in elementary analysis. Zbl 1183.68563 Vajda, Robert; Jebelean, Tudor; Buchberger, Bruno 1 2009 Computer-trees and their programming. Zbl 0383.68027 Buchberger, B. 1 1978 Proving and solving in computational origami. Zbl 1073.68816 Ida, Tetsuo; Buchberger, Bruno 1 2003 The PCS prover in \(\text{TH}\exists\text{OREM}\forall\). Zbl 1023.68655 Buchberger, Bruno 1 2001 Introduction to Groebner bases. Zbl 0908.13017 Buchberger, Bruno 1 1997 Gröbner bases in Mathematica: Enthusiasm and frustration. (With discussion). Zbl 0793.68018 Buchberger, Bruno 1 1992 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 Mathematica: Doing mathematics by computer? Zbl 0884.68059 Buchberger, B. 1 1997 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 158 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 Towards the automated synthesis of a Gröbner bases algorithm. Zbl 1088.68187 Buchberger, Bruno 5 2004 Algorithm synthesis by lazy thinking: using problem schemes. Zbl 1150.68460 Buchberger, Bruno; Crăciun, Adrian 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. 38 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 11 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 6 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 31 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 6 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 10 1988 Applications of Gröbner bases in nonlinear computational geometry. Zbl 0653.13012 Buchberger, Bruno 6 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. 361 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. 11 1983 The construction of multivariate polynomials with preassigned zeros. Zbl 0549.68026 Möller, H. M.; Buchberger, B. 46 1982 Computer algebra. Symbolic and algebraic computation. In cooperation with R. Albrecht. Zbl 0491.00019 42 1982 Algebraic simplification. Zbl 0494.68045 Buchberger, B.; Loos, R. 39 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. 96 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. 155 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 343 1965 all cited Publications top 5 cited Publications all top 5 Cited by 1,484 Authors 35 Chen, Yuqun 28 Bokut, Leonid A. 27 Hashemi, Amir 21 Mora, Teo 19 Roanes-Lozano, Eugenio 16 Faugère, Jean-Charles 15 Obul, Abdukadir 14 Wang, Dongming 13 Rosenkranz, Markus 13 Seiler, Werner M. 12 Buchberger, Bruno 12 Liu, Jinwang 11 Gerdt, Vladimir Petrovich 11 Hernando, Antonio 11 Jebelean, Tudor 11 Kapur, Deepak 11 Karpuz, Eylem Güzel 11 Kreuzer, Martin 10 Davenport, James Harold 10 Regensburger, Georg 10 Robbiano, Lorenzo 9 England, Matthew 9 Lee, Dong-Il 9 Li, Dongmei 8 Ceria, Michela 8 Çevik, Ahmet Sinan 8 Guo, Li 8 Laita, Luis M. 8 Li, Yu 8 Perret, Ludovic 8 Romanovskiĭ, Valeriĭ Georgievich 8 Sturmfels, Bernd 8 Wang, Dingkang 7 Gao, Xing 7 Kutsia, Temur 7 M.-Alizadeh, Benyamin 7 Mou, Chenqi 7 Niu, Wei 7 Oaku, Toshinori 7 Qiu, Jianjun 7 Roanes-Macías, Eugenio 7 Sturm, Thomas 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 Núñez-Valdés, Juan 6 Sun, Yao 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 Koutschan, Christoph 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 Vasconcelos, Wolmer V. 5 Weispfenning, Volker 5 Zheng, Licui 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 La Scala, Roberto 4 Lazard, Daniel 4 Lee, Kyu-Hwan 4 Liu, Weijun 4 Möller, Hans Michael 4 Quadrat, Alban 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 ...and 1,384 more Authors all top 5 Cited in 241 Serials 239 Journal of Symbolic Computation 37 Journal of Pure and Applied Algebra 36 Journal of Algebra 29 Mathematics in Computer Science 28 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 Mathematics and Computers in Simulation 13 Annals of Mathematics and Artificial Intelligence 11 Mathematics of Computation 11 Computer Aided Geometric Design 11 Journal of Automated Reasoning 10 Transactions of the American Mathematical Society 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 Theoretical and Mathematical Physics 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 Discrete & Computational Geometry 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 Bulletin of the Brazilian Mathematical Society. New Series 2 Central European Journal of Mathematics 2 Journal of Applied Logic ...and 141 more Serials all top 5 Cited in 57 Fields 544 Computer science (68-XX) 524 Commutative algebra (13-XX) 145 Associative rings and algebras (16-XX) 111 Numerical analysis (65-XX) 110 Algebraic geometry (14-XX) 72 Nonassociative rings and algebras (17-XX) 70 Group theory and generalizations (20-XX) 69 Mathematical logic and foundations (03-XX) 65 Field theory and polynomials (12-XX) 64 Information and communication theory, circuits (94-XX) 50 Systems theory; control (93-XX) 45 Ordinary differential equations (34-XX) 41 Combinatorics (05-XX) 34 Partial differential equations (35-XX) 34 Quantum theory (81-XX) 33 Number theory (11-XX) 28 Linear and multilinear algebra; matrix theory (15-XX) 24 Dynamical systems and ergodic theory (37-XX) 21 Operations research, mathematical programming (90-XX) 19 Geometry (51-XX) 18 Several complex variables and analytic spaces (32-XX) 14 Mechanics of particles and systems (70-XX) 13 Category theory; homological algebra (18-XX) 13 Approximations and expansions (41-XX) 13 Biology and other natural sciences (92-XX) 12 Operator theory (47-XX) 10 General algebraic systems (08-XX) 10 Convex and discrete geometry (52-XX) 9 Real functions (26-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 Global analysis, analysis on manifolds (58-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 Differential geometry (53-XX) 5 Algebraic topology (55-XX) 5 Mathematics education (97-XX) 4 Functions of a complex variable (30-XX) 4 Calculus of variations and optimal control; optimization (49-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.