Re: Mathematical link between two or more numbers
- To: mathgroup at smc.vnet.net
- Subject: [mg59264] Re: Mathematical link between two or more numbers
- From: "Greg" <CUTfedsal at mailcity.com>
- Date: Wed, 3 Aug 2005 01:20:05 -0400 (EDT)
- References: <dckb21$o2k$1@smc.vnet.net> <dcmuh2$gl3$1@smc.vnet.net>
- Sender: owner-wri-mathgroup at wolfram.com
Hello Detlef, Thanks for the reference and the links provided. I will look for this source. Detlef, thank you for your help. I really appreciate it. Greg Federico "Detlef Müller" <dmueller at mathematik.uni-kassel.de> wrote in message news:dcmuh2$gl3$1 at smc.vnet.net... > Greg wrote: > > Hello everyone, > > > > By any chance, is there any software capable of finding possible > > mathematical links between two or more numbers? > > > > I am looking for something that would output something like this: > > > > "Both these numbers are multiples of 7." or > > > > "These numbers are probably generated by a function of the form..." > > > > Thank you for your time. > > > There is an atempt to generate Programs, that estimate > "interesting" connections between given data. the goal > is to automize finding and then proving structures. > > Sources: > > S. Colton: "The HR Program for Theorem Generation". Proceedings of > CADE'02, Copenhagen, Denmark, 2002 > > http://www.dai.ed.ac.uk/homes/simonco/research/hr/links.html > > greetings, > Detlef >