Autor: Mathieu, Martin - Katalog OPAC zbiorów

Skocz do pozycji: 1.

Tytuł:: Where to find the image of a derivation
Autorzy:: Mathieu, Martin
Powiązania:: https://bibliotekanauki.pl/articles/1360832.pdf
Data publikacji:: 1994
Wydawca:: Polska Akademia Nauk. Instytut Matematyczny PAN
Opis:: With this paper, we intend to provide an overview of some recent work on a problem on unbounded derivations of Banach algebras that still defies solution, the non-commutative Singer-Wermer conjecture. In particular, we discuss several global as well as local properties of derivations entailing quasinilpotency in the image.
Źródło:: Banach Center Publications; 1994, 30, 1; 237-249
0137-6934
Pojawia się w:: Banach Center Publications
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 2.

Tytuł:: The continuity of Lie homomorphisms
Autorzy:: Aupetit, Bernard
Mathieu, Martin
Powiązania:: https://bibliotekanauki.pl/articles/1206145.pdf
Data publikacji:: 2000
Wydawca:: Polska Akademia Nauk. Instytut Matematyczny PAN
Tematy:: Lie homomorphisms
Banach algebras
spectrally bounded maps
Opis:: We prove that the separating space of a Lie homomorphism from a Banach algebra onto a Banach algebra is contained in the centre modulo the radical.
Źródło:: Studia Mathematica; 2000, 138, 2; 193-199
0039-3223
Pojawia się w:: Studia Mathematica
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 3.

Tytuł:: Modelling interactive computing systems: Do we have a good theory of what computers are?
Autorzy:: Martin, Alice
Magnaudet, Mathieu
Conversy, Stéphane
Powiązania:: https://bibliotekanauki.pl/articles/31804107.pdf
Data publikacji:: 2022
Wydawca:: Copernicus Center Press
Tematy:: philosophy of computing
models of computation
interactive computing
computing mechanism
computational mechanistic explanation
Opis:: Computers are increasingly interactive. They are no more transformational systems producing a final output after a finite execution. Instead, they continuously react in time to external events that modify the course of computing execution. While philosophers have been interested in conceptualizing computers for a long time, they seem to have paid little attention to the specificities of interactive computing. We propose to tackle this issue by surveying the literature in theoretical computer science, where one can find explicit proposals for a model of interactive computing. In that field, the formal modelling of interactive computing systems has been brought down to whether the new interaction models are reducible to Turing Machines. There are three areas where interaction models are framed. The comparison between TMs and interactive system models is at stake in all of them. These areas are namely some works on concurrency by Milner, on Reactive Turing Machines, and on interaction as a new computing paradigm. For each of the three identified models, we present its motivation, sum up its account for interaction and its legacy, and point out issues regarding the understanding of computers. The survey shows difficulties for epistemologists. The reason is that these analyses focus on the formal equivalence between interactive models of computation and classic ones. Such a project is different from addressing how a computing machine can be interactive: in other words, which mechanisms allow it.
Źródło:: Zagadnienia Filozoficzne w Nauce; 2022, 73; 77-119
0867-8286
2451-0602
Pojawia się w:: Zagadnienia Filozoficzne w Nauce
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Informacja

Wyszukujesz frazę "Mathieu, Martin" wg kryterium: Autor

Źródło danych

Dostawca treści

Kolekcja

Rok wydania

Wydawca

Temat

Autor

Typ dokumentu

Język