| Attributes | Values |
|---|
| rdf:type
| |
| Description
| - 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. (en)
- 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 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. (cs)
|
| Title
| - Highly optimized library IntervalOp supporting self-validated numerical solution of the Cauchy problem for singular and degenerated quasilinear differential equations using interval arithmetic. (en)
- 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. (cs)
|
| skos:prefLabel
| - Highly optimized library IntervalOp supporting self-validated numerical solution of the Cauchy problem for singular and degenerated quasilinear differential equations using interval arithmetic. (en)
- 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. (cs)
|
| skos:notation
| - RIV/49777513:23520/11:43897971!RIV12-MSM-23520___
|
| http://linked.open...avai/predkladatel
| |
| http://linked.open...avai/riv/aktivita
| |
| http://linked.open...avai/riv/aktivity
| |
| http://linked.open...vai/riv/dodaniDat
| |
| http://linked.open...aciTvurceVysledku
| |
| http://linked.open.../riv/druhVysledku
| |
| http://linked.open...iv/duvernostUdaju
| |
| http://linked.open...onomickeParametry
| - Realizovaná knihovna umožňuje provádět vysoce optimalizované výpočty v intervalové aritmetice na procesorech Intel?
|
| http://linked.open...titaPredkladatele
| |
| http://linked.open...dnocenehoVysledku
| |
| http://linked.open...ai/riv/idVysledku
| - RIV/49777513:23520/11:43897971
|
| http://linked.open...terniIdentifikace
| |
| http://linked.open...riv/jazykVysledku
| |
| http://linked.open.../riv/klicovaSlova
| - self-validated numerics, interval arithmetic, GNU Assembler, Cauchy problem for the p-laplacian, (en)
|
| http://linked.open.../riv/klicoveSlovo
| |
| http://linked.open...ontrolniKodProRIV
| |
| http://linked.open.../licencniPoplatek
| |
| http://linked.open...okalizaceVysledku
| |
| http://linked.open...in/vavai/riv/obor
| |
| http://linked.open...ichTvurcuVysledku
| |
| http://linked.open...cetTvurcuVysledku
| |
| http://linked.open...vavai/riv/projekt
| |
| http://linked.open...UplatneniVysledku
| |
| http://linked.open...echnickeParametry
| - 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.
|
| http://linked.open...iv/tvurceVysledku
| - Hájek, Petr
- Koutný, Tomáš
- Girg, Petr
|
| http://linked.open...avai/riv/vlastnik
| |
| http://linked.open...itiJinymSubjektem
| |
| http://localhost/t...ganizacniJednotka
| |
| is http://linked.open...avai/riv/vysledek
of | |
![[RDF Data]](/fct/images/sw-rdf-blue.png)
![[cxml]](/fct/images/cxml_doc.png)
![[csv]](/fct/images/csv_doc.png)
![[text]](/fct/images/ntriples_doc.png)
![[turtle]](/fct/images/n3turtle_doc.png)
![[ld+json]](/fct/images/jsonld_doc.png)
![[rdf+json]](/fct/images/json_doc.png)
![[rdf+xml]](/fct/images/xml_doc.png)
![[atom+xml]](/fct/images/atom_doc.png)
![[html]](/fct/images/html_doc.png)