متامث
متامث (به انگلیسی: Metamath) زبانی برای توسعه تعاریف و برهان‌های ریاضیات صوری[1] همراه با بررسی برهان و پایگاه داده در حال رشدِ هزاران قضایای اثبات شده با پوشش نتایجی مرسوم در منطق، نظریه مجموعه‌ها، نظریه اعداد، نظریه گروه‌ها، جبر، آنالیز و توپولوژی است همچنین موضوعاتی در فضاهای هیلبرت و منطق کوانتومی.[2]
 | |
| توسعه‌دهنده(ها) | نرمن مگیل |
|---|---|
| سیستم‌عامل | لینوکس، ویندوز، مکینتاش |
| در دسترس به | آنسی سی |
| گونه | بررسی برهان رایانه-کمک |
| پروانه | پروانه عمومی همگانی گنو (کریتیو کامنز اختصاصی برای پایگاه داده) |
| وبگاه | |
منابع
- متامث چیست؟ نرمن مگیل، صفحه خانگی متامث.
- بیشترین برهان‌های اخیر، مگیل، نرمن.
پیوند به بیرون
- متامث: وبگاه رسمی.
- ریاضیدانان دربارهٔ متامث چه نظری دارند: نظراتی بر متامث.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.