Search for dissertations about: "polynomial calculus"

Showing result 1 - 5 of 6 swedish dissertations containing the words polynomial calculus.

  2. 1. The Symmetric Meixner-Pollaczek polynomials

    Author : Tsehaye Araaya; Sten Kaijser; Svante Janson; Hjalmar Rosengren; Uppsala universitet; []
    Keywords : 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;

    Abstract : 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. READ MORE

  4. 2. On Complexity Measures in Polynomial Calculus

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

    Abstract : 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. READ MORE

  5. 3. Space in Proof Complexity

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

    Abstract : 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. READ MORE

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

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

    Abstract : 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. READ MORE

  7. 5. On Amoebas and Multidimensional Residues

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

    Abstract : 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. READ MORE