هندسه پویا

• SINGULAR یک سیستم جبری کامپیوتری برای محاسبات چندجمله ای با تاکید بر جبر جابجایی و هندسه جبری میباشد. قابلیت برنامه نویسی شبیه به زبان C از ویژگیهای این نرم افزار میباشد.
• برای اطلاعات بیشتر و دریافت نرم افزار به سایت http://www.singular.uni-kl.de مراجعه نمایید.

• DC Proof نرم افزاری است برای آموزش و یادگیری اصول منطق و برهان.
•  راهبردی است برای تفکر نقادانه با استفاده از روشهای منطق.
• این نرم افزار خودآموز پویایی برای کاربران خود دارد.

برای اطلاعات بیشتر و دریافت نرم افزار به سایت http://www.dcproof.com مراجعه نمایید.