Author
|
Conference
|
Journal
|
Organization
|
Year
|
DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all domains
Limit my searches in the following domains
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Co-authors
(105)
Tudor Jebelean
12
Wolfgang Windsteiger
8
Florina Piroi
6
Franz Lichtenberger
6
Daniela Vasaru (Daniela Văsaru)
5
Conferences
(31)
Mathematical Knowledge Management
5
ISSAC
4
AISC
4
EUROCAL
4
SYNASC
4
Journals
(18)
ACM Sigsam Bulletin
13
JSC
6
ENTCS
3
Journal of Applied Logic
3
Microprocessors and Microsystems
2
Keywords
(141)
Embed
Subscribe
Academic
Authors
Bruno Buchberger
Edit
Bruno Buchberger
Johannes Kepler Universität Linz
Publications: 164
|
Citations: 2738
|
G-Index: 50
|
H-Index: 24
The information is calculated based on the tens of millions of scholarly articles currently discoverable within Microsoft Academic Search. As more content gets indexed, the accuracy and completeness will continue to improve.
Interests:
Scientific Computing
,
Algorithms & Theory
,
Artificial Intelligence
View FAQ about top research area and research interests
Collaborated with
105 co-authors
from 1965 to 2010
; Cited by
1851 authors
Homepage
|
Bing
Cumulative
Annual
Order by:
Publications
(164)
BibTeX
|
RIS
|
RefWorks
Download
An Automated Confluence Proof for an Infinite Rewrite System Parametrized over an Integro-Differential Algebra
Loredana Tec
,
Georg Regensburger
,
Markus Rosenkranz
,
Bruno Buchberger
Conference:
International Congress on Mathematical Software - ICMS
, pp. 245-248, 2010
Groebner basis
Bruno Buchberger
,
Manuel Kauers
Journal:
Scholarpedia
, vol. 5, no. 10, 2010
A Symbolic Framework for Operations on Linear Boundary Problems
(
Citations: 2
)
Markus Rosenkranz
,
Georg Regensburger
,
Loredana Tec
,
Bruno Buchberger
Conference:
Computer Algebra in Scientific Computing - CASC
, pp. 269-283, 2009
Combining logical and algebraic techniques for natural style proving in elementary analysis
(
Citations: 1
)
Robert Vajda
,
Tudor Jebelean
,
Bruno Buchberger
Journal:
Mathematics and Computers in Simulation
, vol. 79, no. 8, pp. 2310-2316, 2009
General polynomial reduction with TH 9 OREM 8 functors: applications to integro-differential operators and polynomials
Bruno Buchberger
,
Georg Regensburger
,
Markus Rosenkranz
,
Loredana Tec
Journal:
ACM Sigsam Bulletin
, vol. 42, no. 3, pp. 135-137, 2009
Order by:
Citations
(2738 times by 1728 publications)
A Variant of the F4 Algorithm
(
Citations: 1
)
Antoine Joux
,
Vanessa Vitse
Conference:
The Cryptographer's Track at RSA Conference - CT-RSA
, pp. 356-375, 2011
Encoding the dynamics of deterministic systems
(
Citations: 1
)
Luis M. Torres
,
Annegret K. Wagler
Published in 2011.
A Polynomial Model for Logics with a Prime Power Number of Truth Values
(
Citations: 1
)
Antonio Hernando
,
Eugenio Roanes-Lozano
,
Luis M. Laita
Journal:
Journal of Automated Reasoning - JAR
, vol. 46, no. 2, pp. 205-221, 2011
Subideal border bases
(
Citations: 1
)
Martin Kreuzer
,
Henk Poulisse
Journal:
Mathematics of Computation - Math. Comput.
, vol. 80, no. 274, pp. 1135-1154, 2011
Quantifier Elimination over Finite Fields Using Gröbner Bases
Sicun Gao
,
André Platzer
,
Edmund M. Clarke
Journal:
Computing Research Repository - CORR
, vol. abs/1104.0, 2011
Comments