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.

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.

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.

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.

AISC 2004, the 7th International Conference on Arti?cial Intelligence and S- bolicComputation, wasthelatestintheseriesofspecializedbiennialconferences foundedin1992byJacquesCalmetoftheUniversitat ] KarlsruheandJohnCa- bell of University College London with the initial title Arti?cial Intelligence and Symbolic Mathematical Computing (AISMC).TheM disappeared from the title between the 1996 and 1998 conferences. As the editors of the AISC 1998 p- ceedings said, the organizers of the current meeting decided to drop the adjective 'mathematical' and toemphasize that the conference is concerned with all aspects of symbolic computation in AI: mathematical foundations, implementations, and applications, including applications in industry and academia. This remains the intended pro?le of the series, and will ?gure in the call for papersfor AISC 2006, whichis intended to takeplaceinChina. Thedistribution of papers in the present volume over all the areas of AISC happens to be rather noticeably mathematical, an e?ect that emerged because we were concerned to select the best relevant papers that were o?ered to us in 2004, irrespective of their particular topics; hence the title on the cover. Nevertheless, we encourage researchersovertheentirespectrumofAISC, asexpressedbythe1998quotation above, to be intouchwith us abouttheir interestsandthe possibility ofeventual submission of papers on their work for the next conference in the series. The papers in the present volume are evidence of the health of the ?eld of AISC. Additionally, there are two reasons for optimism about the continuation of this situation."

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.

This book constitutes the thoroughly refereed post-proceedings of the 8th International Workshop on Computer Aided Systems Theory, EUROCAST 2001, held in Las Palmas de Gran Canaria, Spain in February 2001.The 48 revised full papers presented together with two invited papers were carefully selected during two rounds of reviewing and revision. The book offers topical sections on computer aided systems theory, mathematical and logical formalisms, information and decision, complexity, neural-like computation, automation and control, computer algebra and automated theorem proving, and functional programming and lambda calculus.

The theory of Gröbner bases, invented by Bruno Buchberger, is a general method by which many fundamental problems in various branches of mathematics and engineering can be solved by structurally simple algorithms. The method is now available in all major mathematical software systems. This book provides a short and easy-to-read account of the theory of Gröbner bases and its applications. It is in two parts, the first consisting of tutorial lectures, beginning with a general introduction. The subject is then developed in a further twelve tutorials, written by leading experts, on the application of Gröbner bases in various fields of mathematics. In the second part there are seventeen original research papers on Gröbner bases. An appendix contains the English translations of the original German papers of Bruno Buchberger in which Gröbner bases were introduced.

Computer. Algebra fdr den Ingenieur (B. Buchberger I B. Kutzler) Das Gebiet der Computer-Algebra stent dem Ingenieur ein neues Arsenal von computer-unterstutzten Methoden zur Losung von Problemen des technichlwis senschaftlichen Rechnens zur Verfugung. In diesem Kapitel wird zunachst das neue Gebiet der Computer-Algebra charakterisiert und insbesondere vom Gebiet der Numerik abgegrenzt bzw. aufgezeigt, wie Computer-Algebra im Verein mit Numerik die ProblemlOsepotenz um eine wesentliche Qualitat erweitert. Dann werden die typischen Grundrechenoperationen, die in Computer-Algebra-Software systemen moglich sind, und die Verbindung dieser Operationen zu Programmen an Hand von Beispielen, insbesondere von konkreten Anwendungen aus der Ingenieur mathematik, demonstriert. 1m nachsten Abschnitt werden dann die wichtigsten Computer-Algebra-Softwaresysteme und ihre Verfugbarkeit fo. r den Benutzer be sprochen. Schlie13lich wird im Abschnitt Computer-Algebra-Algorithmen auf die der Computer-Algebra zugrundeliegende Mathematik eingegangen, indem fur einige typische Problemstellungen die zur Losung fuhrenden matbematisch/algorith mischen Ideen skizziert werden. Algorithmen zur Methode der finiten Elemente fdr Vektorrechner (M. Kratz) Eine neuartige Klasse sehr leistungsfahiger Computer hat die Moglichkeit der numerischen Datenverarbeitung wesentlich erweitert: die sog. Vektorrechner. Ihre V erarbei tungsgesch windigkei t kann diejenige gro13er U ni versalrechner um Zehnerpotenzen ubertreffen - jedoch nur mit neuen, der speziellen Maschinen architektur angepa13ten Algorithmen und Programmen. Das Besondere ist die Funktionsweise ihrer Prozessoren, die lange Folgen von Daten nach dem Flie13band prinzip verknupfen. Aus dem Flie13bandverfahren folgt, da13 sich die volle Leistung 6 der Maschinen erst bei genugend langen Operndenstromen einstellt."

Das vor1iegende Skriptum ist der erste Tei1 ei.ner 4-semestrigen V- n 1esung nMathematik fur Informatiker, die seit WS 79/80 an der Universitat Linz neu aufgebaut wird. Die Autoren wurden bei. der Strukturierung des Gesamtzyk1us und insbesondere bei der Konzeption dieses ersten Tei1s von fo1genden Grundgedanken ge1eitet: 1. Mathematik ist die Technik des rationa1en Prob1em1osens. Der Vor- gang des Prob1em1osens in seiner Ganzheit, beginnend bei der Analyse des meist nur sehr diffus geste11ten Problems bis zur ubersicht1ichen Prasentation des fertigen Losungsverfahrens und der Ergebnisse sollte desha1b im Mitte1punkt der Mathematik- ausbi1dung stehen. 2. Die Schu1ung der vie1en sehr verschiedenen inte11ektue11en und psychischen Fahigkeiten, die das Losen eines Problems vom Prob1em1oser erfordert (Gedu1d im Zuhoren: Fahigkei t, gez ie1te Fragen zu ste11en: Sehen von Strukturen in unstrukturierten Rea1itaten: Prazision im Ausd uck: Verstehen und Formu1ieren von Sachverha1ten in be1iebigen Notationen: Kreativitat und F1exi- biiitat: Fahigkeit zur Nutzbarrnachung vorhandener Informationen: Abstraktionsvermogen und Fahigkeit zur Anschau1ichkeit etc. etc.) fallt bei einer Ausbildung in Mathematik nicht se1bstverstandlich a1s Nebenprodukt abo Vie1mehr muB der Aspekt, daB es in der Mathematikausbildung urn die Schu1ung a11er zum Vorgang des Prob1em1osens notwendigen Fahigkeiten geht, sowoh1 vom Lehrer a1s auch vom Studierenden von Anfang an in bewuBter Weise verfo1gt werden.