Search for dissertations about: "polynomial calculus"
Showing result 1 - 5 of 6 swedish dissertations containing the words polynomial calculus.
-
1. The Symmetric Meixner-Pollaczek polynomials
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
-
2. On Complexity Measures in Polynomial Calculus
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
-
3. Space in Proof Complexity
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
-
4. Mathematics and mathematics education - two sides of the same coin : creative reasoning in university exams in mathematics
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
-
5. On Amoebas and Multidimensional Residues
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