GNU TeXmacs 1.0.7.13发布 免费科学编辑软件

GNU TeXmacs是一个具有特殊功能的免费科学编辑软件。该软件为结构化文档的编辑提供一个统一和友好的用户框架,包含的类型有:文字,数学运算,图形,交互式内容。TeXmacs也可以用来作为一个外部系统的接口,如:计算机代数,数值分析,统计等等。

GNU TeXmacs 1.0.7.13版本解决了支持图像的Qt和其他几个错误。添加了Axiom计算机代数系统的Fricas分叉插件。

软件信息:http://www.texmacs.org/

下载地址:http://www.texmacs.org/Download/ftp/tmftp/windows/TeXmacs-1.0.7.13-installer.exe

时间: 2024-12-04 07:28:56

GNU TeXmacs 1.0.7.13发布 免费科学编辑软件的相关文章

GNU TeXmacs 1.0.7.12发布 免费科学编辑软件

GNU TeXmacs是一个具有特殊功能的免费科学编辑软件.该软件为结构化文档的编辑提供一个统一和友好的用户框架,包含的类型有:文字,数学运算,图形,交互式内容.TeXmacs也可以用来作为一个外部系统的接口,如:计算机代数,数值分析,统计等等. GNU TeXmacs 1.0.7.12版本提供从X11接口切换到新的基于Qt接口的标志,TeX/LaTeX的依赖项已经完全删除.现在新版本都有集成文档和最标准的字体.表编辑器已经有所简化,而且插件可以提出自己的文档. 软件信息:http://www.

GNU TeXmacs 1.0.7.14发布 科学编辑软件

GNU TeXmacs是一个具有特殊功能的免费科学编辑软件.该软件为结构化文档的编辑提供一个统一和友好的用户框架,包含的类型有:文字.数学运算.图形.交互式内容.TeXmacs也可以用来作为一个外部系统的接口,如:计算机代数.数值分析.统计等等. < GNU TeXmacs 1.0.7.14该版本完全重新设计用于Qt版本的图标.图形模式下的稳健性也有所增加,添加了更好地支持可扩展的箭头. 软件信息:http://www.texmacs.org/ 下载地址:http://www.texmacs.o

GIMP以GPL协议发布的图形编辑软件安装

GIMP是一个以GPL协议发布的图形编辑软件,是 GNU Image Manipulation Program 四个单词的首子母所写,常常被人们形容为开源的photoshop,当然你也可以免费获得其WINDOWS或者http://www.aliyun.com/zixun/aggregation/11691.html">MacOSX的版本,GIMP是LINUX世界不可取代的矢量图形编辑器,同时它也是一项成熟.成功.活跃的开源项目,你可以在官方站点获得更多信息. 第一个GIMP版本是由伯克利大

苹果发布的视频编辑软件Final Cut Pro X存在诸多问题

许多用户近日抱怨,苹果上周发布的视频编辑软件Final Cut Pro X存在诸多问题,他们宁愿继续使用旧版软件.苹果6月21日推出了新版视频编辑软件Final Cut Pro X,苹果表示,新版软件使视频编辑变得更加容易,并且运行速度更快.但许多用户抱怨,新版软件问题多多,他们宁愿使用旧版本.用户抱怨较多的一个问题是,Final Cut Pro X不能向下兼容,即无法打开旧版软件所制作的项目,甚至包括Final Cut Pro X之前的最新版本Final Cut Pro 7.为此,苹果周三专门

C3.js 0.4.13 发布,基于 D3.js 的开源图表库

C3.js 0.4.13 已发布,更新如下: 特性 新增 point.show 功能选项 #2062 修复 Parallel loading of d3 and c3 #2066 修复 tooltip ordering #2070 修复 IE9 CSV Loading #1345 修复 addHiddenTargetIds 和 addHiddenLegendIds #1663 C3.js 是一个基于 D3.js 的可重用的开源图表库.使用非常舒服.充分可定制性和控制性.支持多种图表类型. 文章转

gentoo 0.19.13发布 文件管理器

Gentoo 是一款使用双面板概念的GTK++文件管理器.它努力打造出一款易于配置且能让你从一个GUI程序本身进行配置的工具.通过GIOhttp://www.aliyun.com/zixun/aggregation/18564.html">虚拟文件系统层随时随地进行文件系统访问,使用高级的文件类型和样式系统,Gentoo能够在列表中显示文件,以及文件操作.该软件包括一个超过120个独特的手工制作的图标,用于多种不同类型的文件. gentoo 0.19.13该版本改进了用户界面的灵活性,能够

x11vnc 0.9.13发布 远程和X桌面工具

x11vnc是一款通过VNC Viewer进行远程查看和真实X桌面相互的工具(如一致于物理显示器,键盘,鼠标).其目的是适用于所有Unix变体和Mac OS X,并依赖于一个标准库的小套件.它支持SSL/TLS和VeNCrypt加密,Unix密码登录,单端口访问,zeroconf,文件传输和UltraVNC的扩展.它是属于LibVNCServer项目的一部分. x11vnc 0.9.13版本更新日志: 1.提升支持non-X11触摸屏设备,如Qtmoko Neo Freerunner.2.支持触

Remote Launcher App 0.2.13发布 远程控制工具

Remote Launcher App 0.2.13此版本添加了一个文本的唯一部件选项. Remote Launcher App是一个易于使用的工具,通过远程单一点击一个Android设备,可以用来启动你PC上的应用程序.它也可以用来启动你的电脑,即使是关闭的,支持局域网唤醒.在你的电脑中,它包括一个http://www.aliyun.com/zixun/aggregation/1997.html">Android应用程序和一个小服务器程序,你可以配置远程启动,在PC上启动任何应用程序.例

pekwm 0.1.13发布 一个轻巧型的窗口管理器

pekwm 0.1.13该版本修正错误和透明度字体微调的支持. Pekwm 即 Pek Window Manager,是一个轻巧型的窗口管理器. &http://www.aliyun.com/zixun/aggregation/37954.html">nbsp; 最初的 Pekwm 代码基于 aewm++,经过发展,现在 Pekwm 已与 aewm++ 不太相同了.它扩展了很多特性,包括窗口组合(和ion,pwm或者fluxbox很像).自动化的属性(autoproperties)