Titlebook: Computer Algebra in Scientific Computing; 8th International Wo Victor G. Ganzha,Ernst W. Mayr,Evgenii V. Vorozhts Conference proceedings 20

Organonitrile

Canary

Clinch

Victor G. Ganzha,Ernst W. Mayr,Evgenii V. Vorozhts

SLAY

白杨鱼

Claude Y. Laporte,Rory V. O’ConnorWe present an OBDD-based Computer Algebra system for relational algebra, called .. After a short introduction to the OBDD-implementation of relations and the system, we exhibit its application by presenting two typical examples.

hypertension

https://doi.org/10.1007/978-3-319-44817-6Some algorithmic properties are obtained related with the computation of the elementary divisors and a set of canonical generators of a finite abelian group, this properties are based on Gröbner bases techniques used as a theoretical framework. As an application a new algorithm for computing the structure of the abelian group is presented.

产生

Benign

,, – An OBDD-Based Computer Algebra System for Relations,We present an OBDD-based Computer Algebra system for relational algebra, called .. After a short introduction to the OBDD-implementation of relations and the system, we exhibit its application by presenting two typical examples.

Outspoken

少量

Lecture Notes in Computer Sciencehttp://image.papertrans.cn/c/image/233421.jpg