Остановите войну!
for scientists:
default search action
Bruno Buchberger
- > Home > Persons > Bruno Buchberger
Publications
- 2023
- [j35]Adel Bouhoula, Bruno Buchberger, Tetsuo Ida, Temur Kutsia:
Preface. Ann. Math. Artif. Intell. 91(5): 563-565 (2023) - [j34]Adel Bouhoula, Bruno Buchberger, Tetsuo Ida, Temur Kutsia:
Correction to: Preface. Ann. Math. Artif. Intell. 91(5): 567 (2023) - 2022
- [e10]Bruno Buchberger, Mircea Marin, Viorel Negru, Daniela Zaharie:
24th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2022, Hagenberg / Linz, Austria, September 12-15, 2022. IEEE 2022, ISBN 978-1-6654-6545-8 [contents] - 2016
- [j31]Erika Ábrahám, John Abbott, Bernd Becker, Anna Maria Bigatti, Martin Brain, Bruno Buchberger, Alessandro Cimatti, James H. Davenport, Matthew England, Pascal Fontaine, Stephen Forrest, Alberto Griggio, Daniel Kroening, Werner M. Seiler, Thomas Sturm:
Satisfiability checking and symbolic computation. ACM Commun. Comput. Algebra 50(4): 145-147 (2016) - [j30]Bruno Buchberger, Tudor Jebelean, Temur Kutsia, Alexander Maletzky, Wolfgang Windsteiger:
Theorema 2.0: Computer-Assisted Natural-Style Mathematics. J. Formaliz. Reason. 9(1): 149-185 (2016) - [c43]Erika Ábrahám, John Abbott, Bernd Becker, Anna Maria Bigatti, Martin Brain, Bruno Buchberger, Alessandro Cimatti, James H. Davenport, Matthew England, Pascal Fontaine, Stephen Forrest, Alberto Griggio, Daniel Kroening, Werner M. Seiler, Thomas Sturm:
SC2: Satisfiability Checking Meets Symbolic Computation - (Project Paper). CICM 2016: 28-43 - [i5]Erika Ábrahám, John Abbott, Bernd Becker, Anna Maria Bigatti, Martin Brain, Bruno Buchberger, Alessandro Cimatti, James H. Davenport, Matthew England, Pascal Fontaine, Stephen Forrest, Alberto Griggio, Daniel Kroening, Werner M. Seiler, Thomas Sturm:
Satisfiability Checking and Symbolic Computation. CoRR abs/1607.06945 (2016) - [i4]Erika Ábrahám, John Abbott, Bernd Becker, Anna Maria Bigatti, Martin Brain, Bruno Buchberger, Alessandro Cimatti, James H. Davenport, Matthew England, Pascal Fontaine, Stephen Forrest, Alberto Griggio, Daniel Kroening, Werner M. Seiler, Thomas Sturm:
Satisfiability Checking meets Symbolic Computation (Project Paper). CoRR abs/1607.08028 (2016) - 2015
- [j29]Adel Bouhoula, Bruno Buchberger, Laura Kovács, Temur Kutsia:
Special issue on symbolic computation in software science. J. Symb. Comput. 69: 1-2 (2015) - [c42]Markus Rosenkranz, Jane Liu, Alexander Maletzky, Bruno Buchberger:
Two-Point Boundary Problems with One Mild Singularity and an Application to Graded Kirchhoff Plates. CASC 2015: 406-423 - [e9]Bernhard Thalheim, Klaus-Dieter Schewe, Andreas Prinz, Bruno Buchberger:
Correct Software in Web Applications and Web Services. Texts and monographs in symbolic computation, Springer 2015, ISBN 978-3-319-17111-1 [contents] - 2014
- [c40]Alexander Maletzky, Bruno Buchberger:
Complexity Analysis of the Bivariate Buchberger Algorithm in Theorema. ICMS 2014: 41-48 - [c39]Bruno Buchberger, Alexander Maletzky:
Groebner Bases in Theorema. ICMS 2014: 374-381 - 2012
- [j28]Bruno Buchberger, Markus Rosenkranz:
Transforming problems from analysis to algebra: A case study in linear boundary problems. J. Symb. Comput. 47(6): 589-609 (2012) - [i3]Markus Rosenkranz, Georg Regensburger, Loredana Tec, Bruno Buchberger:
Symbolic Analysis for Boundary Problems: From Rewriting to Parametrized Gröbner Bases. CoRR abs/1210.2950 (2012) - 2011
- [j27]Bruno Buchberger, Manuel Kauers:
Buchberger's algorithm. Scholarpedia 6(10): 7764 (2011) - 2010
- [j26]Bruno Buchberger, Manuel Kauers:
Groebner basis. Scholarpedia 5(10): 7763 (2010) - [c37]Loredana Tec, Georg Regensburger, Markus Rosenkranz, Bruno Buchberger:
An Automated Confluence Proof for an Infinite Rewrite System Parametrized over an Integro-Differential Algebra. ICMS 2010: 245-248 - 2009
- [j25]Róbert Vajda, Tudor Jebelean, Bruno Buchberger:
Combining logical and algebraic techniques for natural style proving in elementary analysis. Math. Comput. Simul. 79(8): 2310-2316 (2009) - [c36]Markus Rosenkranz, Georg Regensburger, Loredana Tec, Bruno Buchberger:
A Symbolic Framework for Operations on Linear Boundary Problems. CASC 2009: 269-283 - [p3]Peter Paule, Bruno Buchberger, Lena Kartashova, Manuel Kauers, Carsten Schneider, Franz Winkler:
Algorithms in Symbolic Computation. Hagenberg Research 2009: 5-62 - [p2]Tudor Jebelean, Bruno Buchberger, Temur Kutsia, Nikolaj Popov, Wolfgang Schreiner, Wolfgang Windsteiger:
Automated Reasoning. Hagenberg Research 2009: 63-101 - [e8]Bruno Buchberger, Michael Affenzeller, Alois Ferscha, Michael Haller, Tudor Jebelean, Erich-Peter Klement, Peter Paule, Gustav Pomberger, Wolfgang Schreiner, Robert Stubenrauch, Roland R. Wagner, Gerhard Weiß, Wolfgang Windsteiger:
Hagenberg Research. Springer 2009, ISBN 978-3-642-02126-8 [contents] - 2008
- [j24]Bruno Buchberger, Georg Regensburger, Markus Rosenkranz, Loredana Tec:
General polynomial reduction with TH 9 OREM 8 functors: applications to integro-differential operators and polynomials. ACM Commun. Comput. Algebra 42(3): 135-137 (2008) - 2006
- [j23]Bruno Buchberger, Adrian Craciun, Tudor Jebelean, Laura Kovács, Temur Kutsia, Koji Nakagawa, Florina Piroi, Nikolaj Popov, Judit Robu, Markus Rosenkranz, Wolfgang Windsteiger:
Theorema: Towards computer-aided mathematical theory exploration. J. Appl. Log. 4(4): 470-504 (2006) - [p1]Wolfgang Windsteiger, Bruno Buchberger, Markus Rosenkranz:
Theorema. The Seventeen Provers of the World 2006: 96-107 - [e7]Bruno Buchberger, Shin'ichi Oishi, Michael Plum, Siegfried M. Rump:
Algebraic and Numerical Algorithms and Computer-assisted Proofs, 25.-30. September 2005. Dagstuhl Seminar Proceedings 05391, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2006 [contents] - [e6]Viorel Negru, Dana Petcu, Daniela Zaharie, Ajith Abraham, Bruno Buchberger, Alexandru Cicortas, Dorian Gorgan, Joël Quinqueton:
8th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2006), 26-29 September 2006, Timisoara, Romania. IEEE Computer Society 2006, ISBN 0-7695-2740-X [contents] - 2005
- [i2]Bruno Buchberger, Christian Jansson, Shin'ichi Oishi, Michael Plum, Siegfried M. Rump:
05391 Executive Summary - Numerical and Algebraic Algorithms and Computer-assisted Proofs. Algebraic and Numerical Algorithms and Computer-assisted Proofs 2005 - [i1]Bruno Buchberger, Shin'ichi Oishi, Michael Plum, Siegfried M. Rump:
05391 Abstracts Collection - Algebraic and Numerical Algorithms and Computer-assisted Proofs. Algebraic and Numerical Algorithms and Computer-assisted Proofs 2005 - 2004
- [c31]Judit Robu, Tetsuo Ida, Dorin Tepeneu, Hidekazu Takahashi, Bruno Buchberger:
Computational Origami Construction of a Regular Heptagon with Automated Proof of Its Correctness. Automated Deduction in Geometry 2004: 19-33 - [c30]Tetsuo Ida, Dorin Tepeneu, Bruno Buchberger, Judit Robu:
Proving and Constraint Solving in Computational Origami. AISC 2004: 132-142 - [c28]Temur Kutsia, Bruno Buchberger:
Predicate Logic with Sequence Variables and Sequence Function Symbols. MKM 2004: 205-219 - 2003
- [c26]Bruno Buchberger, Adrian Craciun:
Algorithm Synthesis by Lazy Thinking: Examples and Implementation in Theorema. MKM Symposium 2003: 24-59 - [e4]Andrea Asperti, Bruno Buchberger, James H. Davenport:
Mathematical Knowledge Management, Second International Conference, MKM 2003, Bertinoro, Italy, February 16-18, 2003, Proceedings. Lecture Notes in Computer Science 2594, Springer 2003, ISBN 3-540-00568-4 [contents] - 2002
- [c25]Florina Piroi, Bruno Buchberger:
Focus Windows: A New Technique for Proof Presentation. AISC 2002: 337-342 - 1997
- [c21]Bruno Buchberger, Tudor Jebelean, Franz Kriftner, Mircea Marin, Elena Tomuta, Daniela Vasaru:
A Survey of the Theorema Project. ISSAC 1997: 384-391 - 1995
- [c16]Ignacy Duleba, Witold Jacak, Robert Muszynski, Bruno Buchberger:
Symbolic computation-based synthesis of neural network dynamics and controller for robots. ICNN 1995: 2720-2725 - 1994
- [e2]Bruno Buchberger, Jens Volkert:
Parallel Processing: CONPAR 94 - VAPP VI, Third Joint International Conference on Vector and Parallel Processing, Linz, Austria, September 6-8, 1994, Proceedings. Lecture Notes in Computer Science 854, Springer 1994, ISBN 3-540-58430-7 [contents] - 1990
- [j16]Erich L. Kaltofen, Bruno Buchberger:
Special Issue Computational Algebraic Complexity Editorial. J. Symb. Comput. 9(3): 225-228 (1990) - 1985
- [j12]Franz Winkler, Bruno Buchberger, Franz Lichtenberger, Heinrich Rolletschek:
Algorithm 628: An Algorithm for Constructing Canonical Bases of Polynomial Ideals. ACM Trans. Math. Softw. 11(1): 66-78 (1985) - 1983
- [j9]Franz Winkler, Bruno Buchberger:
A criterion for eliminating unnecessary reductions in the Knuth-Bendix algorithm. SIGSAM Bull. 17(3-4): 20 (1983) - 1980
- [b1]Bruno Buchberger, Franz Lichtenberger:
Mathematik für Informatiker I: Die Methode der Mathematik. Informatik-Fachberichte 35, Springer 1980, ISBN 3-540-10417-8 - 1979
- [j6]Bruno Buchberger, J. Fegerl, Franz Lichtenberger:
Computer trees: a concept for parallel processing. Microprocess. Microsystems 3(6): 244-248 (1979)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2023-11-08 02:26 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint