TeXmacs
   HOME
*



picture info

TeXmacs
GNU TeXmacs is a scientific word processor and typesetting component of the GNU Project. It originated as GNU Emacs with TeX functionalities, though it shares no code with those programs, while using TeX fonts. It is written and maintained by Joris van der Hoeven and a group of developers. The program produces structured documents with a WYSIWYG user interface. New document styles can be created by the user. The editor provides high-quality typesetting algorithms and TeX and other fonts for publishing professional looking documents. An outline of interactive editing of structured text (1980s-2020s) As a structured WYSIWYG editor and document preparation system, TeXmacs is similar to earlier structured document editors, such as Interleaf (first release 1985), Framemaker (1986), SoftQuad Author/Editor (1988), Lilac, (1991), and Thot; there was also academic research into interactive editing of complex typographical constructs represented logically. In the 2000s and 2010s ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  




Joris Van Der Hoeven
Joris van der Hoeven (born 1971) is a Dutch mathematician and computer scientist, specializing in algebraic analysis and computer algebra. He is the primary developer of GNU TeXmacs. Education and career Joris van der Hoeven received in 1997 his doctorate from Paris Diderot University (Paris 7) with thesis ''Asymptotique automatique''. He is a ''Directeur de recherche'' at the CNRS and head of the team ''Max Modélisation algébrique'' at the Laboratoire d'informatique of the École Polytechnique. Research His research deals with transseries (''i.e.'' generalizations of formal power series) with applications to algebraic analysis and asymptotic solutions of nonlinear differential equations. In addition to transseries' properties as part of differential algebra and model theory, he also examines their algorithmic aspects as well as those of classical complex function theory. He is the main developer of GNU TeXmacs (a free scientific editing platform) and Mathemagix (free s ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Typesetting
Typesetting is the composition of text by means of arranging physical ''type'' (or ''sort'') in mechanical systems or '' glyphs'' in digital systems representing '' characters'' (letters and other symbols).Dictionary.com Unabridged. Random House, Inc. 23 December 2009Dictionary.reference.com/ref> Stored types are retrieved and ordered according to a language's orthography for visual display. Typesetting requires one or more fonts (which are widely but erroneously confused with and substituted for typefaces). One significant effect of typesetting was that authorship of works could be spotted more easily, making it difficult for copiers who have not gained permission. Pre-digital era Manual typesetting During much of the letterpress era, movable type was composed by hand for each page by workers called compositors. A tray with many dividers, called a case, contained cast metal '' sorts'', each with a single letter or symbol, but backwards (so they would print correctly ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


WYSIWYG
In computing, WYSIWYG ( ), an acronym for What You See Is What You Get, is a system in which editing software allows content to be edited in a form that resembles its appearance when printed or displayed as a finished product, such as a printed document, web page, or slide presentation. WYSIWYG implies a user interface that allows the user to view something very similar to the end result while the document is being created. In general, WYSIWYG implies the ability to directly manipulate the layout of a document without having to type or remember names of layout commands. History Before the adoption of WYSIWYG techniques, text appeared in editors using the system standard typeface and style with little indication of layout ( margins, spacing, etc.). Users were required to enter special non-printing ''control codes'' (now referred to as markup ''code tags'') to indicate that some text should be in boldface, italics, or a different typeface or size. In this environment there was very ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


WYSIWYW
In computing, WYSIWYG ( ), an acronym for What You See Is What You Get, is a system in which editing software allows content to be edited in a form that resembles its appearance when printed or displayed as a finished product, such as a printed document, web page, or slide presentation. WYSIWYG implies a user interface that allows the user to view something very similar to the end result while the document is being created. In general, WYSIWYG implies the ability to directly manipulate the layout of a document without having to type or remember names of layout commands. History Before the adoption of WYSIWYG techniques, text appeared in editors using the system standard typeface and style with little indication of layout ( margins, spacing, etc.). Users were required to enter special non-printing ''control codes'' (now referred to as markup ''code tags'') to indicate that some text should be in boldface, italics, or a different typeface or size. In this environment there was very ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

WYSIWYM
In computing, What You See Is What You Mean (WYSIWYM, ) is a paradigm for editing a structured document. It is an adjunct to the better-known WYSIWYG (What You See Is What You Get) paradigm, which displays the result of a formatted document as it will appear on screen or in print—without showing the descriptive code underneath. In a WYSIWYM editor, the user writes the contents in a structured way, marking the content according to its meaning, its significance in the document, and leaves its final appearance up to one or more separate style sheets. In essence, it aims to accurately display the contents being conveyed, rather than the actual formatting associated with it. For example, in a WYSIWYM document, one would manually mark text as the title of the document, the name of a section, the caption associated with a figure, or the name of an author; this would in turn allow one element, such as section headings, to be rendered as large bold text in one style sheet, or as red ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Mathematical Typesetting With TeXmacs
Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics with the major subdisciplines of number theory, algebra, geometry, and analysis, respectively. There is no general consensus among mathematicians about a common definition for their academic discipline. Most mathematical activity involves the discovery of properties of abstract objects and the use of pure reason to prove them. These objects consist of either abstractions from nature orin modern mathematicsentities that are stipulated to have certain properties, called axioms. A ''proof'' consists of a succession of applications of deductive rules to already established results. These results include previously proved theorems, axioms, andin case of abstraction from naturesome basic properties that are considered true starting points of ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  




SoftQuad Software
SoftQuad Software was a Canadian software company best known for HoTMetaL, the first commercial HTML editor. It is also known for Author/Editor, the first specialized SGML editor, and Panorama, the first browser plugin for SGML. Panorama demonstrated the need for standardization of SGML on the web, which eventually resulted in the development of the XML specification. HoTMetaL was one of a series of applications created by SoftQuad for editing, viewing and publishing structured (SGML and XML) content. It was based upon a popular SGML Editor called Author/Editor and has since evolved into XMetaL. Early history SoftQuad started its life in 1984 as a technology-oriented spin-off of Toronto's Coach House Press. Its founders were Yuri Rubinsky, David Slocombe and Stan Bevington. SoftQuad was started in order to improve automated typesetting at Toronto's Coach House Press, and for many years developed an enhanced commercial version of the text formatting program troff, developed under ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

LaTeX
Latex is an emulsion (stable dispersion) of polymer microparticles in water. Latexes are found in nature, but synthetic latexes are common as well. In nature, latex is found as a milky fluid found in 10% of all flowering plants (angiosperms). It is a complex emulsion that coagulates on exposure to air, consisting of proteins, alkaloids, starches, sugars, oils, tannins, resins, and gums. It is usually exuded after tissue injury. In most plants, latex is white, but some have yellow, orange, or scarlet latex. Since the 17th century, latex has been used as a term for the fluid substance in plants, deriving from the Latin word for "liquid". It serves mainly as defense against herbivorous insects. Latex is not to be confused with plant sap; it is a distinct substance, separately produced, and with different functions. The word latex is also used to refer to natural latex rubber, particularly non- vulcanized rubber. Such is the case in products like latex gloves, latex con ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

GNU Texmacs Logo
GNU () is an extensive collection of free software (383 packages as of January 2022), which can be used as an operating system or can be used in parts with other operating systems. The use of the completed GNU tools led to the family of operating systems popularly known as Linux. Most of GNU is licensed under the GNU Project's own General Public License (GNU General Public License, GPL). GNU is also the project within which the free software concept originated. Richard Stallman, the founder of the project, views GNU as a "technical means to a social end". Relatedly, Lawrence Lessig states in his introduction to the second edition of Stallman's book ''Free Software, Free Society'' that in it Stallman has written about "the social aspects of software and how Free Software can create community and social justice". Name ''GNU'' is a recursive acronym for "GNU's Not Unix!", chosen because GNU's design is Unix-like, but differs from Unix by being free software and containing no ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Interleaf
Interleaf, Inc., was a company that created computer software products for the technical publishing creation and distribution process. Founded in 1981, its initial product was the first commercial document processor that integrated text and graphics editing, producing WYSIWYG ("what you see is what you get") output at near-typeset quality. It also had early products in the document management, electronic publishing, and Web publishing spaces. Interleaf's "Active Documents" functionality, integrated into its text and graphics editing products in the early 1990s, was the first to give document creators programmatic access (via LISP) to virtually all of the document's elements, structures, and software capabilities. Broadvision acquired Interleaf in January 2000. The latest version of the publishing software (i.e. TPS) is called ''QuickSilver.'' Interleaf's headquarters was in Cambridge, Massachusetts, US, and later moved to Waltham, Massachusetts. History Interleaf was found ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Microsoft Word
Microsoft Word is a word processor, word processing software developed by Microsoft. It was first released on October 25, 1983, under the name ''Multi-Tool Word'' for Xenix systems. Subsequent versions were later written for several other platforms including: IBM PCs running DOS (1983), Apple Macintosh running the Classic Mac OS (1985), AT&T UNIX PC (1985), Atari ST (1988), OS/2 (1989), Microsoft Windows (1989), SCO Unix (1990) and macOS (2001). Using Wine (software), Wine, versions of Microsoft Word before 2013 can be run on Linux. Commercial versions of Word are licensed as a standalone product or as a component of Microsoft Office suite of software, which can be purchased either with a perpetual license or as part of a Microsoft 365 Software as a service, subscription. History Origins In 1981, Microsoft hired Charles Simonyi, the primary developer of Bravo (software), Bravo, the first GUI word processor, which was developed at PARC (company), Xerox PARC. Simonyi started ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

HTML
The HyperText Markup Language or HTML is the standard markup language for documents designed to be displayed in a web browser. It can be assisted by technologies such as Cascading Style Sheets (CSS) and scripting languages such as JavaScript. Web browsers receive HTML documents from a web server or from local storage and render the documents into multimedia web pages. HTML describes the structure of a web page semantically and originally included cues for the appearance of the document. HTML elements are the building blocks of HTML pages. With HTML constructs, images and other objects such as interactive forms may be embedded into the rendered page. HTML provides a means to create structured documents by denoting structural semantics for text such as headings, paragraphs, lists, links, quotes, and other items. HTML elements are delineated by ''tags'', written using angle brackets. Tags such as and directly introduce content into the page. Other tags such as s ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]