Buchberger, Bruno.
Buchberger, Bruno, 1942-....
Buchberger, B.
Bruno Buchberger österreichischer Mathematiker
VIAF ID: 108690106 ( Personal )
Permalink: http://viaf.org/viaf/108690106
Preferred Forms
- 100 0 _ ‡a Bruno Buchberger ‡c österreichischer Mathematiker
- 200 _ | ‡a Buchberger ‡b Bruno ‡f 1942-....
-
-
-
- 100 1 _ ‡a Buchberger, Bruno
-
- 100 1 _ ‡a Buchberger, Bruno
-
-
-
-
- 100 1 _ ‡a Buchberger, Bruno
-
-
- 100 1 _ ‡a Buchberger, Bruno
- 100 1 _ ‡a Buchberger, Bruno ‡d 1942-
- 100 1 _ ‡a Buchberger, Bruno ‡d 1942-
-
- 100 1 _ ‡a Buchberger, Bruno, ‡d 1942-....
-
4xx's: Alternate Name Forms (20)
5xx's: Related Names (3)
- 510 2 _ ‡a Forschungsinstitut für Symbolisches Rechnen ‡4 affi ‡4 https://d-nb.info/standards/elementset/gnd#affiliation ‡e Affiliation
- 551 _ _ ‡a Hagenberg im Mühlkreis ‡4 ortw ‡4 https://d-nb.info/standards/elementset/gnd#placeOfActivity
- 551 _ _ ‡a Linz ‡4 ortw ‡4 https://d-nb.info/standards/elementset/gnd#placeOfActivity
Works
Title | Sources |
---|---|
AISC 2004 | |
Algorithms in real algebraic geometry | |
Algorithms of computeralgebra 16. - 20.12.91 | |
Associating functions and the operator of conditioned iteration. | |
Basic problem in the theory of programming languages, 1972. | |
Beiträgen zu den Grundlagen der Geometrie aus didaktischer, logischer und algorithmischer Sicht | |
A comment on Blum's signal functions. | |
Computer aided systems theory--EUROCAST 2001 : a selection of papers from the 8th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 19-23, 2001 ; revised papers | |
Computer algebra : symbolic and algebraic computation | |
CONPAR 94 | |
Correct Software in Web Applications and Web Services | |
EUROCAL '85 : European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985 : proceedings. | |
EUROCAL'85 : Vol. 1 | |
Gröbner bases and applications | |
Hagenberg research | |
Invited lectures | |
KnowledgeWeb | |
Komp'ûternaâ algebra / red. B. Buhberger, Dž. Kollinz, R. Loos. - Moskva, 1986. | |
Komp'ûternaâ algebra : simbol'nye i algebraičeskie vyčisleniâ | |
Mathematical knowledge management : second international conference, MKM 2003, Bertinoro, Italy, February 16-18, 2003 : proceedings | |
Mathematics, computer science and logic, (Springer) | |
Mathematik für Informatiker I : die Methode der Mathematik | |
Mathematik, Management, Meditation 200 % leben | |
MKM 2003 | |
Multidimensional systems theory and applications | |
Numerical and algebraic algorithms and computer-assisted proofs 05391 executive summary ; Dagstuhl seminar | |
Parallel processing : CONPAR 94-VAPP VI : third Joint International Conference on Vector and Parallel Processing, Linz, Austria, September 6-8, 1994 : proceedings | |
Rechnerorientierte Verfahren | |
Simulation-universal automata | |
A study on universal functions | |
VAPP VI | |
Zukunftssicherung durch Technologiepolitik | |
Компьютерная алгебра : символьные и алгебраические вычисления |