当前位置: 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

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
down
wechat
bug