Centre for Mathematics, University of Coimbra

Publications
FERREIRA, Marina A., (2022). Long-time asymptotics for coagulation equations with injection that do not have stationary solutions. arXiv:2211.16399 Preprint.
CAMARINHA, Margarida, SILVA LEITE, Fátima, CROUCH, Peter, (2022). Riemannian high-order splines. DMUC 22-37 Preprint.
DI LIBERTI, Ivan, LOBBIA, Gabriele, SOUSA, Lurdes, (2022). KZ-monads and Kan injectivity. DMUC 22-36 Preprint.
MANUELL, Graham, MARTINS-FERREIRA, Nelson, (2022). Weakly Schreier extensions for general algebras. arXiv:2211.01132 Preprint.
JESUS, David, PIMENTEL, Edgard, URBANO, José Miguel, (2022). Fully nonlinear Hamilton-Jacobi equations of degenerate type. DMUC 22-35 Preprint.
BORCEUX, Francis, CLEMENTINO, Maria Manuel, (2022). On coherent systems of subobjects with application to torsion theory. DMUC 22-33 Preprint.
ARAB, Idir, LANDO, Tommaso, OLIVEIRA, Paulo Eduardo, SANTOS, Beatriz, (2022). Some stochastic ordering results for sums of random variables. DMUC 22-34 Preprint.
LUCATELLI NUNES, Fernando, VÁKÁR, Matthijs, (2022). Automatic differentiation for ML-family languages: correctness via logical relations. DMUC 22-32 Preprint.
LUCATELLI NUNES, Fernando, PREZADO, Rui, SOUSA, Lurdes, (2022). Cauchy completeness, lax epimorphisms and effective descent for split fibrations. DMUC 22-30 Preprint.
LUCATELLI NUNES, Fernando, VÁKÁR, Matthijs, (2022). Logical relations for partial features and automatic differentiation correctness. DMUC 22-31 Preprint.

Number of registers: 4,265<< previous 45,46,47,48,49,50,51,52 next >>