The theory of Grobner bases is a general method by which fundamental problems in various branches...

BrunoBuchberger This book is a synopsis of basic and applied research done at the various re sear...

The papers in this volume aim at obtaining a common understanding of the challenging research que...

The papers in this volume aim at obtaining a common understanding of the challenging research que...

This volume contains the proceedings of theSecondInternationalConferenceon MathematicalKnowledgeM...

The concept of CAST as Computer Aided Systems Theory, was introduced by F. Pichler in the late 19...

BrunoBuchberger This book is a synopsis of basic and applied research done at the various re sear...

Artificial Intelligence ¿ Eine Einführung

Das vor1iegende Skriptum ist der erste Tei1 ei.ner 4-semestrigen V- n 1esung nMathematik fur Info...

AISC 2004, the 7th International Conference on Arti?cial Intelligence and S- bolicComputation,was...

Computer algebra: Past and future.- MACSYMA: Capabilities and applications to problems in enginee...