Old Web
English
Sign In
Acemap
>
Paper
>
Logic for exact real arithmetic. (arXiv:1904.12763v2 [math.LO] UPDATED)
Logic for exact real arithmetic. (arXiv:1904.12763v2 [math.LO] UPDATED)
2019
Helmut Schwichtenberg
Franziskus Wiesnet
Keywords:
Algebra
Mathematics
real arithmetic
Correction
Cite
Save
Machine Reading By IdeaReader
0
References
0
Citations
NaN
KQI
[]