49 research outputs found
GNU TeXmacs: a scientific editing platform
3 pagesGNU TeXmacs is a free software for editing scientific documents, which can also be used as an interface for computer algebra systems. In this software demonstration we will briefly recall its main features and present some recent developments
A novel approach to symbolic algebra
A prototype for an extensible interactive graphical term manipulation system
is presented that combines pattern matching and nondeterministic evaluation to
provide a convenient framework for doing tedious algebraic manipulations that
so far had to be done manually in a semi-automatic fashion.Comment: 15 page
On the Surface Tensions of Binary Mixtures
For binary mixtures with fixed concentrations of the species, various
relationships between the surface tensions and the concentrations are briefly
reviewed