About: Uniform families of polynomial equations over a finite field and structures admitting an euler characteristic of definable sets.

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

About: Uniform families of polynomial equations over a finite field and structures admitting an euler characteristic of definable sets. Goto Sponge NotDistinct Permalink

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

Attributes	Values
rdf:type	skos:Concept http://linked.opendata.cz/ontology/domain/vavai/Vysledek
Description	We introduce the notion of Euler characteristic of definable sets and apply it to proof complexity. We introduce the notion of Euler characteristic of definable sets and apply it to proof complexity. (en)
Title	Uniform families of polynomial equations over a finite field and structures admitting an euler characteristic of definable sets. Uniform families of polynomial equations over a finite field and structures admitting an euler characteristic of definable sets. (en)
skos:prefLabel	Uniform families of polynomial equations over a finite field and structures admitting an euler characteristic of definable sets. Uniform families of polynomial equations over a finite field and structures admitting an euler characteristic of definable sets. (en)
skos:notation	RIV/67985840:_____/00:05025074!RIV/2003/AV0/A05003/N
http://linked.open.../vavai/riv/strany	257;284
http://linked.open...avai/riv/aktivita	P Z
http://linked.open...avai/riv/aktivity	P(IAA1019602), P(ME 103), Z(AV0Z1019905)
http://linked.open...iv/cisloPeriodika	2
http://linked.open...vai/riv/dodaniDat	2003
http://linked.open...aciTvurceVysledku	Krajíček, Jan
http://linked.open.../riv/druhVysledku	J - Článek v odborném periodiku
http://linked.open...iv/duvernostUdaju	S - Úplné a pravdivé údaje nepodléhající ochraně podle zvláštních právních předpisů
http://linked.open...titaPredkladatele	Matematický ústav AV ČR, v. v. i.
http://linked.open...dnocenehoVysledku	730116
http://linked.open...ai/riv/idVysledku	RIV/67985840:_____/00:05025074
http://linked.open...riv/jazykVysledku	eng - angličtina
http://linked.open.../riv/klicovaSlova	following system of polynomial equations (en)
http://linked.open.../riv/klicoveSlovo	following system of polynomial equations
http://linked.open...odStatuVydavatele	GB - Spojené království Velké Británie a Severního Irska
http://linked.open...ontrolniKodProRIV	[6D9E6605426B]
http://linked.open...i/riv/nazevZdroje	Proceedings of the London Mathematical Society
http://linked.open...in/vavai/riv/obor	BA
http://linked.open...ichTvurcuVysledku	1 (xsd:int)
http://linked.open...cetTvurcuVysledku	1 (xsd:int)
http://linked.open...ocetUcastnikuAkce	0 (xsd:int)
http://linked.open...nichUcastnikuAkce	0 (xsd:int)
http://linked.open...vavai/riv/projekt	Arithmetic, proof theory and complexity theory http://linked.opendata.cz/resource/domain/vavai/projekt/ME%20103
http://linked.open...UplatneniVysledku	2000
http://linked.open...v/svazekPeriodika	81
http://linked.open...iv/tvurceVysledku	Krajíček, Jan
http://linked.open...n/vavai/riv/zamer	Complex development of all branches of mathematics with regard to the needs of physics and technology
issn	0024-6115
number of pages	28 (xsd:int)

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