Sökning: "polynomial calculus"

Visar resultat 1 - 5 av 6 avhandlingar innehållade orden polynomial calculus.

  1. 1. The Symmetric Meixner-Pollaczek polynomials

    Författare :Tsehaye Araaya; Sten Kaijser; Svante Janson; Hjalmar Rosengren; Uppsala universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Mathematical analysis; Meixner-Pollaczek polynomial; Orthogonal polynomial; Polynomial operator; Inner product; Umbral calculus; Sheffer polynomial; Convolution type polynomial; Connection and linearization problem; 33C45; 05A40; 33D45; Matematisk analys; Mathematical analysis; Analys; matematik; Mathematics;

    Sammanfattning : The Symmetric Meixner-Pollaczek polynomials are considered. We denote these polynomials in this thesis by pn(λ)(x) instead of the standard notation pn(λ) (x/2, π/2), where λ > 0. LÄS MER

  3. 2. On Complexity Measures in Polynomial Calculus

    Författare :Mladen Mikša; Jakob Nordström; Jacobo Torán; KTH; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Computer Science; Datalogi;

    Sammanfattning : Proof complexity is the study of different resources that a proof needs in different proof systems for propositional logic. This line of inquiry relates to the fundamental questions in theoretical computer science, as lower bounds on proof size for an arbitrary proof system would separate P from NP. LÄS MER

  4. 3. Space in Proof Complexity

    Författare :Marc Vinyals; Jakob Nordström; Yehudayoff Amir; KTH; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; proof complexity; resolution; polynomial calculus; cutting planes; space complexity; computational complexity; pebble games; communication complexity; CDCL; Computer Science; Datalogi;

    Sammanfattning : ropositional proof complexity is the study of the resources that are needed to prove formulas in propositional logic. In this thesis we are concerned with the size and space of proofs, and in particular with the latter.Different approaches to reasoning are captured by corresponding proof systems. LÄS MER

  5. 4. Mathematics and mathematics education - two sides of the same coin : creative reasoning in university exams in mathematics

    Författare :Ewa Bergqvist; Johan Lithner; Peter Nyström; Christer Bergsten; Umeå universitet; []
    Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; Polynomial convexity; Positive currents; Jensen measures; Mathematical reasoning; assessment; university level; Subject didactics; Ämnesdidaktik;

    Sammanfattning : Avhandlingen består av två ganska olika delar som ändå har en del gemensamt. Del A är baserad på två artiklar i matematik och del B är baserad på två matematikdidaktiska artiklar. De matematiska artiklarna utgår från ett begrepp som heter polynomkonvexitet. LÄS MER

  7. 5. On Amoebas and Multidimensional Residues

    Författare :Johannes Lundqvist; Mats Andersson; Martín Sombra; Stockholms universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; amoeba; multidimensional residue; duality principle; effective; uniform; Artin-Rees; Ronkin function; Mathematics; matematik;

    Sammanfattning : This thesis consists of four papers and an introduction. In Paper I we calculate the second order derivatives of the Ronkin function of an affine polynomial in three variables. This gives an expression for the real Monge-Ampére measure associated to the hyperplane amoeba. LÄS MER