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...
Computer algebra: Past and future.- MACSYMA: Capabilities and applications to problems in enginee...
The papers in this volume aim at obtaining a common understanding of the challenging research que...
Das vor1iegende Skriptum ist der erste Tei1 ei.ner 4-semestrigen V- n 1esung nMathematik fur Info...
The papers in this volume aim at obtaining a common understanding of the challenging research que...
AISC 2004, the 7th International Conference on Arti?cial Intelligence and S- bolicComputation,was...
Digitisation,Representation,andFormalisation (DigitalLibrariesofMathematics) . . . . . . . . . . ...
The concept of CAST as Computer Aided Systems Theory, was introduced by F. Pichler in the late 19...