Real And Projective Analysis

← Back to Domain-Specific Abstractions by Domain

1 domain-specific abstractions whose origin domain is Real And Projective Analysis.

• Projectively extended real line — The real line completed by one unsigned point at infinity, yielding a topological circle and the real projective line.