H.-D. Ebbinghaus, H. Hermes, F. Hirzebruch, M. Koecher, K. Mainzer, J. Neukirch, A. Prestel, and R. Remmert. Numbers. Springer-Verlag, 1990.  Home/Search   Document Not in Database   Summary   Related Articles   Check

....x 3 k and the geometry of the associated rotation SO(3) Proposition 4.1. Let x be a unit quaternion. Then SO(3) is a rotation with axis along the vector given by the pure quaternion part, x 1 , x 2 , x 3 ) and angle # determined by the real part, x 0 = cos(# 2) Proof. See, for example, [6], 22] The following proposition, adapted from [12] and used in [10] will be useful in section 5. Proposition 4.2. Suppose a, b P are nonzero pure quaternions such that ba ba #= equivalently, such that a a #= b b ) and let x be the unit quaternion x = ba ba = b ....

H. D. Ebbinghaus, H. Hermes, F. Hirzebruch, M. Koecher, K. Mainzer, J. Neukirch, A. Prestel, and R. Remmert. Numbers. Springer-Verlag, New York, 1991.

....8.1 Suppose there are at least two features. Then there exists a Thue system T such that it is undecidable whether p T q for two paths p and q (the so called word problem of T ) Proof. It is well known that there exists a Thue system whose word problem is undecidable (see, for instance, [12] for a proof) Such an undecidable Thue system can be transformed into an undecidable Thue system meeting our specialized format. 2 32 Lemma 8.2 Let f 1 and f 2 be two features, p; q 2 ff 1 ; f 2 g , and let T be a Thue system such that T contains no features other than f 1 and f 2 . ....

H. Hermes. Enumerability, Decidability, Computability. Springer-Verlag, Berlin, Germany, 1965.

....constructions of the reals. Axiomatisations of the reals very similar to the one given here may be found in elementary calculus textbooks. See, for example, 3] A proof that the axiomatisation does characterise the reals is less frequent in elementary textbooks, but may be found, for example, in [2]. I have used the symbol for real division. The symbol = might be preferred, but it is presumably reserved for its use in schema renaming. I have use the name inf for the in mum or greatest lower bound function, rather than glb. inf seems to be more prevalent in the calculus literature and ....

....eld under the extended arithmetic operators together with the division operator . Together, with the axioms given on pages 9 and 10 the axioms on this page characterise the real numbers up to isomorphism. For further mathematical background and a proof of this characterisation, see, for example, [2]. 8 Name R ; R positive and negative real numbers De nition Z R ; R : P 1 A (R R ) C ( 2 R R R ; R R ) C ( 2 R R R ; R = jR j) R R = R = R [ f0g [ R ; 8x ; y : R x y , y x 2 R [ f0g Description The set of positive real ....

[Article contains additional citation context not shown here]

H.-D. Ebbinghaus, H. Hermes, F. Hirzebruch, M. Koecher, K. Mainzer, J. Neukirch, A. Prestel, and R. Remmert. Numbers. Springer-Verlag, 1990.

....skal arprodukt. 2.2.1 F ordubblingen Givet en kvadratisk algebra A definerar vi V (A) AA som ett vektorrum, med multiplikation som ges av (u,v) x,y) ux yv, v x yu) #(u,v) x,y) # A A . Att detta verkligen ger en upphov till en ny algebra med dim(V (A) 2#dim(A) bevisas bl.a. i [7] (s. 177 178) Dessutom beh alls divisionsegenskapen om den f ordubblade algebran h ogst har dimension 8 (se [4] 2.2.2 Egenskaper hos f ordubblingen L at A vara en 4 dim algebra med bas e 1 = 1,e 2 , e 3 , e 4 . Studera A som en direkt summa A = R1#U Multiplikationen : A A # A ges av e 1 ....

H-D. Ebbinghaus. Zahlen. Springer-Verlag, 1984.

....from Propositions (18) and (22) we obtain the following necessary and sucient condition for solvability. 26) ######## A problem is solvable if and only if it is countable and has tip o s. We also have the following characterization of solvability using the language # ### . For # ### , see [Ebbinghaus ## ###, 1994, Sec. 9.2] 27) ########## A problem # is solvable i it consists of countably many propositions, each of which is equivalentin # # to an # # # # sentence of form: # #### # # # (# # # # ### # # # # ## ### )# where # # ## # # #, and # # and # ### are positive quanti er free ....

H. D. Ebbinghaus, J. Flum, & W. Thomas. ############ ###### ###### #######. Springer-Verlag, Berlin, 1994.

....u 3 k and the geometry of the associated 3 dimensional rotation OE(u Omega u) The angle of this rotation is encoded in the real part, u 0 = cos( 2) while the rotational axis is along the direction (u 1 ; u 2 ; u 3 ) determined by the pure quaternion part. For further details, see for example [16, 40, 51]. 4.4 Symplectic Orthogonals It follows from Eqn. 1) that an orthogonal matrix is symplectic if and only if it commutes with J 2n . In the 4 Theta 4 case, this translates to (u Omega v) 1 Omega j) 1 Omega j) u Omega v) where u; v are unit quaternions. Equivalently, we must have ....

H. D. Ebbinghaus, H. Hermes, F. Hirzebruch, M. Keocher, K. Mainzer, J. Neukirch, A. Prestel, and R. Remmert, Numbers, Springer-Verlag, New York, 1991.

No context found.

H.-D. Ebbinghaus, H. Hermes, F. Hirzebruch, M. Koecher, K. Mainzer, J. Neukirch, A. Prestel, and R. Remmert. Numbers. Springer-Verlag, 1990.

No context found.

H.-D. Ebbinghaus, H. Hermes, F. Hirzebruch, M. Koecher, K. Mainzer, J. Neukirch, A. Prestel, and R. Remmert. Numbers. Springer-Verlag, 1990.

No context found.

H. D. Ebbinghaus, Numbers, Springer-Verlag, 1990.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC