All Questions
Tagged with mathematics program-extraction
1
question
14
votes
4
answers
321
views
Algorithms obtained through constructive formalization
Formal proofs in proof systems that avoid the law of the excluded middle and certain other principles can be automatically converted into algorithms.
What useful new algorithms have been produced by ...
- 901