ARTICLE
|
doi:10.20944/preprints202307.2063.v10
Subject:
Computer Science And Mathematics,
Logic
Keywords:
constructive mathematics; constructively defined algorithms; current mathematical knowledge; informal mathematics; known algorithms
Online: 16 January 2024 (06:42:23 CET)