This HTML5 document contains 48 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dctermshttp://purl.org/dc/terms/
n9http://localhost/temp/predkladatel/
n18http://linked.opendata.cz/resource/domain/vavai/projekt/
n7http://linked.opendata.cz/resource/domain/vavai/riv/tvurce/
n20http://linked.opendata.cz/resource/domain/vavai/subjekt/
n13http://linked.opendata.cz/ontology/domain/vavai/
skoshttp://www.w3.org/2004/02/skos/core#
n3http://linked.opendata.cz/ontology/domain/vavai/riv/
n14http://linked.opendata.cz/ontology/domain/vavai/riv/licencniPoplatek/
n2http://linked.opendata.cz/resource/domain/vavai/vysledek/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n19http://linked.opendata.cz/ontology/domain/vavai/riv/vyuzitiJinymSubjektem/
n4http://linked.opendata.cz/ontology/domain/vavai/riv/klicoveSlovo/
n5http://linked.opendata.cz/ontology/domain/vavai/riv/duvernostUdaju/
xsdhhttp://www.w3.org/2001/XMLSchema#
n12http://linked.opendata.cz/ontology/domain/vavai/riv/jazykVysledku/
n15http://linked.opendata.cz/ontology/domain/vavai/riv/aktivita/
n8http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F49777513%3A23520%2F11%3A43897971%21RIV12-MSM-23520___/
n17http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledku/
n16http://linked.opendata.cz/ontology/domain/vavai/riv/obor/
n11http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item
n2:RIV%2F49777513%3A23520%2F11%3A43897971%21RIV12-MSM-23520___
rdf:type
n13:Vysledek skos:Concept
dcterms:description
IntervalOp je knihovna pro výpočty speciálních funkcí v intervalové aritmetice. Návrh, implementace a funkce této knihovny jsou dány výzkumem v oblasti teorie kvazilineárních obyčejných a parciálních diferenciálních rovnic. Knihovna má využití v počítačových důkazech v oblasti matematické analýzy. Je optimalizovaná pro procesory Intel(r) Pentium a kompatibilní. Je psána v GNU assembleru pro 32-bitové programy, které používají cdecl volací konvenci. Knihovna významně převyšuje obecné matematické softwarové balíky co se týče jak rychlosti, tak i přesnosti výpočtu. IntervalOp is a library for interval computations of some special functions. Design, implementation and functions provided by this interval library were driven by the research in the area of the theory of quasilinear ordinary and/or partial differential equations. This library is suitable for performing computer assisted proofs in these areas of mathematics. It is highly optimized for Intel(r) Pentium and compatible processors. For this reason, it was written in GNU assembler for these processors (32-bit version is available only). It can be called from C programs (or any programs using C-parameter-passing convention). The library significantly outperforms general-purpose commercial products in the terms of speed and precision. IntervalOp is a library for interval computations of some special functions. Design, implementation and functions provided by this interval library were driven by the research in the area of the theory of quasilinear ordinary and/or partial differential equations. This library is suitable for performing computer assisted proofs in these areas of mathematics. It is highly optimized for Intel(r) Pentium and compatible processors. For this reason, it was written in GNU assembler for these processors (32-bit version is available only). It can be called from C programs (or any programs using C-parameter-passing convention). The library significantly outperforms general-purpose commercial products in the terms of speed and precision. IntervalOp je knihovna pro výpočty speciálních funkcí v intervalové aritmetice. Návrh, implementace a funkce této knihovny jsou dány výzkumem v oblasti teorie kvazilineárních obyčejných a parciálních diferenciálních rovnic. Knihovna má využití v počítačových důkazech v oblasti matematické analýzy. Je optimalizovaná pro procesory Intel(r) Pentium a kompatibilní. Je psána v GNU assembleru pro 32-bitové programy, které používají cdecl volací konvenci. Knihovna významně převyšuje obecné matematické softwarové balíky co se týče jak rychlosti, tak i přesnosti výpočtu.
dcterms:title
Optimalizovaná knihovna IntervalOp pro podporu řešení Cauchyovy úlohy pro singulární a degenerované kvazilineární diferenciální rovnice v intervalové aritmetice. Highly optimized library IntervalOp supporting self-validated numerical solution of the Cauchy problem for singular and degenerated quasilinear differential equations using interval arithmetic. Optimalizovaná knihovna IntervalOp pro podporu řešení Cauchyovy úlohy pro singulární a degenerované kvazilineární diferenciální rovnice v intervalové aritmetice.
skos:prefLabel
Optimalizovaná knihovna IntervalOp pro podporu řešení Cauchyovy úlohy pro singulární a degenerované kvazilineární diferenciální rovnice v intervalové aritmetice. Optimalizovaná knihovna IntervalOp pro podporu řešení Cauchyovy úlohy pro singulární a degenerované kvazilineární diferenciální rovnice v intervalové aritmetice. Highly optimized library IntervalOp supporting self-validated numerical solution of the Cauchy problem for singular and degenerated quasilinear differential equations using interval arithmetic.
skos:notation
RIV/49777513:23520/11:43897971!RIV12-MSM-23520___
n13:predkladatel
n20:orjk%3A23520
n3:aktivita
n15:S n15:P
n3:aktivity
P(ME10093), S
n3:dodaniDat
n11:2012
n3:domaciTvurceVysledku
n7:5678439 n7:6108679 n7:1717510
n3:druhVysledku
n17:R
n3:duvernostUdaju
n5:S
n3:ekonomickeParametry
Realizovaná knihovna umožňuje provádět vysoce optimalizované výpočty v intervalové aritmetice na procesorech Intel?
n3:entitaPredkladatele
n8:predkladatel
n3:idSjednocenehoVysledku
218696
n3:idVysledku
RIV/49777513:23520/11:43897971
n3:interniIdentifikace
IntervalOpR1
n3:jazykVysledku
n12:cze
n3:klicovaSlova
self-validated numerics, interval arithmetic, GNU Assembler, Cauchy problem for the p-laplacian,
n3:klicoveSlovo
n4:Cauchy%20problem%20for%20the%20p-laplacian n4:interval%20arithmetic n4:self-validated%20numerics n4:GNU%20Assembler
n3:kontrolniKodProRIV
[C369B01C493A]
n3:licencniPoplatek
n14:N
n3:lokalizaceVysledku
http://www.kiv.zcu.cz/vyzkum/software/2011/intervalop.html
n3:obor
n16:JC
n3:pocetDomacichTvurcuVysledku
3
n3:pocetTvurcuVysledku
3
n3:projekt
n18:ME10093
n3:rokUplatneniVysledku
n11:2011
n3:technickeParametry
Knihovna podporuje optimalizované výpočty v intervalové aritmetice na platformě Intel Pentium 32-bit. Ing. Tomáš Koutný, Ph.D., ZČU v Plzni, FAV, KIV, 377632437, txkoutny@kiv.zcu.cz.
n3:tvurceVysledku
Koutný, Tomáš Girg, Petr Hájek, Petr
n3:vlastnik
n8:vlastnikVysledku
n3:vyuzitiJinymSubjektem
n19:A
n9:organizacniJednotka
23520