Naslov
Computerized Investigation of Orthomodular Lattices

Autori
Pavičić, Mladen

Izvornik
Invited talk at Inst. for Algebra and Discrete Math., Techn. Univ. of Vienna, Austria, 14.11.2000

Vrsta, podvrsta
Ostale vrste radova, ostalo

Godina
2000

Ključne riječi
Greechie diagrams; orthomodular lattices; automated proof; Hilbert space

Sažetak
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.

Izvorni jezik
Engleski

Znanstvena područja
Fizika

POVEZANOST RADA