About: Algorithmic and structural problems of equational logic

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

About: Algorithmic and structural problems of equational logic 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/08/P056
Description	The subject of the present project are equational theories and their corresponding varieties of algebras, from the structural and algorithmic point of view. By structural properties we mean, e.g., a description of free algebras and of the lattice of subvarieties, a description of simple and subdirectly irreducible algebras and also existence of finite bases for equations. We aim towards varieties in a sense unusual, that could yield a counterexample for Park's conjecture or other famous problems solved under additional structural assumptions (such as congruence modularity, omitting of types, associativity, etc.). In the algorithmic part of the project we will study algorithms for automated deduction in equational logic, their recent implementations and possibility of their exploitation in algebraic research. The project includes also implementation of alternative methods and their practical tests. (en) Cílem projektu je studium rovnicových teorií a jim odpovídajících variet algeber z hlediska strukturního a algoritmického. Pod strukturními vlastnostmi rozumíme například popis volných algeber a svazu podvariet, popis jednoduchých a subdirektně ireducibilních algeber a také otázky (ne)konečné bázovanosti. Výzkum by měl směřovat k varietám v jistém smyslu neobvyklým, ve snaze nalézt protipříklad na Parkovu domněnku a další věhlasné problémy, jež jsou v současné době částečně řešeny za dodatečných předpokladů (např. modularita kongruencí, vypouštění typů, asociativita, apod.). V algoritmické části projektu budou studovány především algoritmy na automatickou dedukci v rovnicové logice, jejich současné implementace a možnost jejich využití v algebraickém výzkumu. Projekt obsahuje i implementaci metod alternativních a jejich testování v praxi.
Title	Algorithmic and structural problems of equational logic (en) Algoritmické a strukturní problémy rovnicové logiky
skos:notation	GP201/08/P056
http://linked.open...avai/cep/aktivita	Post-graduate (doctorate) grants
http://linked.open...kovaStatniPodpora	http://linked.opendata.cz/resource/domain/vavai/projekt/GP201%2F08%2FP056/celkovaStatniPodpora
http://linked.open...ep/celkoveNaklady	http://linked.opendata.cz/resource/domain/vavai/projekt/GP201%2F08%2FP056/celkoveNaklady
http://linked.open...datumDodatniDoRIV	2015-03-20 (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	82381057
http://linked.open...ai/cep/hlavniObor	BA - Obecná matematika
http://linked.open...hodnoceniProjektu	V - Vynikající výsledky (s mezinárodním významem apod.). Zároveň byly splněny cíle a 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	equational theories; universal algebra; automated reasoning (en)
http://linked.open...ep/partnetrHlavni	Matematicko-fyzikální 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	10 (xsd:int)
http://linked.open...enychVysledkuVRIV	10 (xsd:int)
http://linked.open...lneniVMinulemRoce	2010-04-16 (xsd:date)
http://linked.open.../prideleniPodpory	http://linked.opendata.cz/resource/domain/vavai/cep/prideleniPodpory/201%2F08%2FP056
http://linked.open...iciPoslednihoRoku	2010
http://linked.open...atUdajeProjZameru	2011
http://linked.open.../vavai/cep/soutez	SGA02008GA1PD
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	2010-12-31 (xsd:date)
http://linked.open...ep/zahajeniReseni	2008-01-01 (xsd:date)
http://linked.open...jektu+dodavatelem	The goals of both parts of the project, the structural and the algorithmic ones, were met. Within the framework of the project, we published 11 papers, containing results interesting with respect to current research in both algebra and automated reaasoning. We also took part in development of the software system SPASS-XDB. Some problems mentioned in the original proposal are not present with (en) Cíle obou částí projektu, strukturní a algoritmické, byly naplněny. V rámci projektu bylo sepsáno celkem 11 článků, jde o řadu cenných poznatků zapadajících do současného výzkumu v algebře i automatickém dokazování. Navíc jsem se podílel na tvorbě softwarového systému SPASS-XDB. Mezi výsledky sice chybí některé problémy explicitně zmíněné v návrhu (např. rozsáhlejší práce na P (cs)
http://linked.open...tniCyklusProjektu	ZBKU
http://linked.open.../cep/klicoveSlovo	universal algebra equational theories
is http://linked.open...vavai/riv/projekt of	Automated Theorem Proving in Loop Theory Varieties of differential modules embeddable into semimodules Automated Theorem Proving in Quasigroup and Loop Theory Embedding general algebras into modules Automated Proof Compression by Invention of New Definitions Selfdistributive groupoids. Part A2: Non-idempotent left distributive Abelian differential modes are quasi- affine BRUCK LOOPS WITH ABELIAN INNER MAPPING GROUPS Polymorphisms of small digraphs SUBDIRECTLY IRREDUCIBLE DIFFERENTIAL MODES
is http://linked.open...vavai/cep/projekt of	http://linked.opendata.cz/resource/domain/vavai/cep/ucast/GP201%2F08%2FP056/2008/orjk%3A11320 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/GP201%2F08%2FP056/2009/orjk%3A11320 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/GP201%2F08%2FP056/2010/orjk%3A11320 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/GP201%2F08%2FP056/2011/orjk%3A11320

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, 58 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software