در DanCalculator نرم افزار ماشین حساب های منبع باز نوشته شده در جاوا، که اجازه می دهد تا کاربران را برای انجام عملیات ریاضی عمومی، مانند تقسیم، ضرب، تفریق و علاوه بر است.نوشته شده در جاوا، DanCalculator یک ابزار کراس پلت فرم طراحی شده برای اجرای بی وقفه بر روی لینوکس، سیستم عامل مک و nbsp است. X & nbsp؛ و ویندوز سیستم...

Hilbert II

Hilbert II 0.04.06

پروژه هیلبرت II دسترسی غیر متمرکز به دانش ریاضی تایید شده و قابل خواندن است. آن را به عنوان نام در حال حاضر نشان می دهد، این پروژه در سنت برنامه هیلبرت است کنید. هیلبرت II می خواهد برای تبدیل شدن به، در سرتاسر جهان ریاضی دانش رایگان است که شامل قضایای ریاضی و اثبات در یک فرم درست رسمی. همه اسناد متعلق تحت مجوز...

TRIP

TRIP 1.2.24

در سفر یک سیستم عمومی جبر کامپیوتر اختصاص داده شده به مکانیک آسمانی است. TRIP شامل یک هسته عددی است رابط به گنوپلات و xmgrace و.محاسبات را می توان با دو، چهار برابر، و یا چند دقت انجام می شود. کاربران صورت پویا می تواند کتابخانه های خارجی نوشته شده در C، C ++، یا فرترن بار چه در این نسخه جدید است. TRIP در حال حاضر...

libagf

libagf 0.9.5

در libagf (تطبیقی ​​فیلتر گوسی) پیاده سازی ساده و قدرتمند از برآوردگر کرنل پهنای باند متغیر برای طبقه بندی، PDF برآورد و الحاق است. کتابخانه شامل چندین نوآوری برای تولید یکی از سریع ترین و دقیق ترین الگوریتم های طبقه بندی نظارت شده در جهان. این خدمات عبارتند از: در ...

Yaposib

Yaposib 0.3.2

. Yaposib یک کتابخانه اتصال پایتون به OSI، باز حل کننده رابط از سکه یا لمس کنید و است؛ در نظر دارد برای دادن دسترسی به حل مختلف را از طریق پایتون. Yaposib به منظور ایجاد شده است که در پالپ یا (http://code.google.com/p/pulp-or) یکپارچه شده است.مستندات را می توان در صفحه ی یافت: //code.google.code/p/yaposib/کلاس های...

Math::GSL

Math::GSL 0.27

در کتابخانه علمی گنو (GSL) است یک کتابخانه C است که صدها نفر از توابع است که به دانشمندان و ریاضیدانان، مانند توابع خاص، جبر خطی، آمار، و غیره مفید هستند ... آیا آن را خوب می شود اگر شما می تواند همه آنها دسترسی داشته باشید با پرل؟ حالا شما می توانید با ریاضی :: GSL در در اخطار: شما را بر روی لبه خونریزی هستند، این...

PHAML

PHAML 1.10.0

در هدف اولیه اولیه PHAML از پروژه PHAML بود برای تولید یک نسخه موازی MGGHAT. این پس از آن تمدید شده است که شامل قابلیت های اضافی. معماری هدف multiprocessors حافظه، مانند Beowolf نوع خوشه PC توزیع شده است.MGGHAT برنامه های متوالی برای حل 2D معادلات دیفرانسیل با مشتقات جزئی بیضوی با استفاده از دستور پایین و یا بالا...

در حساب فاصله برای آدا یک کتابخانه ریاضی فراهم می کند که یک پیاده سازی از فواصل برای آدا است. این شامل حساب و عملیات رابطه ای.مثال:سه جانبه دولت منطقفواصل بسته به عنوان یک بسته ریشه خدمت می کند و همچنین منطق سه جانبه دولت لازم برای تعریف عملیات رابطه ای در فواصل فراهم می کند. نوع منطقی به عنوان تعریف می شود: نوع منطقی...