وضعت خصوصا لطلاب الهندسة والأكاديميين، Karnaugh خريطة محلل هو برنامج تجاري يمكن تبسيط خرائط Karnaugh والتعبيرات المنطقية.في الواقع، يمكن أن يثبت أنه أداة قوية لأي شخص يعمل مع التعبيرات المنطقية، وتوفر لهم مع ميزات قوية للحد من الخرائط المعقدة.تم اختبار Karnaugh خريطة محلل على أوبونتو 10.10 LTS وأوبونتو 12.04 ...

TRIP

TRIP 1.2.24

وTRIP هو نظام الحاسوب الجبر العام مخصص لالميكانيكا السماوية. وتشمل رحلة نواة العددية ولها واجهات لgnuplot وxmgrace.لا يمكن أن يؤديها مع الحسابية مزدوج، أربعة أضعاف، أو متعددة الدقة. ويمكن للمستخدمين تحميل حيوي المكتبات الخارجية مكتوبة في C، C ++، أو فورتران ما هو الجديد في هذا الإصدار:. TRIP الآن يدعم أجهزة...

Hilbert II

Hilbert II 0.04.06

مشروع وهيلبرت الثاني هو الوصول إلى اللامركزية التحقق منها وقراءة المعرفة الرياضية. كما انها بالفعل اسم يوحي، وهذا المشروع هو في تقليد برنامج هيلبرت. هيلبرت II يريد أن يصبح، في جميع أنحاء العالم قاعدة المعرفة الرياضية مجانية تحتوي على النظريات والبراهين الرياضية في الشكل الصحيح رسمي. ويتم نشر جميع الوثائق التي تنتمي...

وDanCalculator هو آلة حاسبة برمجيات المصدر المفتوح مكتوب بلغة جافا، والتي تتيح للمستخدمين القيام بعمليات الرياضيات الأساسية، مثل تقسيم والضرب والطرح والجمع.يجري مكتوب بلغة جافا، DanCalculator هو أداة عبر منصة مصممة لتعمل لا تشوبه شائبة على لينكس، ماك OS & نبسب؛ X & nbsp؛ و أنظمة تشغيل Windows المتطلبات:. جافا 2...

وغاوس و [ندش]؛ القضاء الأردن هو برنامج مفتوح المصدر صمم للسماح للمستخدمين والدهاء لالمقلوب جهد المصفوفات، وذلك باستخدام وغاو وszlig؛ -Jordan القضاء.يعرض الأردن القضاء الحل والحساب، ويدعم المصفوفات تصل إلى حجم 10X10، غاوس و[ندش]. ذلك هو تطبيق عبر منصة مصممة لتعمل على لينكس، ماك OS & نبسب؛ X & nbsp؛ يمكنك وأنظمة التشغيل...

BoolStuff

BoolStuff 0.1.14

وBoolStuff هي مكتبة C التي يمكن أن تدعم بعض العمليات على التعبير الأشجار الثنائية منطقية.واسمه booldnf الأمر الذي يدعو هذه المكتبة لتحويل تعبير ليتم توفيرها أيضا DNF الميزات:. بسيطة منطقية محلل التعبير (مشغلي الدعم AND، OR NOT و، كما كذلك قوسين)؛خوارزمية لتحويل تعبير شجرة ثنائية منطقية في نموذج عادي طباقي لها (هذه...

ونظم المعادلات التفاضلية العادية RubySode (Sode.rb) هو برنامج روبي لإنشاء برنامج Ruby الى حل واحد (أو نظام) المعادلة التفاضلية العادية (ق). وهناك طريقة سلسلة تايلور طويلة، ورائدها الأستاذ YF تشانغ، الذي كان يدرس في جامعة نبراسكا في أواخر عام 1970 عندما كنت طالب دراسات عليا هناك، ويستخدم.يمكن تحديد عدد من الشروط سلسلة...

JKuadrat

JKuadrat 1.1

وJKuadrat هو برنامج رسومي الحرة مكتوب بلغة جافا التي يمكن استخدامها لعد determinan وصيغة الجذر التربيعي.من أجل استخدام JKuadrat، يجب قراءة البرنامج التعليمي فيها في http://www.slideshare.net/trisaptoadji/my-javanote03يجري مكتوب بلغة جافا، JKuadrat هو تطبيق منصة مستقلة تدعم لينكس، ماك OS & نبسب؛ X & nbsp؛ و أنظمة تشغيل...

EqualX

EqualX 0.6.0 Beta

وEqualX هو تطبيق الذي يجعل تكتب بسهولة المعادلات في اللثي ومعاينتها في الوقت الحقيقي.أهداف المشروعات هي:- مساعدة المستخدم كتابة معادلات أكثر سهولة في اللثي ومعاينتها في الوقت الحقيقي:- استكمال رمز- أدوات واجهة المستخدم الرسومية التي تحتوي على حرف اللازمة- تخصيص المعادلة ولدت (المقدمة، الخلفية، حجم الخط، والخط الوجه،...

mathchem

mathchem 0.2.1

وmathchem هو حزمة الكيمياء بيثون الرياضية.يحسب المصفوفات التالية:- التجاور- Laplacian- Signless Laplacian- تطبيع Laplacian- المسافة- المقاومة عن بعد- المسافة المتبادلةيحسب مؤشرات الطوبوغرافية التالية:- الطيف للجميع المصفوفات فوق- لحظات الطيفية- الطاقة- مؤشر M1 زغرب- مؤشر M2 زغرب- مؤشر الربط (R)- مؤشر الربط غريب...