Kile : un environnement LaTeX intégré pour vous aider à rédiger

Magazine
Marque
Linux Pratique
HS n°
Numéro
44
Mois de parution
février 2019
Spécialité(s)


Résumé
Nous avons vu dans un précédent article [1] la mise en œuvre de LyX pour rédiger des documents LaTeX. Depuis, vous vous êtes passionnés pour ce langage de composition de texte et vous désirez aller encore plus loin. Il est bien sûr possible de rédiger à l’aide d’un simple éditeur de texte, mais un IDE spécialisé comme Kile vous rendra de nombreux services. Voyons cela plus en détail.

Outils utilisés : Kile 2.9.92

Site du projet : https://kile.sourceforge.io/

Étape 0 : Comprendre la philosophie de LaTeX

LaTeX (prononcer [la.tɛk] et non [la.tɛks]) est un système de composition de documents professionnels gratuit et multiplateforme. Il permet de produire des documents de haute qualité typographique,de gérer sans problème de très gros documents, mais aussi d'intégrer des formules mathématiques, des graphes, des schémas, etc.

Le système LaTeX a été inventé par Leslie Lamport en 1983, sur la base du système TeX inventé par Donald Knuth à partir de 1977. LaTeX est en réalité un ensemble de commandes dont le but est de faciliter l'utilisation de TeX difficile d’accès. LaTeX, qui est d'ailleurs l'abréviation de Lamport TeX, est devenu la méthode privilégiée d'écriture de documents (articles, rapports, livres, etc.) dans la communauté scientifique, en particulier du côté des sciences exactes et appliquées.

Le principe de base de LaTeX est de...

Cet article est réservé aux abonnés. Il vous reste 95% à découvrir.
S'abonner à Connect
  • Accédez à tous les contenus de Connect en illimité
  • Découvrez chaque semaine un nouvel article premium
  • Consultez les nouveaux articles en avant-première
Je m'abonne


Article rédigé par

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

Utilisez GitLab pour la gestion globale de vos projets en équipe

Magazine
Marque
Linux Pratique
Numéro
120
Mois de parution
juillet 2020
Spécialité(s)
Résumé

D’après Wikipédia, GitLab est un « logiciel libre de forge basé sur Git [1] proposant les fonctionnalités de wiki, un système de suivi des bugs, l’intégration continue et la livraison continue » [6]. Il est développé par la société GitLab Inc. et est très utilisé par les entreprises informatiques, mais aussi les centres de recherche et les équipes produisant des logiciels libres. Sa première version date d’octobre 2011 et il n’a pas cessé d’évoluer depuis. GitLab est donc une plateforme permettant d’héberger et de gérer des projets dans leur ensemble. Elle offre la possibilité de gérer ses dépôts Git et permet une gestion de tout le processus de développement de l’idée à la production. Elle propose ainsi une collaboration simple et efficace entre les différents participants d’un même projet.

Annotez et complétez vos PDF avec Xournal++

Magazine
Marque
Linux Pratique
Numéro
118
Mois de parution
mars 2020
Spécialité(s)
Résumé

Xournal ++ est une application de prises de note et de dessin à l’aide d’un stylet ou de la souris. L’une de ses fonctionnalités très utile permet d’ouvrir un fichier PDF et de réaliser des annotations sur ce dernier. Voyons en détail l’utilisation de ce petit utilitaire libre très pratique.

Créez facilement des applications graphiques tactiles avec Python et Kivy

Magazine
Marque
Linux Pratique
HS n°
Numéro
46
Mois de parution
octobre 2019
Spécialité(s)
Résumé
Dans le numéro 106 de Linux Pratique nous avons vu comment développer des applications graphiques pour petits écrans tactiles en python avec pySDL2, un « wrapper » python vers la bibliothèque SDL2. Cependant, cette dernière est très limitée en termes de widgets graphiques. Nous allons découvrir ici la bibliothèque Kivy qui est très complète et vous permettra de réaliser des interfaces graphiques complexes sans trop d’efforts.

Les derniers articles Premiums

Les derniers articles Premium

Game & Watch : utilisons judicieusement la mémoire

Magazine
Marque
Contenu Premium
Spécialité(s)
Résumé

Au terme de l'article précédent [1] concernant la transformation de la console Nintendo Game & Watch en plateforme de développement, nous nous sommes heurtés à un problème : les 128 Ko de flash intégrés au microcontrôleur STM32 sont une ressource précieuse, car en quantité réduite. Mais heureusement pour nous, le STM32H7B0 dispose d'une mémoire vive de taille conséquente (~ 1,2 Mo) et se trouve être connecté à une flash externe QSPI offrant autant d'espace. Pour pouvoir développer des codes plus étoffés, nous devons apprendre à utiliser ces deux ressources.

Raspberry Pi Pico : PIO, DMA et mémoire flash

Magazine
Marque
Contenu Premium
Spécialité(s)
Résumé

Le microcontrôleur RP2040 équipant la Pico est une petite merveille et malgré l'absence de connectivité wifi ou Bluetooth, l'étendue des fonctionnalités intégrées reste très impressionnante. Nous avons abordé le sujet du sous-système PIO dans un précédent article [1], mais celui-ci n'était qu'une découverte de la fonctionnalité. Il est temps à présent de pousser plus loin nos expérimentations en mêlant plusieurs ressources à notre disposition : PIO, DMA et accès à la flash QSPI.

Programmation des PIO de la Raspberry Pi Pico

Magazine
Marque
Contenu Premium
Spécialité(s)
Résumé

La carte Pico de Raspberry Pi est appréciable à bien des égards. Ses ressources, son prix, ses deux cœurs ARM... Mais ce morceau de silicium qu'est le RP2040 renferme une fonctionnalité unique : des blocs PIO permettant de créer librement des périphériques supplémentaires qu'il s'agisse d'éléments standardisés comme SPI, UART ou i2c, ou des choses totalement exotiques et très spécifiques à un projet ou un environnement donné. Voyons ensemble comment prendre en main cette ressource et explorer le monde fantastique des huit machines à états de la Pico !

Abonnez-vous maintenant

et profitez de tous les contenus en illimité

Je découvre les offres

Déjà abonné ? Connectez-vous