Facets (new session)
Description
Metadata
Settings
owl:sameAs
Inference Rule:
asEquivalent
b3s
b3sifp
facets
http://www.w3.org/2002/07/owl#
ldp
oplweb
skos-trans
virtrdf-label
virtrdf-url
None
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)
Type:
skos:Concept
http://linked.opendata.cz/ontology/domain/vavai/Vysledek
New Facet based on Instances of this Class
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, 58 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software