Richardson's Theorem

Let be the class of expressions generated by

1. The Rational Numbers and the two Real Numbers and ,

2. The variable ,

3. The operations of Addition, Multiplication, and composition, and

4. The Sine, Exponential, and Absolute Value functions.

References

Caviness, B. F. ``On Canonical Forms and Simplification.'' J. Assoc. Comp. Mach. 17, 385-396, 1970.

Petkovsek, M.; Wilf, H. S.; and Zeilberger, D. A=B. Wellesley, MA: A. K. Peters, 1996.

Richardson, D. ``Some Unsolvable Problems Involving Elementary Functions of a Real Variable.'' J. Symbolic Logic 33, 514-520, 1968.

• Dehn Invariant
• Dehn's Lemma
• Dehn Surgery
• de Jonquières Theorem
• de Jonquières Transformation
• Del
• de la Loubere's Method
• Delannoy Number
• Delaunay Triangulation
• Delian Constant
• Delian Problem
• de Longchamps Point
• Del Pezzo Surface
• Delta Amplitude
• Delta Curve
• Delta Function
• Deltahedron
• Delta Sequence
• Delta Variation
• Deltoid
• Deltoidal Hexecontahedron
• Deltoidal Icositetrahedron
• Deltoid Caustic
• Deltoid Evolute
• Deltoid Involute