págs. 3-10
THEOREMA: a formal frame for Mathematics
págs. 11-32
págs. 33-48
págs. 49-64
págs. 65-74
págs. 75-83
págs. 87-90
Towards an automated proof of the Basic Perturbation Lemma
Jesús María Aransay Azofra, Julio Rubio García, Clemens Ballarin
págs. 91-94
págs. 95-98
págs. 99-102
A graphical tool for understanding Cohomology
J.M. Berrio, María del Rocío González Díaz, F. Leal, Pedro Real Jurado
págs. 103-106
Implementación de un test de primalidad tipo Proth
Pedro Berrizbeitia, T. Berry, Daniel Sadornil Renedo, J. Tena
págs. 107-110
págs. 111-116
An invariant for permutation- equivalent linear codes
Mijail Borges Quintana, M.A. Borges Trenars, Edgar Martínez Moro
págs. 117-120
págs. 121-124
Castelnuovo-Mumford regularity: examples of curves and surfaces
págs. 125-130
págs. 131-136
Resolución parcial por radicales
Pilar Fernández Ferreiros, María Angeles Gómez Molleda, Laureano González Vega
págs. 137-142
págs. 143-146
págs. 147-150
págs. 151-154
págs. 155-160
págs. 161-164
Discussing parametric Gröbner bases: dpgb software
págs. 165-170
págs. 171-174
págs. 175-178
págs. 179-182
págs. 183-187
Saturated numerical semigroups
José Carlos Rosales González, P.A. García Sánchez, Juan Ignacio García García, M. B. Branco
págs. 187-190
The oversemigroups of a numerical semigroup
José Carlos Rosales González, P.A. García Sánchez, Juan Ignacio García García, J. A. Jiménez Madrid
págs. 191-194
págs. 195-198
págs. 199-202
págs. 203-206
págs. 207-210
págs. 211-214
Envolventes, cáusticas, podarias ...: extendiendo la cooperación entre la Geometría Dinámica y el Cálculo Simbólico
págs. 215-218
© 2001-2024 Fundación Dialnet · Todos los derechos reservados