H. Barendregt
págs. 3-22
págs. 23-38
págs. 39-54
págs. 55-70
On Efficient Sparse Integer Matrix Smith Normal Form Computations
J.-G. Dumas, B. D. Saunders
págs. 71-100
Constructing Homomorphism Spaces and Endomorphism Rings
Edward L. Green, C. A. Struble, Lenwood S. Heath
págs. 101-118
The Parametrization of Canal Surfaces and the Decomposition of Polynomials into a Sum of Two Squares
G. Landsmann
págs. 119-132
págs. 133-142
Commutative Algebra in the Mizar System
P. Rudnicki, C. Schwarzweller
págs. 143-169
© 2001-2024 Fundación Dialnet · Todos los derechos reservados