Live briefing
Everything about Binary function
Function that takes two inputs
In mathematics, a binary function is a function that takes two inputs. Wikipedia →
🧭 Start here: a 6-step reading path
- Read the overview: Binary functionA 5-minute orientation
- Skim a recent paper: Learning Approximate Execution Semantics From Traces for Binary Function SimilarityInfluential work since 2022
- Pick up a classic book: Abstract datatypes in PVSThe most-reprinted book on the subject
- Read the landmark paper: Dynamical scaling of structure function in quenched binary alloysCited 266 times
- Go sideways: Cartesian closed categoryA closely related topic
- Go sideways: OperadA closely related topic
📖 Definitions
Noun a function of the type f:V×V→V, or more generally, a function of the type f:U1×U2×...×Un→V in which exactly two of the sets Ui are equal to V.
🏆 Landmark papers (most cited)
Dynamical scaling of structure function in quenched binary alloys
Properties of Binary Mixtures as a Function of Composition.
Work function of binary alloys
Congruence properties of the binary partition function
Binary executable file similarity calculation using function matching
Optimizing the binary discriminant function in change detection applications
Binary function of mRNA
Binary stars and the fundamental initial mass function
🆕 Influential since 2022
Learning Approximate Execution Semantics From Traces for Binary Function Similarity
Function Representations for Binary Similarity
Avoiding Assumptions: Sexual Function in Transgender and Non-Binary Individuals
Modified gravitational wave propagation and the binary neutron star mass function
The binary Gold function and its c-boomerang connectivity table
📚 Books worth reading
- 📕Abstract datatypes in PVSSam Owre · 1997
Complex Binary Number SystemT̤āriq Jamīl · 2013
Ranked by number of editions on Open Library, a rough measure of how lasting a book is.
🔗 Related topics
- Cartesian closed category In category theory, a category is Cartesian closed if, roughly speaking, any morphism defined on a product of two objects can be naturally identified with…
- Operad In mathematics, an operad is a structure that consists of abstract operations, each one having a fixed finite number of inputs (arguments) and one output…
- Tensor product In mathematics, the tensor product V⊗W of two vector spaces V and W (over the same field) is a vector space to which is associated a bilinear map V×W→V⊗W…
- Multicategory In mathematics (especially category theory), a multicategory is a generalization of the concept of category that allows morphisms of multiple arity. If…
- Currying In mathematics and computer science, currying (named after Haskell Curry) is the technique of translating a function that takes multiple arguments into…
- Closed monoidal category In mathematics, especially in category theory, a closed monoidal category (or a monoidal closed category) is a category that is both a monoidal category…
- Boolean algebras canonically defined Boolean algebras are models of the equational theory of two values; this definition is equivalent to the lattice and ring definitions. Boolean algebra…
- Restriction (mathematics) In mathematics, the restriction of a function f is a new function, denoted f|A or f↾A, obtained by choosing a smaller domain A for the original function…