Computer Algebra in Scientific Computing
Author(s) -
Matthew England,
Wolfram Koepf,
Timur Sadykov,
Werner M. Seiler,
Thomas Sturm
Publication year - 2005
Publication title -
lecture notes in computer science
Language(s) - English
Resource type - Book series
SCImago Journal Rank - 0.249
H-Index - 400
eISSN - 1611-3349
pISSN - 0302-9743
DOI - 10.1007/11555964
Subject(s) - computer science , algebra over a field , symbolic computation , theoretical computer science , computational science , mathematics , pure mathematics , mathematical analysis
We present an OBDD-based Computer Algebra system for relational algebra, called RelView. After a short introduction to the OBDD-implementation of relations and the system, we exhibit its application by presenting two typical examples.Rudolf Berghammer and Frank Neuman
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom