89967 20231027130638.0 doi 10.2140/jsag.2020.10.25 sideral 117557 ART-2020-117557 eng Manero, Victor Universidad de Zaragoza (orcid)0000-0001-9884-7995 Effective computation of degree bounded minimal models of GCDAs 2020 Access copy available to the general public Unrestricted Given 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. info:eu-repo/grantAgreement/ES/DGA/E22-17R info:eu-repo/grantAgreement/ES/DGA/S119 info:eu-repo/grantAgreement/ES/MINECO/MTM2017-85649-P info:eu-repo/semantics/openAccess All rights reserved http://www.europeana.eu/rights/rr-f/ info:eu-repo/semantics/article info:eu-repo/semantics/publishedVersion Marco Buzunariz, Miguel Angel Universidad de Zaragoza (orcid)0000-0002-6750-8971 2006 440 Universidad de Zaragoza Dpto. Matemáticas Área Geometría y Topología 2006 200 Universidad de Zaragoza Dpto. Matemáticas Área Didáctica Matemática 10, 1 (2020), 25-39 J. softw. algebr. geom. The journal of software for algebra and geometry 1948-7916 230821 http://zaguan.unizar.es/record/89967/files/texto_completo.pdf Versión publicada 279642 http://zaguan.unizar.es/record/89967/files/texto_completo.jpg?subformat=icon icon Versión publicada oai:zaguan.unizar.es:89967 articulos driver 2023-10-27-12:53:29 ARTICLE