About: Word problem in free left distributive idempotent groupoids

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: Word problem in free left distributive idempotent groupoids Goto Sponge NotDistinct Permalink

An Entity of Type : http://linked.opendata.cz/ontology/domain/vavai/Projekt, within Data Space : linked.opendata.cz associated with source document(s)

Attributes	Values
rdf:type	http://linked.opendata.cz/ontology/domain/vavai/Projekt
rdfs:seeAlso	http://www.isvav.cz/projectDetail.do?rowId=GP201/07/P015
Description	The goal of the project is to study the combination of left distributivity and idempotency in order to obtain criteria that enables us to decide whether their equivalence follows from the above mentioned identities or not. Geometrical aspects of terms shall be studied which leads to a normal form of left distributivity and left idempotency. The geometrical monoid of these identities and related structures will also be studied. The study of left distributivity together with left idempotency can lead toa result too. (en) Navrhovatel bude ve svém projektu zkoumat kombinaci levá distributivita a idempotence. Úkolem je popis kritérií, která umožní rozhodovat o termech, zda jejich ekvivalence vyplývá nebo nevyplývá z výše jmenovaných identit. Budou zkoumány geometrické aspekty termů, což vede k normální formě levé distributivity a idempotence; bude také zkoumán geometrický monoid těchto identit a s ním související struktury. K řešení problému též může vést studium levé distributivity a levé idempotence.
Title	Word problem in free left distributive idempotent groupoids (en) Problém slov ve volných levodistributivních idempotentních grupoidech
skos:notation	GP201/07/P015
http://linked.open...avai/cep/aktivita	Post-graduate (doctorate) grants
http://linked.open...kovaStatniPodpora	http://linked.opendata.cz/resource/domain/vavai/projekt/GP201%2F07%2FP015/celkovaStatniPodpora
http://linked.open...ep/celkoveNaklady	http://linked.opendata.cz/resource/domain/vavai/projekt/GP201%2F07%2FP015/celkoveNaklady
http://linked.open...datumDodatniDoRIV	2015-01-22 (xsd:date)
http://linked.open...i/cep/druhSouteze	VS - Veřejná soutěž ve výzkumu a vývoji
http://linked.open...ep/duvernostUdaju	S - Úplné a pravdivé údaje nepodléhající ochraně podle zvláštních právních předpisů
http://linked.open.../cep/fazeProjektu	65824793
http://linked.open...ai/cep/hlavniObor	BA - Obecná matematika
http://linked.open...hodnoceniProjektu	U - Uspěl podle zadání, tj. byly splněny cíle a jeho předpokládané výsledky uvedené ve smlouvě / rozhodnutí o poskytnutí podpory
http://linked.open...vai/cep/kategorie	ZV - Základní výzkum
http://linked.open.../cep/klicovaSlova	word problem; left distributivity; idempotency; groupoids (en)
http://linked.open...ep/partnetrHlavni	Technická fakulta
http://linked.open...inujicichPrijemcu	0 (xsd:int)
http://linked.open...cep/pocetPrijemcu	1 (xsd:int)
http://linked.open...ocetSpoluPrijemcu	0 (xsd:int)
http://linked.open.../pocetVysledkuRIV	3 (xsd:int)
http://linked.open...enychVysledkuVRIV	3 (xsd:int)
http://linked.open...lneniVMinulemRoce	2009-04-22 (xsd:date)
http://linked.open.../prideleniPodpory	http://linked.opendata.cz/resource/domain/vavai/cep/prideleniPodpory/201%2F07%2FP015
http://linked.open...iciPoslednihoRoku	2009
http://linked.open...atUdajeProjZameru	2010
http://linked.open.../vavai/cep/soutez	SGA02007GA1PD
http://linked.open...usZobrazovaneFaze	DUU
http://linked.open...ai/cep/typPojektu	P - Projekt výzkumu a vývoje financovaný ze státního rozpočtu
http://linked.open...ep/ukonceniReseni	2009-12-31 (xsd:date)
http://linked.open...ep/zahajeniReseni	2007-01-01 (xsd:date)
http://linked.open...jektu+dodavatelem	. (en) Řešitel dosáhl v oblasti levodistributivních idempotentních grupoidů, na které byl projekt zaměřen, částečného řešení formulovaného problému (přijatý článek v Mathematica Slovaca). Významnější výsledky však získal v související oblasti automorfních lup (p (cs)
http://linked.open...tniCyklusProjektu	ZBKU
http://linked.open.../cep/klicoveSlovo	word problem idempotency left distributivity
is http://linked.open...vavai/cep/projekt of	http://linked.opendata.cz/resource/domain/vavai/cep/ucast/GP201%2F07%2FP015/2007/orjk%3A41310 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/GP201%2F07%2FP015/2008/orjk%3A41310 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/GP201%2F07%2FP015/2009/orjk%3A41310 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/GP201%2F07%2FP015/2010/orjk%3A41310

Faceted Search & Find service v1.16.118 as of Jun 21 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3240 as of Jun 21 2024, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (126 GB total memory, 83 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software