Certifying properties of an efficient functional program for computing Gröbner bases

• Autores: José Santiago Jorge Castro, Víctor M. Gulías , José Luis Freire Nistal
• Localización: Journal of symbolic computation, ISSN 0747-7171, Vol. 44, Nº 5, 2009, págs. 571-582
• Idioma: inglés
• DOI: 10.1016/j.jsc.2007.07.016
• Texto completo no disponible (Saber más ...)