Workshop on Knowledge Management in Formalized Mathematics

Result code in IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11320%2F04%3A00003690" target="_blank" >RIV/00216208:11320/04:00003690 - isvavai.cz</a>

Result on the web

—

DOI - Digital Object Identifier

—

Result language

angličtina

Original language name

Workshop on Knowledge Management in Formalized Mathematics

Original language description

Representation and management of formalized mathematical knowledge. Large libraries of formalized mathematics, authoring formalized mathematics. Data mining in formalized mathematics. Proof checking and theorem proving over large libraries of formalizedmathematics.

Czech name

Workshop o práci se znalostmi ve formální matematice

Czech description

Reprezentace a tvorba formální matematiky, velké knihovny formální matematiky a získávání znalostí z nich. Kontrola a automatická tvorba důkazu ve velkých knihovnách formální matematiky.

Type

W - Workshop organization

CEP classification

BD - Information theory

OECD FORD branch

—

Project

—

Continuities

Z - Vyzkumny zamer (s odkazem do CEZ)

Publication year

2004

Confidentiality

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

Event location

Praha

Event country

CZ - CZECH REPUBLIC

Event starting date

—

Event ending date

—

Total number of attendees

13

Foreign attendee count

10

Type of event by attendee nationality

WRD - Celosvětová akce