Quetzal -
الكوازال هو نظام اكبر برهان لايف.وهنا بعض الملامح الرئيسية "الكوازال":ย ท رمزي الرياضيات حزمة ماكسيما + wxMaxima الواجهة.ย ท GNU صورة التلاعب برنامج-الأعرج + مساعدة كاملة / مستندات.ย ท لغة البرمجة والأدوات الرسومية TCL / TK؛ย ท الشيئية لغة البرمجة بايثون.ย ท أدوات كويدغيتس الرسومية + كسبيثون.ย ท يونكس المشتركة الطباعة...