Results 131 to 140 of about 5,121 (158)

Hamiltonian deformations of Gabor frames: First steps.

open access: yesAppl Comput Harmon Anal, 2015
de Gosson MA.
europepmc   +1 more source

Quantum doubles of Hopf*-Algebras (Hilbert $C^*$-modules and groupoid $C^*$-algebras)

open access: yesQuantum doubles of Hopf*-Algebras (Hilbert $C^*$-modules and groupoid $C^*$-algebras)
openaire  

Double Layer Potentials on Polygons and Pseudodifferential Operators on Lie Groupoids

Integral Equations and Operator Theory, 2018
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Qiao, Yu, Li, Hengguang
openaire   +1 more source

Slim double Lie groupoids

2012
Fil: Tiraboschi, Alejandro Leopoldo. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Córdoba. Centro de Investigación y Estudios de Matemática. Universidad Nacional de Córdoba.
Andruskiewitsch, Nicolas   +2 more
openaire   +1 more source

Double-framed soft generalized bi-ideals of intra-regular AG-groupoids

Journal of Intelligent & Fuzzy Systems, 2018
In this paper, we introduce double-framed soft bi-ideals (briefly DFS bi-ideals) and double-framed soft generalized bi-ideals (briefly DFS generalized bi-ideals) in AG-groupoids and some properties of them are investigated. Several characterizations of intra-regular AG-groupoids in terms of DFS left (resp.
Izhar, Muhammad   +2 more
openaire   +1 more source

Locally Vacant Double Lie Groupoids and the Integration of Matched Pairs of Lie Algebroids

Geometriae Dedicata, 1999
Two types of integration resultS for Poisson Lie groups have been considered by many authors. As representative see \textit{J.-H. Lu} and \textit{A. Weinstein} [C. R. Acad. Sci., Paris, Sér. I 309, No. 18, 951-954 (1989; Zbl 0701.58025)] and \textit{S. Majid} [Pac. J. Math. 141, No. 2, 311-332 (1990; Zbl 0735.17017)] respectively. In [Duke Math. J. 86,
Mackenzie, K. C. H., Mokri, T.
openaire   +2 more sources

Formalizing Double Groupoids and Cross Modules in the Lean Theorem Prover

2016
Lean is a new open source dependently typed theorem prover which is mainly being developed by Leonardo de Moura at Microsoft Research. It is suited to be used for proof irrelevant reasoning as well as for proof relevant formalizations of mathematics. In my talk, I will present my experiences doing a formalization project in Lean. One of the interesting
openaire   +1 more source

Galois Theory and a New Homotopy Double Groupoid of a Map of Spaces

Applied Categorical Structures, 2004
Ronald Brown, George Janelidze
exaly  

Home - About - Disclaimer - Privacy