Search for Author All Reviews
	Divason, Jose     Options: All Media Types Journals Proceedings Div Books Whole Books Other Date Reviewed Title Author Publisher Published Date Descending Ascending Date Reviewed     1 - 1 of 1 reviews       Formalisation of the computation of the echelon form of a matrix in Isabelle/HOL Aransay J., Divasón J. Formal Aspects of Computing 28(6): 1005-1026, 2016.  Type: Article Formalization is rapidly evolving from being highly desirable but thought too difficult to be realistic, to being quite feasible and well on its way to being expected. The raw technology of theorem provers certainly is ready. What is s...... Mar 9 2017
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy