Re: Mathematical link between two or more numbers
- To: mathgroup at smc.vnet.net
- Subject: [mg59211] Re: Mathematical link between two or more numbers
- From: Detlef Müller <dmueller at mathematik.uni-kassel.de>
- Date: Tue, 2 Aug 2005 00:42:32 -0400 (EDT)
- References: <dckb21$o2k$1@smc.vnet.net>
- Sender: owner-wri-mathgroup at wolfram.com
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