Ordered Algebra

← Back to Domain-Specific Abstractions by Domain

1 domain-specific abstractions whose origin domain is Ordered Algebra.

• Euclidean ordered field — An ordered field in which every nonnegative element has a square root within the field.