System and method for automated determination of solutions to known equations
A system for automated determination of solutions to known equations, including a process orchestrator configured to retrieve at least one known solution from a known solutions datastore, a mathematics preprocessor configured to convert the at least one known solution to at least one machine-usable converted known solution, a genetic algorithm processor configured to generate at least one candidate solution from the at least one machine-usable converted known solution, and a results datastore configured to store a new solution corresponding to the candidate solution. There is also a method including retrieving at least one known solution from a known solutions datastore using a process orchestrator, converting convert the at least one known solution to at least one machine-usable converted known solution, generating at least one candidate solution from the at least one machine-usable converted known solution using a genetic algorithm processor, and storing a new solution corresponding to the candidate solution.
1 . A system for automated determination of solutions to known equations, comprising:
a process orchestrator configured to retrieve at least one known solution from a known solutions datastore;
a mathematics preprocessor configured to convert the at least one known solution to at least one machine-usable converted known solution;
a genetic algorithm processor configured to generate at least one candidate solution from the at least one machine-usable converted known solution; and
a results datastore configured to store a new solution corresponding to the candidate solution.
2 . The system of claim 1 , further comprising a fitness calculator configured to calculate how well a candidate solution satisfies a set of known equations.
3 . The system of claim 2 , wherein the fitness calculator produces a fitness value according to how well a candidate solution satisfies a set of known equations.
4 . The system of claim 3 , wherein the process orchestrator is further configured to compare the fitness value to a fitness threshold value.
5 . The system of claim 2 , wherein the genetic algorithm processor is further configured to query the fitness calculator for each candidate solution.
6 . The system of claim 1 , wherein the known solutions datastore is a publicly-accessible datastore connected to the Internet.
7 . The system of claim 1 , the known solutions datastore is a datastore of known solutions to Einstein's Field Equations.
8 . The system of claim 1 , wherein the known solution is in the TeX typesetting system form.
9 . The system of claim 1 , wherein the new solution corresponds to a candidate solution that fits a set of known solutions to within a threshold.
10 . The system of claim 1 , the known solutions datastore is a datastore of known solutions to Maxwell's Equations
11 . The system of claim 1 , the known solutions datastore is a datastore of known solutions to Navier-Stokes Equations.
12 . A method for automated determination of solutions to known equations, comprising:
retrieving at least one known solution from a known solutions datastore using a process orchestrator;
converting convert the at least one known solution to at least one machine-usable converted known solution;
generating at least one candidate solution from the at least one machine-usable converted known solution using a genetic algorithm processor; and
storing a new solution corresponding to the candidate solution.
13 . The method of claim 12 , further comprising calculating how well the candidate solution satisfies a set of known equations.
14 . The method of claim 13 , further comprising producing a fitness value according to how well the candidate solution satisfies a set of known equations.
15 . The method of claim 14 , further comprising comparing the fitness value to a fitness threshold value.
16 . The method of claim 12 , further comprising querying a the fitness calculator for each candidate solution.
17 . The method of claim 12 , wherein the known solutions datastore is a publicly-accessible datastore connected to the Internet.
18 . The method of claim 12 , wherein the new solution corresponds to a candidate solution that fits a set of known solutions to within a threshold.
19 . A computer program product of machine usable instructions encoded in a machine usable medium, comprising:
instructions for implementing a process orchestrator configured to retrieve at least one known solution from a known solutions datastore;
instructions for a mathematics preprocessor configured to convert the at least one known solution to at least one machine-usable converted known solution;
instructions for implementing a genetic algorithm processor configured to generate at least one candidate solution from the at least one machine-usable converted known solution; and
instructions for implementing a results datastore configured to store a new solution corresponding to the candidate solution.
20 . The computer program product of claim 19 , wherein the new solution corresponds to a candidate solution that fits a set of known equations to within a threshold.