Stellarium

Stellarium 0.18.1 更新

Stellarium 是一个多平台,免费分发的开源软件项目,从头开始设计,作为一个完整而全面的天文馆应用程序,包括在类似产品中找不到的许多功能。它为用户提供了真实的天空模拟,以及日出和日落。即时访问超过600,000颗星借助Stellarium,您将获得超过600,000颗恒星,逼真的银河系,星座的插图和星座,以及更多让新人无法呼吸的功能,并帮助最有经验的天文学家发现新的恒星和行星。...

布尔表达式求解器是一个命令行实用程序,生成一个真值表对于给定的布尔表达式。它是用Java编写的,所以它可以运行在安装了Java运行时环境的任何平台,但生成文件和shell脚本包括为了方便一般要求*...

Pcb

Pcb 20050315

PCB是一个方便的工具,X Window系统的设计印刷电路板。所有的坐标单位是1/1000英寸。布局由直线,圆弧,多边形的元素(线,针脚和圆弧),过孔和文本信息分开成若干层。他们每个人都确定一个独特的名称和颜色(如果你的显示器支持)。此外,还支持SMD电路。八层被支持,此外还有一个丝网层。销和SMD焊盘和通孔的能见度是可控的。所有的文件都是7位ASCII,并可以与任何的Unix命令将其结果写入标准输出进行预处理(需要GNU...

PP3

PP3 1.3.2

PP3创建天体图。它会产生非常高的图形质量与分辨率无关的地图。它们可以被用来,例如,作为说明在书籍或在网页上。它可以改变许多参数,和任意的文本可以被放置在地图上。输出格式是EPS或PDF。程序本身只包含一个可执行文件和数据文件的目录。该方案需要一个小的文本文件作为输入,并产生一个乳胶,PostScript或PDF文件。...

HartMath

HartMath 0.8 pre2

HartMath是用Java编写的一个实验性的计算机代数程序。它具有很大的数字运算,符号和数字评估,图中绘制出,polynomial-,向量和矩阵函数。...