> <\body> \; \; \; \; , une plateforme librepour l'édition scientifique>|<\doc-note> |||<\author-affiliation> Laboratoire LIX, École Polytechnique Équipe MAX >>> |<\hidden> \; <\itemize> Projet initié par . Licence GNU GPLv3. Multiplateforme. Essentiellement développé au sein de l'équipe MAX du LIX. Une dizaine de développeurs/contributeurs réguliers. 347 000 lignes de code ( et ). Popcon Debian : 850 utilisateurs réguliers. Version courante : 1.0.7.19. Site web : > Liste de diffusion des utilisateurs : . |<\hidden> <\with|language|english> Anyone caught using formulas such as =+> or =+> will fail. The binomial theorem is <\equation*> =x*y. A favorite sum of most mathematicians is <\equation*> >>=|6>. Likewise a popular integral is <\equation*> >>e>*d*x=> <\theorem> The square of any real number is non-negative. <\proof> Any real number satisfies 0>, , or 0>. If , then =0\0>. If 0> then as a positive time a positive is positive we have =x*x\0>. If 0> then 0> and so by what we have just done =(-x)\0>. So in all cases \0>. |<\hidden> :> <\itemize> On décrit un document plutôt qu'on ne le dessine (séparation fond/forme). Le rendu de l'information est contextualisé. Utilisation de feuilles de styles. <\itemize-dot> WYSIWYG ! (i.e. pas de compilateur ésotérique). Non limité à l'Ascii (i.e. vous avez le droit aux accents, aux images, etc.). Meilleure ergonomie ({parcours, sélection, édition} structurés). Menus et barres d'outils contextualisées. Possibilités de contenus interactifs. Et aussi, l'essentiel de ce qu'on peut demander à un logiciel de composition de documents (correction orthographique, support pour les tables et figures, mode de présentation, gestion de révision, etc.). |<\hidden> <\itemize> Via les menus : insère > fraction. Via des raccourcis : . Via des raccourcis propres : . <\itemize> Par mimétisme graphique : > insère > ; insère >. Via des variantes : tab> insère > ; insère >. Via des variantes de structure : passer de |>||>>>>> à |>||>>>>>. Comparaison avec : ||||||||||>>|>>>|\>>|>|>>|0\a=1>>|>>| = \ a = 1>>>>>> <\equation*> OO>+\+log q|)> |<\hidden> :> <\itemize> Assignation de variable : |\>>>|\>>>>.> Déclaration de macro : |\>>>|\>>>>>> |t>>>>|t>>> Assignation locale : > > :> <\itemize> est dynamiquement programmable en . <\session|scheme|default> <\folded-io|Scheme] > (kbd-map ("t h m" (make 'theorem))))) <|folded-io> ("t h m") Tout tampon est accessible et modifiable depuis l'interface . <\session|scheme|default> <\folded-io|Scheme] > (select (buffer-tree) '(:* shown :* tit)) <|folded-io> (\tree \tit\|Extensibilité\\) <\folded-io|Scheme] > (with title (car (select (buffer-tree) '(:* shown :* tit))) \ \ (tree-set! title '(tit "Extensibilité de TeXmacs"))) <|folded-io> > \; |<\hidden> <\session|mathemagix|default> <\output> |>>|>|>||>> <\input> <|input> use "symbolix" <\unfolded-io-math> <|unfolded-io-math> derive,x|)> <|unfolded-io-math> *x|p>+log|)>|)>*p> <\unfolded-io-math> <|unfolded-io-math> |>||>>>> <|unfolded-io-math> <\unfolded-io-math> <|unfolded-io-math> |>||>>>>*>|>>>> <|unfolded-io-math> |>>|]>> <\input-math> <|input-math> \; |<\hidden> <\itemize> Commutateur : *x|p>+log|)>|)>*p>> Substitution : La dérivée de > par rapport a est : *x|p>+log|)>|)>*p>. Évaluation en temps réel : La dérivée de >> par rapport a > est : , )>|*x|f>+log|)>|)>*f>>. Tableur : >||>>>|>>||*a>>>>|*v>>||*v+v*u>>>>>>>>> |<\hidden> <\itemize> HTML / MathML (demo). (demo). Bib. <\itemize> Format papier (ps, pdf). Web (HTML/MathML). (demo). Bib. Arbre XML (sans DTD). Texte brut. > <\initial> <\collection> <\references> <\collection> > > > > > > > > > > > > |\>|1>> <\auxiliary> <\collection> <\associate|toc> |Inspiré de L>T|E>||||0.5fn>|0fn|-0.1fn>>X : |.>>>>|> > |Mais : |.>>>>|> > |Saisie de formules : |.>>>>|> > |Saisie de formules efficaces (en mode math $) : |.>>>>|> > |Édition sémantique : |.>>>>|> > |Programmation en T|E>||||0.5fn>|0fn|-0.1fn>>XACS||||0.5fn>|0fn|-0.1fn>> : |.>>>>|> > |Programmation de T|E>||||0.5fn>|0fn|-0.1fn>>XACS||||0.5fn>|0fn|-0.1fn>> : |.>>>>|> > |Imports possibles : |.>>>>|> > |Exports possibles : |.>>>>|> >