Organonitrile
发表于 2025-3-28 18:08:38
http://reply.papertrans.cn/24/2335/233421/233421_41.png
Canary
发表于 2025-3-28 19:29:19
http://reply.papertrans.cn/24/2335/233421/233421_42.png
Clinch
发表于 2025-3-28 23:47:49
Victor G. Ganzha,Ernst W. Mayr,Evgenii V. Vorozhts
SLAY
发表于 2025-3-29 06:24:51
http://reply.papertrans.cn/24/2335/233421/233421_44.png
白杨鱼
发表于 2025-3-29 10:16:18
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
发表于 2025-3-29 14:22:51
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.
产生
发表于 2025-3-29 17:37:48
http://reply.papertrans.cn/24/2335/233421/233421_47.png
Benign
发表于 2025-3-29 21:06:47
,, – 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
发表于 2025-3-30 01:43:57
http://reply.papertrans.cn/24/2335/233421/233421_49.png
少量
发表于 2025-3-30 04:45:08
Lecture Notes in Computer Sciencehttp://image.papertrans.cn/c/image/233421.jpg