engleski

Computerized Investigation of Orthomodular Lattices

Our algorithms and computer programs for generating Greechie diagrams with arbitrary chosen number of atoms or blocks will be presented. Also our novel algorithm and programs for checking of Greechie diagram passage by equations defining varieties of orthomodular lattices will be given. We shall present several new results in the Hilbert space theory we obtained using these algorithms and programs.

Greechie diagrams; orthomodular lattices; automated proof; Hilbert space

nije evidentirano