A modeling system for mathematics

This project aims at the development of a flexible modeling system for the specification of models for large-scale numerical work in optimization, data analysis, and partial differential equations. Its input should be provided in a form natural for the working mathematician, while the choice of the numerical solvers and the transformation to the format required by the solv-ers is done by the interface system. The input format should combine the simplicity of LaTeX source code with the semantic conciseness and modularity of current modeling languages such as AMPL, and it should be as close as possible to the mathematical language people use to explain and communicate their models in publications and lectures. In order that the system is useful for the intended applications, interfaces translating the model formulated in the proposed system into the input required for current state of the art solvers, and into the dominant current modeling languages are needed and shall be provided. Moreover, certain shortcomings of the current generation of modeling languages, such as the lack of support for the correct treatment of uncertainties and rounding errors, shall be overcome. The experience gained in this project will be useful in future work in the more general context of mathematical knowledge management.

This project aims at the development of a flexible modeling system for the specification of models for large-scale numerical work in optimization, data analysis, and partial differential equations. Its input should be provided in a form natural for the working mathematician, while the choice of the numerical solvers and the transformation to the format required by the solvers is done by the interface system. The input format should combine the simplicity of LaTeX source code with the semantic conciseness and modularity of current modeling languages such as AMPL, and it should be as close as possible to the mathematical language people use to explain and communicate their models in publications and lectures. In order that the system is useful for the intended applications, interfaces translating the model formulated in the proposed system into the input required for current state of the art solvers, and into the dominant current modeling languages are needed and shall be provided. Moreover, certain shortcomings of the current generation of modeling languages, such as the lack of support for the correct treatment of uncertainties and rounding errors, shall be overcome. The experience gained in this project will be useful in future work in the more general context of mathematical knowledge management.