• Login

en fr

Navigation
  • About LMF
  • Research
      • Pôles et Thèmes
      • Séminaires
      • Publications
      • Preuve et langages
        • Arithmétique des ordinateurs
        • Calcul, langages et compilation
        • Preuve de programmes
        • Preuve mecanisée
      • Modèles
        • Concurrence et distribué
        • Model-checking et synthèse
        • Systèmes critiques
        • Test et monitoring
      • Interactions
        • Biologie
        • Intelligence artificielle
        • Quantique
        • Sécurité
        • Topologie
      • Equipes-projets
        • Deducteam
        • Toccata
        • QuaCS
      • Collaborations
        • IRL ReLaX
        • LabCom ProofInUse
    • Back
  • Events
  • Opportunities
  • Members
  • Home

On page PaulGastin.gastex... (hide)

  1.   1.  Download and Installation
  2.   2.  Usage and Package Options
    1.   2.1  Usage
    2.   2.2  Package Options
  3.   3.  gpicture and gusepicture
  4.   4.  Drawing Commands
    1.   4.1  General Parameters
    2.   4.2  Commands for Nodes (work in progress)
    3.   4.3  Commands for Edges (work in progress)
    4.   4.4  Lines and Curves
    5.   4.5  Polygons and Closed Curves
    6.   4.6  Circles and Arcs
    7.   4.7  Rectangles, Ovals and Regular Polygons
    8.   4.8  Bézier Curves and Snake Lines
  5.   5.  More Examples
  6.   6.  Known problems and (hopefully) solutions
  7.   7.  Feedback

Contact

LMF - Laboratoire Méthodes Formelles
Université Paris-Saclay, CNRS, ENS Paris-Saclay
4 avenue des Sciences
91190 Gif-sur-Yvette, France

Phone: +33 (0)1 81 87 54 50

Mail : contact@lmf.cnrs.fr

Legal Notice

Page last modified on 2025-05-27@19:44