https://github.com/math-comp/newtonsums

Newton series transformation
https://github.com/math-comp/newtonsums

coq mathcomp

Last synced: 12 days ago
JSON representation

Newton series transformation

• Host: GitHub
• URL: https://github.com/math-comp/newtonsums
• Owner: math-comp
• Created: 2015-10-26T23:51:19.000Z (over 9 years ago)
• Default Branch: master
• Last Pushed: 2019-11-10T23:12:23.000Z (about 5 years ago)
• Last Synced: 2024-11-20T19:13:26.851Z (2 months ago)
• Topics: coq, mathcomp
• Language: Coq
• Homepage:
• Size: 208 KB
• Stars: 0
• Watchers: 4
• Forks: 3
• Open Issues: 1

Awesome Lists containing this project