Agreed, since Horst joined AIAS in about 2007 computer algebra and checking has always been applied whenever possible. In any new institute computer algebra would be part of the scene. It is routine now in every laboratory. I implemented an early form this method in Room 262 on the Elliott 4130 as in Autobiography Volume Two. The advances in computation since then are already legendary.
Sent: 29/10/2015 08:32:30 GMT Standard Time
Subj: Re: FOR POSTING : Final Version of UFT330 Sections 1 and 2
Said this many times before but these computer checks are fantastic and so important. Einstein would probably have seen some of the flaws he introduced himself had this tool been available in his life time.
Sent from my Samsung device