RISC RISC Research Institute for Symbolic Computation  
  • @techreport{RISC4368,
    author = {Loredana Tec},
    title = {{A Symbolic Framework for General Polynomial Domains in Theorema: Applications to Boundary Problems}},
    language = {english},
    number = {11-09},
    year = {2011},
    month = {July},
    annote = {PhD Thesis},
    institution = {Research Institute for Symbolic Computation},
    length = {167},
    type = {PhD Thesis}
    }