No label defined (Q4517034)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 1533821
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | No label defined |
scientific article; zbMATH DE number 1533821 |
Statements
20 November 2000
0 references
symbolic manipulations
0 references
computer algebra
0 references
Boolean algebra
0 references
0.7757565379142761
0 references
0.736274242401123
0 references
0.7266919016838074
0 references
0.7182761430740356
0 references
The purpose of the article is to study algorithms for realization of transformations of formulas in Boolean algebras. Basic transformations, such as evaluation of minimum forms and applications of rules, are considered. Their realization is implemented by means of the FABULA computer algebra system. For the entire collection see [Zbl 0944.00028].
0 references
