Vol. 63 No. 1 (2008)

Articoli

• Geometric goup presentations: a combinatorial approach

  Paola Bandieri

  3-13

  • PDF

• Self-verified extension of affine arithmetic to arbitrary order

  Giuseppe Bilotta

  15-30

  • PDF

• Cumulative hierarchies and computability over universes of sets

  Domenico Cantone, Claudio Chiaruttini, Marianna Nicolosi Asmundo, Eugenio G. Omedeo

  31-84

  • PDF

• Using aetnanova to formally prove that the Davis-Putnam satisfiability test is correct

  Eugenio G. Omodeo, Alexandru I. Tomescu

  85-105

  • PDF

• On the existence of mild solutions of semilinear functional differential inclusions

  A. G. Ibrahim, A. M. Soliman

  107-121

  • PDF

• Fourier Mukai transforms of line bundles on derived equivalent abelian varieties

  Martin G. Gulbrandsen

  123-137

  • PDF

• Iterated Dirichlet problem for the higher order Poisson equation

  H. Begehr, T. Vaitekhovich

  139-154

  • PDF

• The equations of singular loci of ample divisors on (subvarieties of) abelian varieties

  Luigi Lombardi, Francesco Malaspina

  155-166

  • PDF

• A characterization of Jacobians by the existence of Picard bundles

  Ana C. López Martín, Ernesto C. Mistretta, Darío Sánchez Gómez

  167-179

  • PDF

• Effective results onPicard bundles via M-regularity

  Ada Boralevi, Francesco Prantil

  181-203

  • PDF

• Cohomological support loci for Abel-Prym curves

  Sebastian Casalaina Martin, Martí Lahoz, Filippo Viviani

  205-222

  • PDF

• Infitely many solutions to the Dirichlet problem for quasilinear elliptic systems involving the p(x) and q(x)-Laplacian

  Danila Sandra Moschetto

  223-233

  • PDF