Остановите войну!
for scientists:
default search action
Bruno Buchberger
- > Home > Persons > Bruno Buchberger
Publications
- 2023
- [j33]Bruno Buchberger:
Automated programming, symbolic computation, machine learning: my personal view. Ann. Math. Artif. Intell. 91(5): 569-589 (2023) - 2022
- [j32]Bruno Buchberger:
Vladimir Gerdt: A Computer Algebra Enthusiast. Math. Comput. Sci. 16(4): 27 (2022) - 2021
- [c47]Bruno Buchberger:
Symbolic Computation in Software Science: My Personal View. SCSS 2021: 1-13 - 2017
- [c46]Bruno Buchberger:
Gröbner Bases Computation and Macaulay Matrices. SYNASC 2017: 16 - 2016
- [c45]Bruno Buchberger:
Stam's Identities Collection: A Case Study for Math Knowledge Bases. ICMS 2016: 437-442 - [c44]Bruno Buchberger:
The GDML and EuKIM Projects: Short Report on the Initiative. ICMS 2016: 443-446 - 2014
- [c41]Bruno Buchberger:
Soft Math Math Soft. ICMS 2014: 9-15 - 2013
- [c38]Bruno Buchberger:
Mathematics of 21st Century: A Personal View. SCSS 2013: 1 - 2009
- [p4]Bruno Buchberger:
Hagenberg Research: Introduction. Hagenberg Research 2009: 1-4 - 2007
- [c35]Bruno Buchberger:
Journal as Active Math-Agents: Outline of a Project with a Mathematics Publisher. SYNASC 2007: 11-12 - 2006
- [j22]Bruno Buchberger:
Comments on the translation of my PhD thesis. J. Symb. Comput. 41(3-4): 471-474 (2006) - [j21]Bruno Buchberger:
Bruno Buchberger's PhD thesis 1965: An algorithm for finding the basis elements of the residue class ring of a zero dimensional polynomial ideal. J. Symb. Comput. 41(3-4): 475-511 (2006) - [c34]Bruno Buchberger:
Mathematical Theory Exploration. IJCAR 2006: 1-2 - [c33]Bruno Buchberger:
Mathematical Theory Exploration. SYNASC 2006: 3-4 - 2005
- [c32]Bruno Buchberger:
A view on the future of symbolic computation. ISSAC 2005: 1 - 2004
- [c29]Bruno Buchberger:
Algorithm-Supported Mathematical Theory Exploration: A Personal View and Strategy. AISC 2004: 236-250 - 2003
- [c27]Bruno Buchberger:
Computational Mathematics, Computational Logic, and Symbolic Computation (Invited Lecture). CSL 2003: 98-99 - 2002
- [j19]Bruno Buchberger:
Computer algebra: the end of mathematics? SIGSAM Bull. 36(1): 3-9 (2002) - 2001
- [j18]Bruno Buchberger:
Gröbner Bases and Systems Theory. Multidimens. Syst. Signal Process. 12(3-4): 223-251 (2001) - [c24]Bruno Buchberger:
Gröbner Bases: A Short Introduction for Systems Theorists. EUROCAST 2001: 1-19 - [c23]Bruno Buchberger:
The PCS Prover in THEOREMA. EUROCAST 2001: 469-478 - 1999
- [c22]Bruno Buchberger:
Theory exploration versus theorem proving. Calculemus 1999: 386 - 1997
- [c20]Bruno Buchberger:
Computing, Solving, Proving: A Survey on the Theorema Project (Abstract). LPNMR 1997: 220-221 - 1996
- [c19]Bruno Buchberger:
Symbolic Computation: Computer Algebra and Logic. FroCoS 1996: 193-219 - 1995
- [c18]Bruno Buchberger:
What Is Symbolic Computation? CP 1995: 563 - [c17]Bruno Buchberger:
Symbolic Computation Software Systems: The Current State of Technology. EUROSIM 1995: 85-94 - 1993
- [c15]Bruno Buchberger:
Mathematica: A System for Doing Mathematics by Computer? (Abstract). DISCO 1993: 1 - 1992
- [c14]Bruno Buchberger:
Gröbner Bases: An Introduction. ICALP 1992: 378-379 - 1991
- [c13]Bruno Buchberger:
Gröbner Bases in Mathematica: Enthusiasm and Frustration. Programming Environments for High-Level Scientific Problem Solving 1991: 119-132 - 1990
- [j17]Bruno Buchberger:
Should Students Learn Integration Rules? SIGSAM Bull. 24(1): 10-17 (1990) - 1988
- [c12]Bruno Buchberger:
Algebraic Methods for Non-Linear Computational Geometry (Invited Address). SCG 1988: 81-82 - 1987
- [j15]Bruno Buchberger:
History and Basic Features of the Critical-Pair/Completion Procedure. J. Symb. Comput. 3(1/2): 3-38 (1987) - [c11]Bruno Buchberger:
Applications of Gröbner Bases in Non-linear Computational Geometry. Trends in Computer Algebra 1987: 52-80 - 1985
- [j14]Bruno Buchberger:
CAMP: a teaching project in symbolic computation at the University of Linz. ACM Commun. Comput. Algebra 18-19(4-1): 8-9 (1985) - [c10]Bruno Buchberger:
The L-Machine: An Attempt at Parallel Hardware for Symbolic Computation. AAECC 1985: 333-347 - [c9]Bruno Buchberger:
The Parallel L-Machine for Symbolic Computation. European Conference on Computer Algebra (2) 1985: 541-542 - [c7]Bruno Buchberger:
Basic Features and Development of the Critical-Pair/Completion Procedure. RTA 1985: 1-45 - [e1]Bruno Buchberger:
EUROCAL '85, European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985, Proceedings Volume 1: Invited Lectures. Lecture Notes in Computer Science 203, Springer 1985, ISBN 3-540-15983-5 [contents] - 1984
- [j10]Bruno Buchberger:
Algorithms: R Sedgewick Addison-Wesley, Reading, MA, USA (1983) £13.95 pp 551. Microprocess. Microsystems 8(10): 544 (1984) - 1983
- [b3]Bruno Buchberger:
Computer algebra: symbolic and algebraic computation, 2nd Edition. Springer 1983, ISBN 038781776X, pp. I-VI, 1-283 - [c6]Bruno Buchberger:
A note on the complexity of constructing Gröbner-Bases. EUROCAL 1983: 137-145 - [c5]Bruno Buchberger:
A critical-pair/completion algorithm for finitely generated ideals in rings. Logic and Machines 1983: 137-161 - 1982
- [b2]Bruno Buchberger:
Computer algebra - symbolic and algebraic computation. Computing Supplementa 4, Springer 1982, ISBN 0387816844, pp. I-VI, 1-283 - [c3]Bruno Buchberger:
Computer-unterstützter Algorithmenentwurf. KIFS 1982: 141-201 - 1979
- [c2]Bruno Buchberger:
A criterion for detecting unnecessary reductions in the construction of Groebner bases. EUROSAM 1979: 3-21 - 1976
- [j4]Bruno Buchberger:
A theoretical basis for the reduction of polynomials to canonical forms. SIGSAM Bull. 10(3): 19-29 (1976) - [j3]Bruno Buchberger:
Some properties of Gröbner-bases for polynomial ideals. SIGSAM Bull. 10(4): 19-24 (1976) - 1972
- [j2]Bruno Buchberger:
Bemerkung zu den Reduzierbarkeitskriterien vonR.Albrecht für das Optimum-Mix-Problem. Z. Oper. Research 16(3): 137-143 (1972) - [c1]Bruno Buchberger:
Certain decompositions of Gödel numbering and the semantics of programming languages. International Sympoisum on Theoretical Programming 1972: 152-171
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 2024-05-02 23:57 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint