Such constructive proofs can be turned into algorithms for use in numerical analysis, and they are the only sorts of proofs acceptable in constructive analysis.
Τέτοιες κατασκευαστικές αποδείξεις μπορούν να μετατραπούν σε αλγορίθμους για χρήση στην αριθμητική ανάλυση, και μάλιστα είναι και το μοναδικό είδος αποδείξεων που είναι αποδεκτό στην κατασκευαστική ανάλυση.