当前位置:
X-MOL 学术
›
Acta Inform.
›
论文详情
Our official English website, www.x-mol.net, welcomes your feedback! (Note: you will need to create a separate account there.)
Arithmetical datatypes with true fractions
Acta Informatica ( IF 0.6 ) Pub Date : 2020-01-13 , DOI: 10.1007/s00236-019-00352-8 Jan A. Bergstra , Alban Ponse
Acta Informatica ( IF 0.6 ) Pub Date : 2020-01-13 , DOI: 10.1007/s00236-019-00352-8 Jan A. Bergstra , Alban Ponse
We consider several novel congruences on the signature of meadows with the aim to survey different notions of fractions. In particular we suggest a notion of “true fraction”.
中文翻译:
具有真分数的算术数据类型
我们考虑了草地签名的几个新的同余,目的是调查分数的不同概念。我们特别提出了“真实分数”的概念。
更新日期:2020-01-13
中文翻译:
具有真分数的算术数据类型
我们考虑了草地签名的几个新的同余,目的是调查分数的不同概念。我们特别提出了“真实分数”的概念。