/[geocaml]/geocaml/doc/rapport/rapport.tex
ViewVC logotype

Diff of /geocaml/doc/rapport/rapport.tex

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 1.2 by gmariano, Thu Mar 27 14:22:06 2003 UTC revision 1.3 by gmariano, Fri Sep 5 20:04:32 2003 UTC
# Line 1  Line 1 
1  % $Id$  % $Id$
2    
3  \documentclass[12pt,a4paper]{book}  \documentclass[12pt,a4paper,draft]{book}
4    
5  \usepackage{estas}  \usepackage{estas}
6    
# Line 43  Line 43 
43    
44  \usepackage{moreverb}  \usepackage{moreverb}
45    
46    \dominitoc{}
47    
48  \begin{document}  \begin{document}
49    
50  \maketitle  \maketitle
# Line 53  Line 55 
55  %  %
56  \pagestyle{estas}  \pagestyle{estas}
57    
58    \newpage{}
59    
60  Comme beaucoup de domaines en mathématiques, la géométrie euclidienne  Comme beaucoup de domaines en mathématiques, la géométrie euclidienne
61  dispose de nombreux outils informatiques apportant des solutions aux  dispose de nombreux outils informatiques apportant des solutions aux
62  diverses problèmes qu'elle pose: démonstration, construction de  divers problèmes qu'elle pose: démonstration, construction de
63  figures, etc... Ainsi pour le dessin géométrique, il existe une  figures, ... Ainsi pour le dessin géométrique, il existe une
64  multitude de logiciels permettant de remplacer la règle et le bon  multitude de logiciels permettant de remplacer la règle et le bon
65  vieux compas d'antan par l'ordinateur. Fini les branches du compas qui  vieux compas d'antan par l'ordinateur. Fini les branches du compas qui
66  s'écartent et les cercles imprécis: les dessins générés par ces  s'écartent et les cercles imprécis: les dessins générés par ces
67  logiciels sont d'une remarquable précision.  logiciels sont d'une remarquable précision.
68    
69  Mais que ce soit Cabri, DrGeo, ou WinGeom , tous ces logiciels  Mais que ce soit Cabri, DrGenius, ou WinGeom, tous ces logiciels
70  utilisent des coordonnées comme représentation interne des objets  utilisent des coordonnées comme représentation interne des objets
71  qu'ils manipulent. Un point y est ainsi représenté comme un couple  qu'ils manipulent. Un point y est ainsi représenté comme un couple
72  d'entiers, droites et cercles par leur équation...  Ce projet a pour  d'entiers, droites et cercles par leur équation...  Ce projet a pour
# Line 73  d'un logiciel de ce type. La saisie et l Line 76  d'un logiciel de ce type. La saisie et l
76  objets géométriques doit se faire par un langage dédié et non par  objets géométriques doit se faire par un langage dédié et non par
77  l'utilisation d'une interface graphique. Par ailleurs, l'utilisateur  l'utilisation d'une interface graphique. Par ailleurs, l'utilisateur
78  aura le choix entre deux types de visualisations: une sortie  aura le choix entre deux types de visualisations: une sortie
79  'classique' sur écran et une sortie 'papier' via la génération d'un  «classique» sur écran et une sortie «papier» via la génération, par exemple, d'un
80  fichier Postcript.  fichier Postcript.
81    
82  Le langage choisi pour développer ce projet est Objective Caml. Issu  Le langage choisi pour développer ce projet est Objective Caml. Issu
# Line 81  de la famille ML, ses mécanismes de typa Line 84  de la famille ML, ses mécanismes de typa
84  type et de gestion des exceptions en font un langage de haut niveau  type et de gestion des exceptions en font un langage de haut niveau
85  très efficace. La présence des nombreuses bibliothèques simplifient la  très efficace. La présence des nombreuses bibliothèques simplifient la
86  vie du programmeur et la mise au point de code se trouve grandement  vie du programmeur et la mise au point de code se trouve grandement
87  accélérée grâce à la boucle interactive. Deux modes de compilation  accélérée grâce à la boucle interactive d'interprétation (toplevel).
88  peuvent être utilisés: code natif (génération d'un exécutable en  
89  langage machine) ou bytecode (génération d'un exécutable pour la  Deux modes de compilation
90    peuvent être utilisés:
91    \begin{itemize}
92    \item code natif (génération d'un exécutable en
93    langage machine)
94    \item ou bytecode (génération d'un exécutable pour la
95  machine virtuelle ocamlrun)  machine virtuelle ocamlrun)
96    \end{itemize}
97    
98    
99    
100  \part{}  \part{}
101  \input{rapport1}  \input{rapport1}
# Line 96  machine virtuelle ocamlrun) Line 105  machine virtuelle ocamlrun)
105    
106  \appendix{}  \appendix{}
107    
108    \chapter{Autres logiciels}
109    
110    
111    \section{drgenius}
112    
113    \input{drgenius}
114    
115    \section{kseg}
116    
117    
118  \chapter{Sources}  \chapter{Sources}
119    
120  \input{main}  %\input{main}
121    
122  \end{document}  \end{document}

Legend:
Removed from v.1.2  
changed lines
  Added in v.1.3

savannah-hackers-public@gnu.org
ViewVC Help
Powered by ViewVC 1.1.26