All

What are you looking for?

All
Projects
Results
Organizations

Quick search

  • Projects supported by TA ČR
  • Excellent projects
  • Projects with the highest public support
  • Current projects

Smart search

  • That is how I find a specific +word
  • That is how I leave the -word out of the results
  • “That is how I can find the whole phrase”
EN
ČeštinaEnglish

Filters

24 073 (0,147s) •

Result

Strongly Finitary Monads for Varieties of Quantitative Algebras

Quantitative algebras are algebras enriched in the category Met of metric spaces or UMet of ultrametric spaces so that all operations are nonexpanding. Mardare, Plotkin and Panangaden introduced varieties (aka 1-basic varie...

Pure mathematics

  • 2023
    • •
  • D
    • •
  • Link
Result

Varieties of Qantitative Algebras and Their Monads

Quantitative Σ-algebras, where Σ is a signature with countable arities, are Σ-algebras equipped with a metric making all operations nonexpanding. They have been studied by Mardare, Panangaden and Plotkin who also introduced...

Pure mathematics

  • 2022
    • •
  • D
    • •
  • Link
Result

C*-ALGEBRAS HAVE A QUANTITATIVE VERSION OF PELCZYNSKI'S PROPERTY (V)

. Pfitzner proved that C*-algebras have Pelczynski's property (V). In the preprint) and shows that C(K) spaces for a compact Hausdorff space K enjoy a quantitative version theorem. Moreover, we prove that in dual Banach spaces ...

Pure mathematics

  • 2017
    • •
  • Jimp
    • •
  • Link
Result

Algebraic Reasoning over Relational Structures

, quantitative algebras introduced by Mardare, Panangaden, and Plotkin, and their recent by Mardare et al.'s basic conditional equations in the theory of quantitative algebras algebraic features (given by ...

Mathematics

  • 2024
    • •
  • D
    • •
  • Link
Result

Metric monads

We develop universal algebra over an enriched category K and relate it to finitary enriched monads over K . Using it, we deduce recent results about ordered universal algebra where inequations are used instead of equations. Then we ...

Pure mathematics

  • 2021
    • •
  • Jimp
    • •
  • Link
Result

Modelling of the chaotic systems by finite automats

There is given a quantitative estimate of the usability of digital computers with a finite number of states for the simulation of chaotic dynamical systems......

BA - Obecná matematika

  • 2005
    • •
  • D
Result

Modelling of the chaotic systems by finite automats

There is given a quantitative estimate of the usability of digital computers with a finite number of states for the simulation of chaotic dynamical systems......

BA - Obecná matematika

  • 2005
    • •
  • O
Result

Adaptive Wavelet Method for Fourth-Order Elliptic Problems

We improve the computational efficiency of the adaptive wavelet method for the fourth-order elliptic problems with homogeneous Dirichlet boundary conditions. It will be done by the improvement of the condition number of wavelet bases and by modificat...

BA - Obecná matematika

  • 2011
    • •
  • D
    • •
  • Link
Result

Generalized EMV-Effect Algebras

Recently in Dvureenskij and Zahiri (2017), new algebraic structures, called EMV-algebras which generalize both MV-algebras and generalized Boolean algebras, were introduced. We present equivalent conditions for EMV...

Applied mathematics

  • 2018
    • •
  • Jimp
    • •
  • Link
Result

State operators on GMV-algebras

GMV-algebras are non-commutative generalizations of MV-algebras. The paper presents state GMV-algebras as GMV-algebras with an internal state......

BA - Obecná matematika

  • 2011
    • •
  • Jx
    • •
  • Link
  • 1 - 10 out of 24 073