GitHub - superalp1985/DCA-Discrete-Computer-Arithmetic: A modest finite-computation-oriented draft of Discrete Computer Arithmetic (DCA), with Chinese and English versions. · GitHub
/" data-turbo-transient="true" />
Skip to content
Search or jump to...
Search code, repositories, users, issues, pull requests...
-->
Search
Clear
Search syntax tips
Provide feedback
--><br>We read every piece of feedback, and take your input very seriously.
Include my email address so I can be contacted
Cancel
Submit feedback
Saved searches
Use saved searches to filter your results more quickly
-->
Name
Query
To see all available qualifiers, see our documentation.
Cancel
Create saved search
Sign in
/;ref_cta:Sign up;ref_loc:header logged out"}"<br>Sign up
Appearance settings
Resetting focus
You signed in with another tab or window. Reload to refresh your session.<br>You signed out in another tab or window. Reload to refresh your session.<br>You switched accounts on another tab or window. Reload to refresh your session.
Dismiss alert
{{ message }}
superalp1985
DCA-Discrete-Computer-Arithmetic
Public
Notifications<br>You must be signed in to change notification settings
Fork
Star
main
BranchesTags
Go to file
CodeOpen more actions menu
Folders and files<br>NameNameLast commit message<br>Last commit date<br>Latest commit
History<br>1 Commit<br>1 Commit
docs
docs
.gitignore
.gitignore
CITATION.cff
CITATION.cff
CODE_OF_CONDUCT.md
CODE_OF_CONDUCT.md
CONTRIBUTING.md
CONTRIBUTING.md
GITHUB_UPLOAD.md
GITHUB_UPLOAD.md
LICENSE
LICENSE
README.md
README.md
README.zh-CN.md
README.zh-CN.md
View all files
Repository files navigation
DCA: Discrete Computer Arithmetic
A modest finite-computation-oriented draft of Discrete Computer Arithmetic (DCA), with Chinese and English versions.
This repository is not claiming to replace existing mathematics. It organizes definitions, arguments, implementation boundaries, and existing work around the parts of mathematics that can be represented, executed, checked, or approximated by finite computation.
Documents
Language<br>Markdown<br>PDF
Chinese<br>docs/dca-zh.md<br>docs/dca-zh.pdf
English<br>docs/dca-en.md<br>docs/dca-en.pdf
Scope
The draft keeps 43 sections, covering arithmetic, algebra, discrete analysis, geometry, logic, NTT, probability, topology, finite-field algebraic geometry, formal verification, quantized AI computation, cellular automata, theorem proving, and related implementation examples.
What This Is
A finite-computation-oriented writing framework.
A reference draft for programs, chips, proof assistants, and finite data structures.
A collection of definitions, proof sketches, implementation notes, and references.
What This Is Not
It is not a replacement for classical mathematics.
It is not a claim that continuous mathematics is invalid.
It is not a physical theory.
License
MIT License. See LICENSE.
Citation
See CITATION.cff.
About
A modest finite-computation-oriented draft of Discrete Computer Arithmetic (DCA), with Chinese and English versions.
Resources
Readme
License
MIT license
Code of conduct
Code of conduct
Contributing
Contributing
Uh oh!
There was an error while loading. Please reload this page.
Activity
Stars
stars
Watchers
watching
Forks
forks
Report repository
Releases
DCA: Discrete Computer Arithmetic - Initial Release
Latest
Jul 4, 2026
Packages
Uh oh!
There was an error while loading. Please reload this page.
Contributors
Uh oh!
There was an error while loading. Please reload this page.
You can’t perform that action at this time.