Results 171 to 180 of about 328 (209)

The Quantum Information Science Challenge for Chemistry. [PDF]

J Phys Chem Lett
Scholes GD, Olaya-Castro A, Mukamel S, Kirrander A, Ni KK, Hedley GJ, Frank NL.   +6 more
europepmc   +1 more source

Near Linearity of the Macroscopic Hall Current Response in Infinitely Extended Gapped Fermion Systems. [PDF]

Commun Math Phys
Wesle M, Marcelli G, Miyao T, Monaco D, Teufel S.   +4 more
europepmc   +1 more source

ON STRONGLY SEPARABLE ALGEBRAS

ON STRONGLY SEPARABLE ALGEBRAS
openaire  

Some of the next articles are maybe not open access.

Related searches:

Mechanised Separation Algebra

2012
We present an Isabelle/HOL library with a generic type class implementation of separation algebra, develop basic separation logic concepts on top of it, and implement generic automated tactic support that can be used directly for any instantiation of the library.
Gerwin Klein, Rafal Kolanski, Andrew Boyton   +2 more
openaire   +1 more source

On the Structure of Generalized Effect Algebras and Separation Algebras

2018
Separation algebras are models of separation logic and effect algebras are models of unsharp quantum logics. We investigate these closely related classes of partial algebras as well as their noncommutative versions and the subclasses of (generalized) (pseudo-)orthoalgebras.
Sarah Alexander, Peter Jipsen, Nadiya Upegui   +2 more
openaire   +1 more source

Separating maps on Fréchet algebras

Quaestiones Mathematicae, 2014
Click on the link to view the abstract.Keywords: Automatic continuity, Fr´echet function algebra, hemicompact space, separating mapQuaestiones Mathematicae 37(2014), 67 ...
openaire   +2 more sources

ALGEBRAIC FUNCTIONS WITH SEPARATED SINGULARITIES

Mathematics of the USSR-Izvestiya, 1971
In this article we consider irreducible algebraic functions of several complex variables. Among them we distinguish a class of algebraic functions with separated singularities and give a description of this class.
openaire   +3 more sources

Subgroups of Central Separable Algebras

Canadian Journal of Mathematics, 1973
In [8] I. N. Herstein conjectured that all the finite odd order sub-groups of the multiplicative group in a division ring are cyclic. This conjecture was proved false in general by S. A. Amitsur in [1]. In his paper Amitsur classifies all finite groups which can appear as a multiplicative subgroup of a division ring. Let D be a division ring with prime
openaire   +1 more source