Mp3 (0, 2d2) is singular.
Minimal resolution of general stable rank-2 vector bundles on
We study general elements of moduli spaces of rank-2 stable holomorphic vector bundles on and their minimal free resolutions. Incidentally, a quite easy proof of the irreducibility of is shown.
Verifica automatica del ragionamento matematico
Controllare la correttezza di un ragionamento matematico, quando questo sia completamente formalizzato, è un compito che può essere delegato ad una macchina. Nasce in questo modo la Matematica Verificata al Calcolatore, una disciplina prossima alla forse più nota Dimostrazione Automatica dei Teoremi, ma da questa distinta permetodologie e obiettivi. Questo articolo si propone di presentare la verifica automatica delle dimostrazioni e di offrire alcuni spunti di riflessione sulle possibili implicazioni...
Page 1