1 |
% $Id$ |
% $Id$ |
2 |
|
|
3 |
\documentclass[12pt,a4paper]{book} |
\documentclass[12pt,a4paper,draft]{book} |
4 |
|
|
5 |
\usepackage{estas} |
\usepackage{estas} |
6 |
|
|
43 |
|
|
44 |
\usepackage{moreverb} |
\usepackage{moreverb} |
45 |
|
|
46 |
|
\dominitoc{} |
47 |
|
|
48 |
\begin{document} |
\begin{document} |
49 |
|
|
50 |
\maketitle |
\maketitle |
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 |
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 |
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} |
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} |