Table of Contents
| Geometric goup presentations: a combinatorial approach | |
| Paola Bandieri | 3-13 |
| Self-verified extension of affine arithmetic to arbitrary order | |
| Giuseppe Bilotta | 15-30 |
| Cumulative hierarchies and computability over universes of sets | |
| Domenico Cantone, Claudio Chiaruttini, Marianna Nicolosi Asmundo, Eugenio G. Omedeo | 31-84 |
| Using aetnanova to formally prove that the Davis-Putnam satisfiability test is correct | |
| Eugenio G. Omodeo, Alexandru I. Tomescu | 85-105 |
| On the existence of mild solutions of semilinear functional differential inclusions | |
| A. G. Ibrahim, A. M. Soliman | 107-121 |
| Fourier Mukai transforms of line bundles on derived equivalent abelian varieties | |
| Martin G. Gulbrandsen | 123-137 |
| Iterated Dirichlet problem for the higher order Poisson equation | |
| H. Begehr, T. Vaitekhovich | 139-154 |
| The equations of singular loci of ample divisors on (subvarieties of) abelian varieties | |
| Luigi Lombardi, Francesco Malaspina | 155-166 |
| 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 |
| Effective results onPicard bundles via M-regularity | |
| Ada Boralevi, Francesco Prantil | 181-203 |
| Cohomological support loci for Abel-Prym curves | |
| Sebastian Casalaina Martin, Martí Lahoz, Filippo Viviani | 205-222 |
| Infitely many solutions to the Dirichlet problem for quasilinear elliptic systems involving the p(x) and q(x)-Laplacian | |
| Danila Sandra Moschetto | 223-233 |
ISSN: 2037-5298