000089967 001__ 89967
000089967 005__ 20231027130638.0
000089967 0247_ $$2doi$$a10.2140/jsag.2020.10.25
000089967 0248_ $$2sideral$$a117557
000089967 037__ $$aART-2020-117557
000089967 041__ $$aeng
000089967 100__ $$0(orcid)0000-0001-9884-7995$$aManero, Victor$$uUniversidad de Zaragoza
000089967 245__ $$aEffective computation of degree bounded minimal models of GCDAs
000089967 260__ $$c2020
000089967 5060_ $$aAccess copy available to the general public$$fUnrestricted
000089967 5203_ $$aGiven a finitely presented graded commutative differential algebra (GCDA), we present a method to compute its minimal model up to a specified degree, together with a map that is a quasi-isomorphism up to the given degree. The method works by adding generators one by one. It terminates if and only if the minimal model is finitely generated up to the given degree. A specific implementation of the method is given. The method allows us to develop and implement two criteria for i-formality, one necessary and one sufficient. These criteria can be checked effectively, and have been able to determine the i-formality for every example that we have tested.
000089967 536__ $$9info:eu-repo/grantAgreement/ES/DGA/E22-17R$$9info:eu-repo/grantAgreement/ES/DGA/S119$$9info:eu-repo/grantAgreement/ES/MINECO/MTM2017-85649-P
000089967 540__ $$9info:eu-repo/semantics/openAccess$$aAll rights reserved$$uhttp://www.europeana.eu/rights/rr-f/
000089967 655_4 $$ainfo:eu-repo/semantics/article$$vinfo:eu-repo/semantics/publishedVersion
000089967 700__ $$0(orcid)0000-0002-6750-8971$$aMarco Buzunariz, Miguel Angel$$uUniversidad de Zaragoza
000089967 7102_ $$12006$$2440$$aUniversidad de Zaragoza$$bDpto. Matemáticas$$cÁrea Geometría y Topología
000089967 7102_ $$12006$$2200$$aUniversidad de Zaragoza$$bDpto. Matemáticas$$cÁrea Didáctica Matemática
000089967 773__ $$g10, 1 (2020), 25-39$$pJ. softw. algebr. geom.$$tThe journal of software for algebra and geometry$$x1948-7916
000089967 8564_ $$s230821$$uhttps://zaguan.unizar.es/record/89967/files/texto_completo.pdf$$yVersión publicada
000089967 8564_ $$s279642$$uhttps://zaguan.unizar.es/record/89967/files/texto_completo.jpg?subformat=icon$$xicon$$yVersión publicada
000089967 909CO $$ooai:zaguan.unizar.es:89967$$particulos$$pdriver
000089967 951__ $$a2023-10-27-12:53:29
000089967 980__ $$aARTICLE