New properties of Sasaki projections

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F68407700%3A21230%2F15%3A00235488" target="_blank" >RIV/68407700:21230/15:00235488 - isvavai.cz</a>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

New properties of Sasaki projections

Popis výsledku v původním jazyce

We extend results on the properties of the Sasaki projection in orthomodular lattices. We bring arguments as to why this operation can extend tools for simplification of formulas and automated computing.

Název v anglickém jazyce

New properties of Sasaki projections

Popis výsledku anglicky

We extend results on the properties of the Sasaki projection in orthomodular lattices. We bring arguments as to why this operation can extend tools for simplification of formulas and automated computing.

Druh

O - Ostatní výsledky

CEP obor

BA - Obecná matematika

OECD FORD obor

—

Projekt

—

Návaznosti

I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Rok uplatnění

2015

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů