Lambda Sagittarii , formally named Kaus Borealis /ˈkɔːs bɒriˈælɪs/, is a star in the southern constellation of Sagittarius. The star marks the top of the Archer's bow.
In mathematical logic and computer science, the lambda-mu calculus is an extension of the lambda calculus introduced by M. Parigot. It introduces two new operators: the μ operator and the...
Upsilon Sagittarii is a spectroscopic binary star system in the constellation Sagittarius. Upsilon Sagittarii is the prototypical hydrogen-deficient binary , and one of only four such systems known. The unusual...
RY Sagittarii is a yellow supergiant and an R Coronae Borealis type variable star in the constellation Sagittarius. Although it ostensibly has the spectrum of a G-type star, it differs...
In applied mathematics, lambda-connectedness deals with partial connectivity for a discrete space. Assume that a function on a discrete space is given. A degree of connectivity will be...
1 Answers
1 views
Log in to ask questions, provide answers, or leave comments.