• Login

en fr

Navigation
  • About LMF
  • Research
      • Research Groups
      • Seminars
      • Publications
      • Proofs and Languages
        • Computer Arithmetics
        • Computation, Languages and Compilation
        • Poofs of Programs
        • Mechanised Proofs
      • Models
        • Distributed Computation
        • Model Checking and Synthesis
        • Critical Systems
        • Test and Monitoring
      • Interactions
        • Biology
        • Artificial Intelligence
        • Quantum Computation
        • Sécurity
        • Topology
      • Joint Project Teams
        • 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