Login / Signup
The binary expansion and the intermediate value theorem in constructive reverse mathematics.
Josef Berger
Hajime Ishihara
Takayuki Kihara
Takako Nemoto
Published in:
Arch. Math. Log. (2019)
Keyphrases
</>
computer science
non binary
feature selection
database
data sets
machine learning
information systems
decision making
computer assisted instruction
binary representation