Sökning: "Nullstellensatz"

Hittade 3 avhandlingar innehållade ordet Nullstellensatz.

  1. 1. Radical operations in rings and topological spaces

    Författare :Magnus Rosenlund; KTH; []
    Nyckelord :radicals; Nullstellensatz; topological space; rings;

    Sammanfattning : .... LÄS MER

  3. 2. An analytic approach to Briancon-Skoda type theorems

    Författare :Jacob Sznajdman; Göteborgs universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Briancon-Skoda theorem; Artin-Rees lemma; Singular varieties; Residue calculus; Milnor number; Milnor number;

    Sammanfattning : The Briancon-Skoda theorem can be seen as an effective version of the Hilbert Nullstellensatz and gives a connection between size conditions on holomorphic functions and ideal membership. The size conditions are captured algebraically by the notion of integral closure of ideals. LÄS MER

  4. 3. Lower Bounds and Trade-offs in Proof Complexity

    Författare :Susanna F. de Rezende; Jakob Nordström; Amit Chakrabarti; KTH; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Proof complexity; trade-offs; lower bounds; size; length; space; Computer Science; Datalogi;

    Sammanfattning : Propositional proof complexity is a field in theoretical computer science that analyses the resources needed to prove statements. In this thesis, we are concerned about the length of proofs and trade-offs between different resources, such as length and space. LÄS MER