3 ms·
Is there a developed theory around this kind of work? This seems somehow related to various search strategies, but it'd be interesting to hear what sort of tool
by rtpg 14y ago
Is there a developed theory around this kind of work? This seems somehow related to various search strategies, but it'd be interesting to hear what sort of tools are exploited.
- bnegreve 14y agoMaybe machine learning, trying to build models from examples is very common problem in ML. For example, regression [1] seems close. [1] http://en.wikipedia.org/wiki/Regression_analysis http://en.wikipedia.org/wiki/Regression_analysis
- bentoner 14y agohttp://en.wikipedia.org/wiki/Integer_relation_algorithm http://en.wikipedia.org/wiki/Integer_relation_algorithm
- jamessb 14y agoYes - lattice reduction and integer relation detection. You can construct a basis that contains a load of constants (pi, pi/2, pi/3, sqrt(pi) etc), and combinations of constants (pi*e, e^pi etc). Then you can use an integer relation algorithm [1] like PSLQ [2,3] to find integer coefficients with which to express the desired number in terms of elements of the basis. [1] http://en.wikipedia.org/wiki/Integer_relation_algorithm http://en.wikipedia.org/wiki/Integer_relation_algorithm [2] http://arminstraub.com/files/pslq.pdf http://arminstraub.com/files/pslq.pdf [3] http://mathworld.wolfram.com/PSLQAlgorithm.html http://mathworld.wolfram.com/PSLQAlgorithm.html