Concepedia
Journal of Computer and System Sciences · 1978 · 161 citations · 2 references
ComputingComputer ScienceMathematicsAlgorithmsTheory Of ComputationCircuit ComplexityComputational ComplexityNumber-theoretic AlgorithmsArithmetic Circuit ComplexityArithmetic Formula Lower BoundsCircuit Upper BoundsLower BoundsUpper Bound Computation
2
Bounds on positive integral solutions of linear Diophantine equations
I. Borosh, L. B. Treybig · Proceedings of the American Mathematical Society · 1976 · 208 citations · Full text
Natural Sciences, Mathematics, Algorithms +6
A Decision Procedure for the First Order Theory of Real Addition with Order
Jeanne Ferrante, Charles Rackoff · SIAM Journal on Computing · 1975 · 187 citations · Full text
Computing, Computer Science, Mathematics +7