A coruña

Bases de gÁ¶bner: desarrollo formal en coq

Tesis doctoral de Gilberto Pérez Vega En primer lugar, se aborda, de forma ajustada a lo que se va a necesitar, las nociones más prácticas del sistema coq que son necesarias para comprender la formalización de la teoría matemática de los polinomios, su reducción y bases de grí¶bner. el trabajo Leer más…

Por deberes, hace