Erratum: J. Eur. Math. Soc. 1, 199-235 (1999)

Doc. Math. J. Dmv 1 Quantum Computing

The Church-Turing thesis says that a digital computer is a universal computational device; that is, it is able to simulate any physically realizable computational device. It has generally been believed that this simulation can be made eecient so that it entails at most a polynomial increase in computation time. This may not be true if quantum mechanics is taken into consideration. A quantum com...

JOURNAL OF THE EGYPTIAN MATHEMATICAL SOCIETY (J. Egypt. Math. Soc.)Vol.14(1)(2006)pp5-13 Recognition

The paper contains a recognition algorithmic method for deciding whether a given poset, P , is prime. The algorithm is designed to determine whether there exists a proper P -autonomous set including specified two distinct elements of P . The steps are repeated for all ordered pairs of distinct elements of P , if it is prime, in a polynomial time. As an application of this test, the author count...

J. Symbolic Computation (1999) 11, 1-000

We prove that any simpli cation order over arbitrary terms is an extension of an order by weight, by considering a related monadic term algebra called the spine. We show that any total ground-stable simpli cation order on the spine lifts to an order on the full term algebra. Conversely, under certain restrictions, a simpli cation ordering on the term algebra de nes a weight function on the spin...

J. Australian Math. Soc. 80 (2006) 273-296 TWISTED COMPLEX GEOMETRY

We introduce complex differential geometry twisted by a real line bundle. This provides a new approach to understand the various real objects that are associated with an antiholomorphic involution. We also generalize a result of Greenleaf about real analytic sheaves from dimension 2 to higher dimensions. 2000 Mathematics subject classification: 58A05, 53C07, 14J60, 53C56.

MATH 235 B – Probability Theory Lecture Notes , Winter 2011 Dan