aboutsummaryrefslogtreecommitdiffhomepage
path: root/theories
Commit message (Expand)AuthorAge
* Preuves dans CC deGravatar herbelin2002-08-13
* MAJ pour TAFGravatar desmettr2002-07-31
* Theoreme des accroissements finis generalises et corollairesGravatar desmettr2002-07-31
* MAJ pour Exp_propGravatar desmettr2002-07-31
* Proprietes de l'exponentielleGravatar desmettr2002-07-31
* MAJ pour Rtrigo_regGravatar desmettr2002-07-29
* Regularite de sin et cosGravatar desmettr2002-07-29
* Continuite des series de fonctions NCGravatar desmettr2002-07-29
* Quelques ameliorations dans RegGravatar desmettr2002-07-22
* Nvll preuves R_dist_tri et tech_limitGravatar mayero2002-07-19
* Regularites de pow et des sommes finies / MAJ RegGravatar desmettr2002-07-19
* Resultats de regularite de Rabsolu / MAJ de RegGravatar desmettr2002-07-19
* Quelques ameliorations...Gravatar desmettr2002-07-19
* Correction d'un bug dans IsCont_ptGravatar desmettr2002-07-18
* MAJ pour Sqrt_regGravatar desmettr2002-07-18
* Preuves de la continuite/derivabilite de sqrt sur R+/R+*Gravatar desmettr2002-07-18
* *** empty log message ***Gravatar desmettr2002-07-16
* *** empty log message ***Gravatar desmettr2002-07-16
* MAJ Rtrigo pour sqrtGravatar desmettr2002-07-16
* *** empty log message ***Gravatar desmettr2002-07-16
* R_sqr ne contient plus de resultats sur sqrt -> R_sqrtGravatar desmettr2002-07-16
* MAJ RealsGravatar desmettr2002-07-16
* MAJ RgeomGravatar desmettr2002-07-16
* Proprietes (calculatoires) des fonctions trigonometriquesGravatar desmettr2002-07-16
* Proprietes de la racine carreeGravatar desmettr2002-07-16
* Definition de la racine carreeGravatar desmettr2002-07-16
* Bug de précédenceGravatar herbelin2002-07-15
* Preuve de cos_plusGravatar desmettr2002-07-12
* Quelques resultats supplementaires sur les suites convergentesGravatar desmettr2002-07-12
* Le theoreme central sur les produits de Cauchy finisGravatar desmettr2002-07-12
* Differents resultats sur les produits finisGravatar desmettr2002-07-12
* cos_plus prouveGravatar desmettr2002-07-12
* Hack pour parser '{x:T|P}*B' sans parenthesesGravatar herbelin2002-07-11
* Making the sumbool functions transparent, so that they can used toGravatar bertot2002-07-09
* certains lemmes sont maintenant dans RtrigoGravatar desmettr2002-07-05
* sin_plus prouve (a partir de cos_plus)Gravatar desmettr2002-07-05
* sin_bound et cos_bound deplaces dans Rtrigo_altGravatar desmettr2002-07-05
* sin_bound et cos_bound sont prouves (merci les series alternees...)Gravatar desmettr2002-07-05
* *** empty log message ***Gravatar desmettr2002-07-03
* sin_eq_0 est maintenant prouveGravatar desmettr2002-07-03
* sin_lb_gt_0 est maintenant prouve (grace a une approximation de PI, cf PI_ineq)Gravatar desmettr2002-07-02
* Suppression de l'axiome arc_sin_cosGravatar desmettr2002-07-02
* Modification de IAF, introduction de TAF et preuves de 3 axiomesGravatar desmettr2002-07-02
* *** empty log message ***Gravatar desmettr2002-07-02
* Constructions des séries alternées et de PIGravatar desmettr2002-07-01
* PI n'est plus un axiomeGravatar desmettr2002-07-01
* Version plus propre de RsigmaGravatar desmettr2002-07-01
* Ajout de BinomeGravatar desmettr2002-07-01
* Formule du binome (pour cos(x+y), sin(x+y)...)Gravatar desmettr2002-07-01
* Modification sin_approxGravatar desmettr2002-07-01
generated by cgit v1.2.3 (git 2.39.1) at 2025-01-26 10:51:49 +0000