On Mar 27, 2:17 am, Charlie-Boo <shymath...@gmail.com> wrote: > On Mar 19, 9:13 am, Jack Campin <bo...@purr.demon.co.uk> wrote:> I hadn't come across this before. Handy summary > > of the state of the art (as of five years ago): > > >http://www.ams.org/notices/200811/index.html > > > I don't suppose our resident wheel-inventors will bother with it. > > None of the theorems exhibited are new ergo nothing is generated by > the software ? it is all input by people. > > Actual theorem proving (generating) software is what is missing. That > is not a wheel. That doesn?t even exist to this day - in what the > professors allow to be published. > > C-B
I posted some Proof Finder snippets.
I've done proof by derivation, proof by counter-example working on proof by contradiction since it involves forward chaining, then will take a brief look at proof by induction.