Essays about: "Algebror"

Found 3 essays containing the word Algebror.

  1. 1. Spin Representations, Clifford Algebras and Spinors

    University essay from Uppsala universitet/Matematiska institutionen

    Author : Simon Wogel; [2023]
    Keywords : Algebras; Clifford algebras; Spinors; Representations; Lie algebras; Lie groups; Algebror; Cliffordalgebror; Spinorer; Representationer; Liealgebror; Liegrupper;

    Abstract : We begin by giving some theoretical background to the underlying concepts of spin representations and spinors. This is done from the perspective of Lie groups and Lie algebras. In particular, we discuss the functionality of Clifford algebras in the determination of the double-covering spin groups. READ MORE

  3. 2. Invariant Construction of Cosmological Models

    University essay from Umeå universitet/Institutionen för fysik

    Author : Erik Jörgenfelt; [2016]
    Keywords : ;

    Abstract : Solutions to the Einstein field equations can be constructed from invariant objects. If a solution is found it is locally equivalent to all solutions constructed from the same set. READ MORE

  4. 3. Realizability in Coq

    University essay from KTH/Matematik (Avd.)

    Author : Anders Lundstedt; [2015]
    Keywords : Coq; formalization; partial combinatory algebra; realizability; Coq; formalisering; partiell kombinatorisk algebra; realiserbarhet;

    Abstract : This thesis describes a Coq formalization of realizability interpretations of arithmetic. The realizability interpretations are based on partial combinatory algebras—to each partial combinatory algebra there is an associated realizability interpretation. I construct two partial combinatory algebras. READ MORE