متامث
From Wikipedia, the free encyclopedia
متامث (به انگلیسی: Metamath) زبانی برای توسعه تعاریف و برهانهای ریاضیات صوری[1] همراه با بررسی برهان و پایگاه داده در حال رشدِ هزاران قضایای اثبات شده با پوشش نتایجی مرسوم در منطق، نظریه مجموعهها، نظریه اعداد، نظریه گروهها، جبر، آنالیز و توپولوژی است همچنین موضوعاتی در فضاهای هیلبرت و منطق کوانتومی.[2]
اطلاعات اجمالی توسعهدهنده(ها), مخزن ...
توسعهدهنده(ها) | نرمن مگیل |
---|---|
مخزن | |
سیستمعامل | لینوکس، ویندوز، مکینتاش |
در دسترس به | آنسی سی |
مجوز | پروانه عمومی همگانی گنو (کریتیو کامنز اختصاصی برای پایگاه داده) |
وبگاه | metamath |
بستن