Quantum computational structures
Gianpiero Cattaneo, Maria Luisa Dalla Chiara, Roberto Giuntini, Roberto Leporini (2004)
Mathematica Slovaca
Similarity:
Displaying similar documents to “On Segal's postulates for general quantum mechanics”
Quantum computational structures
On the representation of cyclotomic polynomials as sums of squares
J. Hsia (1973)
Acta Arithmetica
Similarity:
Symmetry and Asymmetry in the Mendeleïev's Periodic Table Predictive Equation
J. C. Perez (2008)
Visual Mathematics
Similarity:
Classical computing, quantum computing, and Shor's factoring algorithm
Yuri I. Manin (1998-1999)
Séminaire Bourbaki
Similarity:
Dual pairs, spherical harmonics and a Capelli identity in quantum group theory
Masatoshi Noumi, Tôru Umeda, Masato Wakayama (1996)
Compositio Mathematica
Similarity:
A mathematician's view of the development of physics
Ludvig Faddeev (1998)
Publications Mathématiques de l'IHÉS
Similarity:
Quantum spaces: notes and comments on a lecture by S. L. Woronowicz
R. Budzyński, W. Kondracki (1995)
Banach Center Publications
Similarity:
Natural quantum operational semantics with predicates
Marek Sawerwain, Roman Gielerak (2008)
International Journal of Applied Mathematics and Computer Science
Similarity:
A general definition of a quantum predicate and quantum labelled transition systems for finite quantum computation systems is presented. The notion of a quantum predicate as a positive operator-valued measure is developed. The main results of this paper are a theorem about the existence of generalised predicates for quantum programs defined as completely positive maps and a theorem about the existence of a GSOS format for quantum labelled transition systems. The first theorem is a slight...