Search for Author All Reviews
	Jebelean, Tudor     Options: All Media Types Journals Proceedings Div Books Whole Books Other Date Reviewed Title Author Publisher Published Date Descending Ascending Date Reviewed     1 - 2 of 2 reviews       Synthesis of list algorithms by mechanical proving Drămnesc I., Jebelean T. Journal of Symbolic Computation 69(C): 61-92, 2015.  Type: Article Program synthesis via extraction of programs from constructive proofs is now very well established, with a large literature base. There are still quite a few hurdles to overcome, but the meta-theory has been in place for quite some tim...... Jan 11 2016     An algorithm for exact division Jebelean T. Journal of Symbolic Computation 15(2): 169-180, 1993.  Type: Article The purpose of this paper is to introduce a new algorithm for exact division of long integers when it is known that the remainder is zero. The author shows that the proposed algorithm works remarkably better than the traditional quotie...... Oct 1 1994
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy