https://github.com/comius/dedekindreals

Dedekind reals
https://github.com/comius/dedekindreals

arbitrary-precision dedekind-reals java reals scala

Last synced: about 2 months ago
JSON representation

Dedekind reals

• Host: GitHub
• URL: https://github.com/comius/dedekindreals
• Owner: comius
• License: bsd-2-clause
• Created: 2019-04-15T21:19:13.000Z (over 5 years ago)
• Default Branch: master
• Last Pushed: 2020-10-13T12:52:16.000Z (about 4 years ago)
• Last Synced: 2023-03-24T06:00:22.283Z (almost 2 years ago)
• Topics: arbitrary-precision, dedekind-reals, java, reals, scala
• Language: Scala
• Size: 314 KB
• Stars: 0
• Watchers: 1
• Forks: 0
• Open Issues: 1

Awesome Lists containing this project