Computational effects in computable and formalized mathematics (EFFMATH) Project summary

Abstract

This is a short summary of the research project EFFMATH, supported by Air Force Office of Scientific Research, Air Force Materiel Command, USAF under Award No. FA9550-14-1-0096. Motivation and Background In mathematics the application of a function f to an argument x always yields the same result y = f(x), which depends just on x and nothing else. In… (More)

Topics

Cite this paper

@inproceedings{Bauer2014ComputationalEI, title={Computational effects in computable and formalized mathematics (EFFMATH) Project summary}, author={Andrej Bauer}, year={2014} }