Math Software
%202024%20Tobias%20Briones.%20All%20rights%20reserved.%20--%3e%3c!--%20SPDX-License-Identifier:%20CC-BY-4.0%20--%3e%3c!--%20This%20file%20is%20part%20of%20MVP:%20Math%20Software%20@https://github.com/mathsoftware%20--%3e%3csvg%20version='1.2'%20xmlns='http://www.w3.org/2000/svg'%20viewBox='0%200%202400%202400'%20width='512'%20height='512'%3e%3cstyle%3e.a{fill:%23212121}.b{fill:%23fff}.c{fill:%239ac5db}.d{fill:%231976d2}%3c/style%3e%3cpath%20class='a'%20d='m1200%201627c-236.1%200-427-190.9-427-427%200-236.1%20190.9-427%20427-427%20236.1%200%20427%20190.9%20427%20427%200%20236.1-190.9%20427-427%20427z'/%3e%3cpath%20fill-rule='evenodd'%20class='b'%20d='m1200%202400c-663.6%200-1200-536.4-1200-1200%200-444.9%20241.1-832.6%20599.9-1039.8l386.7%20669.7c-127.8%2073.8-213.6%20211.8-213.6%20370.1%200%20236.1%20190.9%20427%20427%20427%2077.9%200%20150.9-20.8%20213.8-57.1l386.7%20669.7c-176.6%20102-381.6%20160.4-600.5%20160.4zm1025.3-1824.6q14.9%2024.5%2028.6%2049.6z'/%3e%3cpath%20fill-rule='evenodd'%20class='c'%20d='m1200%200c663.6%200%201200%20536.4%201200%201200%200%20444.9-241.1%20832.6-599.9%201039.8l-386.7-669.7c127.8-73.8%20213.6-211.8%20213.6-370.1%200-236.1-190.9-427-427-427-77.9%200-150.9%2020.8-213.8%2057.1l-386.7-669.7c176.6-102%20381.6-160.4%20600.5-160.4zm-1025.3%201824.6q-14.9-24.5-28.6-49.6z'/%3e%3cpath%20class='a'%20d='m496.3%20430.7l389.3-224.8%201026.5%201778-389.3%20224.8z'/%3e%3cpath%20class='a'%20d='m1040.8%201041.1l317.9%20317.8-763.6%20763.7-317.9-317.9z'/%3e%3cpath%20fill-rule='evenodd'%20class='d'%20d='m160.8%201800c-331.8-574.7-135.5-1307.4%20439.2-1639.2%20574.7-331.8%201307.4-135.5%201639.2%20439.2%20331.8%20574.7%20135.5%201307.4-439.2%201639.2-574.7%20331.8-1307.4%20135.5-1639.2-439.2zm1466.2%20139.6c409-236.1%20548.7-757.6%20312.6-1166.6-236.1-409-757.6-548.7-1166.6-312.6-409%20236.1-548.7%20757.6-312.6%201166.6%20236.1%20409%20757.6%20548.7%201166.6%20312.6z'/%3e%3c/svg%3e)
Modern Mathematics Powered by Engineering
MSW provides a modern approach to mathematics formalized by mathematical software engineering and further domain-specific apps and tools.
Mathematical software is either Pure, Applied, or Special.
Pure
Mathematics
MSW supports mathematics similarly to functional languages supporting first-class functions, resulting in domain expertise with a DSL (Domain-Specific Language) engineered for expressive mathematics.
First-Class mathematics enables state-of-the-art software that uncouples the math domain from the engineering implementation.
The definition of mathematics via its DSL results in math.software empowering focused mathematicians with no engineering requirements.
Applied
Applying Pure MSW for Concrete Representations
Meaningful real-world representations can be derived from pure mathematical software, like operations research, model visualization, education, etc.
Special
Special Software and Models
Extended software required in real-world computing like, operations, high-performance implementations, and academic tools are, examples of external domains for powering modern mathematics.
All the necessary tools extrinsic to mathematics are aimed to be equipped by SWAM (Special Software and Models).