1. A method for searching through one or more documents for a match to a function, the method being performed by a computer, the method comprising: providing said function in a visual format to the computer, said function comprising a plurality of symbols, wherein said function comprises a scientific equation, said equation comprising at least one operator and at least one variable ; analyzing said function, said analyzing comprising: decomposing the function into the plurality of symbols by the computer; labeling each symbol with a label by determining each character of the function; determining a plurality of possible labels for each character or combinations of characters; selecting a symbol label for each symbol according to said probabilistic model, wherein each symbol comprises a character or a plurality of characters; forming said one or more semantic connections according to each symbol label; determining a degree of probability for said one or more semantic connections and said symbol labels according to a probabilistic dynamic mathematical model by said computer, wherein said probabilistic model is state dependent, such that the function comprises a plurality of states, and wherein said selecting said symbol label further comprises determining an effect of each selected symbol label on each state of the function; analyzing said degree of probability for each of a plurality of semantic connections; if said degree of probability falls below a minimum threshold, analyzing one or more symbol labels having a degree of probability below a minimum threshold to determine whether to change said symbol label; and if a symbol label with a higher degree of probability is found according to said analyzing, changing said symbol label and reanalyzing one or more associated semantic connections and otherwise retaining a previously determined symbol label and associated semantic connection or connections; and searching through one or more documents for a match to the analyzed function, wherein said searching through one or more documents comprises determining a function match for a function in said one or more documents according to semantic similarity or identity.