Franz Winkler

Bruno Buchberger

Comprehensive account of theory and applications of Gröbner bases, co-edited by the subject's inventor.

Gröbner Bases and Applications

Volume 1: Invited Lectures

EUROCAL '85. European Conference on Computer Algebra. Linz, Austria, April 1-3, 1985. Proceedings

Bernhard Thalheim

Klaus-Dieter Schewe

Andreas Prinz

The papers in this volume aim at obtaining a common understanding of the challenging research questions in web applications comprising web information systems, web services, and web interoperability; obtaining a common understanding of verification needs in web applications; achieving a common understanding of the available rigorous approaches to system development, and the cases in which they have succeeded; identifying how rigorous software engineering methods can be exploited to develop suitable web applications; and at developing a European-scale research agenda combining theory, methods and tools that would lead to suitable web applications with the potential to implement systems for computation in the public domain.

Correct Software in Web Applications and Web Services

Robert Trappl

Alfred Kobsa

Harald Trost

Johannes Retti

Werner Horn

Ernst Buchberger

Wolfgang Bibel

Ingeborg Steinacker

Artificial Intelligence — Eine Einführung

Roberto Moreno-Diaz

Jose-Luis Freire

The concept of CAST as Computer Aided Systems Theory, was introduced by F. Pichler in the late 1980s to include those computer theoretical and practical developments as tools to solve problems in System Science. It was considered as the third component (the other two being CAD and CAM) necessary to build the path from Computer and Systems Sciences to practical developments in Science and Engineering. The University of Linz organized the first CAST workshop in April 1988, which demonstrated the acceptance of the concepts by the scientific and technical community. Next, the University of Las Palmas de Gran Canaria joined the University of Linz to organize the first international meeting on CAST, (Las Palmas, February 1989), under the name EUROCAST’89. This was a very successful gathering of systems theorists, computer scientists, and engineers from most European countries, North America, and Japan. It was agreed that EUROCAST international conferences would be organized every two years, alternating between Las Palmas de Gran Canaria and a continental European location. Thus, successive EUROCAST meetings have taken place in Krems (1991), Las Palmas (1993), Innsbruck (1995), Las Palmas (1997), and Vienna (1999), in addition to an extra-European CAST Conference in Ottawa in 1994.

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 Aided Systems Theory - EUROCAST 2001

Andrea Asperti

James Harold Davenport

This book constitutes the refereed proceedings of the Second International Conference on Mathematical Knowledge Management, MKM 2003, held in Betinoro, Italy, in February 2003. The 16 revised full papers presented together with an invited paper were carefully reviewed and selected for presentation. Among the topics addressed are digitization, representation, formalization, proof assistants, distributed libraries of mathematics, NAG library, LaTeX, MathML, mathematics markup, theorem description, query languages for mathematical metadata, mathematical information retrieval, XML-based mathematical knowledge processing, semantic Web, mathematical content management, formalized mathematics repositories, theorem proving, and proof theory.

Second International Conference, MKM 2003 Bertinoro, Italy, February 16-18, 2003

Mathematical Knowledge Management

Gerhard Weiß

Roland Wagner

Peter Paule

Erich Peter Klement

Michael Haller

Gustav Pomberger

Alois Ferscha

Michael Affenzeller

Tudor Jebelean

Wolfgang Schreiner

Robert Stubenrauch

Wolfgang Windsteiger

BrunoBuchberger This book is a synopsis of basic and applied research done at the various re search institutions of the Softwarepark Hagenberg in Austria. Starting with 15 coworkers in my Research Institute for Symbolic Computation (RISC), I initiated the Softwarepark Hagenberg in 1987 on request of the Upper Aus trian Government with the objective of creating a scienti?c, technological, and economic impulse for the region and the international community. In the meantime, in a joint e?ort, the Softwarepark Hagenberg has grown to the current (2009) size of over 1000 R&D employees and 1300 students in six research institutions, 40 companies and 20 academic study programs on the bachelor, master’s and PhD level. The goal of the Softwarepark Hagenberg is innovation of economy in one of the most important current technologies: software. It is the message of this book that this can only be achieved and guaranteed long term by “watering the root”, namely emphasis on research, both basic and applied. In this book, we summarize what has been achieved in terms of research in the various research institutions in the Softwarepark Hagenberg and what research vision we have for the imminent future. When I founded the Softwarepark Hagenberg, in addition to the “watering the root” principle, I had the vision that such a technology park can only prosper if we realize the “magic triangle”, i.e. the close interaction of research, academic education, and business applications at one site, see Figure 1.

Hagenberg Research

Jens Volkert

CONPAR 94-VAPP VI : Third Joint International Conference on Vector and Parallel Processing, Linz, Austria, September 6-8, 1994 : Proceedings

Parallel Processing

Bruno Buchberger

Books

Your next favorite book is out there