-
ETPS
- Referenced in 160 articles
[sw06302]
- System to Help Students Write Formal Proofs (postscript...
-
FeynArts
- Referenced in 115 articles
[sw06474]
- features a completely new rendering engine for PostScript and LATEX, together with full support...
-
CSPLib
- Referenced in 91 articles
[sw04150]
- problems a paper about the library (in postscript or html) and its bibtex reference (also...
-
Hull
- Referenced in 76 articles
[sw11670]
- triangulation, less for convex hulls). Output in postscript and OFF format for geomview is supported...
-
rgl
- Referenced in 60 articles
[sw10017]
- well as 2D image formats, including PNG, Postscript...
-
GEOTHER 1.1
- Referenced in 32 articles
[sw02842]
- mouse click and dragging, and saved as PostScript files; prove the theorem using ... geometric/predicate form; generate an HTML, LaTeX, and/or PostScript file documenting the theorem and its proof...
-
SG
- Referenced in 38 articles
[sw20599]
- sockets). Second, it can produce provably correct PostScript renderings of meshes (Geomview uses a baricenter...
-
PoSSo
- Referenced in 31 articles
[sw04646]
- also available, as well as a separated postscript file, which describe the system individually. These...
-
pgf
- Referenced in 17 articles
[sw33421]
- Create PostScript and PDF graphics in TEX. PGF is a macro package for creating graphics ... ConTEXt. Unlike pstricks, it can produce either PostScript or PDF output...
-
PROCHECK
- Referenced in 23 articles
[sw16885]
- outputs comprise a number of plots in PostScript format and a comprehensive residue-by-residue...
-
ImageMagick
- Referenced in 22 articles
[sw13025]
- JPEG-2000, GIF, TIFF, DPX, EXR, WebP, Postscript, PDF, and SVG. Use ImageMagick to resize...
-
HeerHugo
- Referenced in 18 articles
[sw09704]
- file) together with an accompanying paper (postscript or pdf) are available. The software...
-
Graffiti.pc
- Referenced in 16 articles
[sw07152]
- conjectures can be found at [D]. A postscript file (http://www.math.uh.edu/ clarson/wow-july2004.ps) is available containing...
-
Ghostscript
- Referenced in 9 articles
[sw21848]
- PostScript and PDF interpreter. Ghostscript is an interpreter for the PostScript language ... that implements the graphics capabilities of the PostScript language. It supports a wide variety...
-
GiNaC-cycle
- Referenced in 13 articles
[sw07247]
- specific routines including a visualisation to PostScript files through the MetaPost or Asymptote software...
-
LASPack
- Referenced in 12 articles
[sw09678]
- ANSI C and is thus largely portable. Postscript and HTML version of the reference manual...
-
MetaPost
- Referenced in 11 articles
[sw27528]
- powerful tool for creating graphics in scalable PostScript. It was written by John Hobby, based...
-
PSTricks
- Referenced in 9 articles
[sw27529]
- macros that allow the inclusion of PostScript drawings directly inside TeX or LaTeX code...
-
grImport
- Referenced in 5 articles
[sw10784]
- original image can be transformed into a PostScript format (i.e., the original image ... standard vector graphics format such as PostScript, PDF, or SVG). The grImport package consists ... three components: a function for converting PostScript files to an R-specific XML format...
-
fc
- Referenced in 5 articles
[sw22645]
- support tools, including X-windows, OpenGL, or postscript visualization, are also included. The GNU-style ... package comes along with postscript documentation, however, if you are interested in the algorithms...