Sökning: "theorem"

Visar resultat 1 - 5 av 274 avhandlingar innehållade ordet theorem.

  1. 1. Some new Fourier multiplier results of Lizorkin and Hörmander types

    Detta är en avhandling från Luleå : Luleå tekniska universitet

    Författare :Lyazzat Sarybekova; Luleå tekniska universitet.; [2011]
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Fourier multipliers; Lizorkin theorem; Hörmander theorem; regular system; Mathematics; Matematik; Mathematics; Matematik;

    Sammanfattning : This PhD Thesis is devoted to the study of Fourier series and Fourier transform multipliers and it contains four papers (papers A - D) together with an introduction, which put these papers into a general frame. This extensive introduction can also be seen as an independent description of this important area including the historical development and the most important results. LÄS MER

  2. 2. Symmetries and conservation laws

    Detta är en avhandling från Växjö : Växjö university press

    Författare :Raisa Khamitova; Växjö universitet.; Blekinge Tekniska Högskola.; Blekinge Tekniska Högskola.; [2009]
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; NATURAL SCIENCES Physics Other physics Mathematical physics; NATURVETENSKAP Fysik Övrig fysik Matematisk fysik; conservation law; Noether s theorem; Lie group analysis; Lie-Bäcklund transformations; basis of conservation laws; formal Lagrangian; self-adjoint equation; quasi-selfadjoint; equation; nonlocal conservation law; Conservation law; Noether’s theorem; quasi-self-adjoint equation;

    Sammanfattning : Conservation laws play an important role in science. The aim of this thesis is to provide an overview and develop new methods for constructing conservation laws using Lie group theory. The derivation of conservation laws for invariant variational problems is based on Noether’s theorem. LÄS MER

  3. 3. The fundamental theorem of calculus a case study into the didactic transposition of proof

    Detta är en avhandling från Luleå : Luleå tekniska universitet

    Författare :Anna Klisinska; Luleå tekniska universitet.; [2009]
    Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; Mathematics Education; Matematik och lärande;

    Sammanfattning : The relationship between academic mathematics as practiced by researchers at universities and classroom mathematics (the mathematical practices in classrooms in primary, lower and upper secondary education as well as in undergraduate university education) is a fundamental question in mathematics education. The focus of the study presented here is on how this relationship is seen from the perspective of mathematics education and by researching mathematicians, with a focus on proof. LÄS MER

  4. 4. Generalizations of Szego Limit Theorem Higher Order Terms and Discontinuous Symbols

    Detta är en avhandling från Stockholm : Matematik

    Författare :Dimitri Gioev; KTH.; [2001]
    Nyckelord :Regularized determinants; Toeplitz operators; Wiener-Hopf operators; pseudodifferential operators PsDO on manifolds; asymptotics; general theory of PsDO; combinatorial identities; random walks; combinatorial probability; symmetric functions;

    Sammanfattning : .... LÄS MER

  5. 5. Deductive Program Analysis with First-Order Theorem Provers

    Detta är en avhandling från ; Chalmers tekniska högskola; Gothenburg

    Författare :Simon Robillard; [2019]
    Nyckelord :HUMANIORA; HUMANITIES; NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Automated theorem proving; Program semantics; Program Verification; Program analysis; Automated reasoning; First-order logic;

    Sammanfattning : Software is ubiquitous in nearly all aspects of human life, including safety-critical activities. It is therefore crucial to analyze programs and provide strong guarantees that they perform as expected. LÄS MER