Utiliser TeXmacs pour rédiger vos documents scientifiques

Magazine
Marque
SysOps Pratique
Numéro
116
Mois de parution
novembre 2019
Spécialité(s)


Résumé

Écrire des formules, équations, tableaux, théorèmes, etc., tel est le quotidien des scientifiques, et la plupart du temps, ils se mordent les doigts avec les logiciels de traitement de texte LibreOffice Writer, Microsoft Word, pour ne citer que ceux-là... essayant tant bien que mal de produire quelque chose de scientifiquement présentable.


TeXmacs est un logiciel open source qui permet la rédaction de documents scientifiques avec une grande facilité. Ce logiciel est disponible sur la plupart des distributions Linux, sur Windows et sur macOS. TeXmacs permet d’insérer du texte, des formules mathématiques, des graphiques, des contenus interactifs, des slides, les images, etc. dans nos documents, car c’est une application WYSIWYG (What You See Is What You Get), c’est-à-dire que les objets sont portés et déposés sur l’interface sans devoir insérer un quelconque code.

TeXmacs apporte une grande flexibilité aux rédacteurs dans la mesure où elle permet de générer à la fois des fichiers TeXmacs, XML, Scheme, HTML/Mathml et on peut imprimer par la suite des documents PDF ou PostScript.

Sa flexibilité s’étend plus loin qu’au niveau de la programmation. En effet, TeXmacs offre des interfaces pour faire de la programmation dans des langages tels que CLIPS, Python, R, etc.

TeXmacs a été conçu…

La suite est réservée aux abonnés. Il vous reste 95% à découvrir.
  • Accédez à tous les contenus de Connect en illimité
  • Découvrez des listes de lecture et des contenus Premium
  • Consultez les nouveaux articles en avant-première
Envie de lire la suite ? Rejoignez Connect
Je m'abonne maintenant


Article rédigé par

Par le(s) même(s) auteur(s)

Gérez vos gros volumes de données avec Elasticsearch

Magazine
Marque
SysOps Pratique
Numéro
125
Mois de parution
mai 2021
Spécialité(s)
Résumé

Elasticsearch est un SGBD NoSQL qui gagne en popularité ces dernières années de par sa flexibilité et sa gestion facile. Il intègre la notion de cluster qui permet de décentraliser une base de données afin de rendre les requêtes à celle-ci plus rapides, tout en assurant une sécurité plus qu’acceptable. Dans cet article, nous allons gérer une base de données Elasticsearch en nous focalisant principalement sur la manipulation des données. Nous supposerons que vous disposez déjà d’un cluster installé disposant bien évidemment d’un nœud master, comme vu précédemment [1].

Créez vos clusters avec Elasticsearch

Magazine
Marque
SysOps Pratique
Numéro
124
Mois de parution
mars 2021
Spécialité(s)
Résumé

Vous êtes-vous déjà demandé comment Facebook et Google gèrent leurs immenses masses de données tout en fournissant des services rapides ? Quelle serait votre solution pour gérer une base de données avec un trafic de données abondant ? Voici quelques éléments de réponse à ces questions.

Effectuer des sauvegardes avec rdiff-backup

Magazine
Marque
SysOps Pratique
Numéro
121
Mois de parution
septembre 2020
Spécialité(s)
Résumé

Tous les jours, nous créons et manipulons des données. Certaines plus importantes que d’autres. Une chose que nous partageons tous c’est bien la peur de les perdre. Peut-être avez-vous déjà perdu des données suite à une panne de votre disque de stockage, l’attaque d’un virus ou le vol de votre ordinateur. Les personnes ayant déjà connu cette situation comprennent les tracas que cela peut causer. Vous allez découvrir dans ce tutoriel comment limiter le risque d’y faire face. La solution se trouve en un mot : « sauvegarde ». L’outil que nous allons vous présenter ici a été conçu pour vous aider à réaliser cette tâche de manière efficace et efficiente.

Les listes de lecture

Débuter avec les conteneurs

8 article(s) - ajoutée le 01/07/2020
Découvrez notre sélection d'articles pour faire vos premiers pas avec les conteneurs, apprendre à les configurer et les utiliser au quotidien.

Les bases du DevOps

11 article(s) - ajoutée le 02/07/2020
Si vous recherchez quels sont les outils du DevOps et comment les utiliser, cette liste est faite pour vous.

Tout pour la sauvegarde

8 article(s) - ajoutée le 02/07/2020
Il est essentiel d'effectuer des sauvegardes régulières de son travail pour éviter de perdre toutes ses données bêtement. De nombreux outils sont disponibles pour nous assister dans cette tâche.
Plus de listes de lecture