Vol 63 No 1 (2008) | Le Matematiche

Skip to main content Skip to main navigation menu Skip to site footer

Published: 2008-05-01

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