Publisher
Springer International Publishing
Reference3 articles.
1. Berger, J., & Svindland, G. (2018). Constructive convex programming. In H. S. K. Mainzer & P. Schuster (Eds.), Proof and computation – digitalization in mathematics, computer science, and philosophy (pp. 53–82). Singapore: World Scientific.
2. Berger, U., Miyamoto, K., Schwichtenberg, H., & Tsuiki, H. (2016). Logic for gray-code computation. In D. Probst & P. Schuster (Eds.), Concepts of proof in mathematics, philosophy, and computer science (pp. 69–110). Berlin/Boston: De Gruyter.
3. Schwichtenberg, H., & Wainer, S. S. (2012). Proofs and computations (Perspectives in logic). Cambridge: Association for Symbolic Logic and Cambridge University Press.