aboutsummaryrefslogtreecommitdiff
path: root/theories
AgeCommit message (Expand)Author
2002-10-07Affaiblissement des hypotheses dans TAF_gendesmettr
2002-10-04Ajout du lemme derivable_pt_lim_powerdesmettr
2002-10-04Preuve de Bolzano-Weierstrassdesmettr
2002-10-02*** empty log message ***desmettr
2002-10-02Fonctions Ln et puissancedesmettr
2002-09-26suppression de l'axiome eqDomdesmettr
2002-09-25preuve d'un axiome restant via Rtopologydesmettr
2002-09-25MAJ pour Rtopologydesmettr
2002-09-25Proprietes topologiques dans Rdesmettr
2002-09-25Affaiblissement de l'ordre sur Z on demande x < y et seulementmohring
2002-08-13Preuves dans CC deherbelin
2002-07-31MAJ pour TAFdesmettr
2002-07-31Theoreme des accroissements finis generalises et corollairesdesmettr
2002-07-31MAJ pour Exp_propdesmettr
2002-07-31Proprietes de l'exponentielledesmettr
2002-07-29MAJ pour Rtrigo_regdesmettr
2002-07-29Regularite de sin et cosdesmettr
2002-07-29Continuite des series de fonctions NCdesmettr
2002-07-22Quelques ameliorations dans Regdesmettr
2002-07-19Nvll preuves R_dist_tri et tech_limitmayero
2002-07-19Regularites de pow et des sommes finies / MAJ Regdesmettr
2002-07-19Resultats de regularite de Rabsolu / MAJ de Regdesmettr
2002-07-19Quelques ameliorations...desmettr
2002-07-18Correction d'un bug dans IsCont_ptdesmettr
2002-07-18MAJ pour Sqrt_regdesmettr
2002-07-18Preuves de la continuite/derivabilite de sqrt sur R+/R+*desmettr
2002-07-16*** empty log message ***desmettr
2002-07-16*** empty log message ***desmettr
2002-07-16MAJ Rtrigo pour sqrtdesmettr
2002-07-16*** empty log message ***desmettr
2002-07-16R_sqr ne contient plus de resultats sur sqrt -> R_sqrtdesmettr
2002-07-16MAJ Realsdesmettr
2002-07-16MAJ Rgeomdesmettr
2002-07-16Proprietes (calculatoires) des fonctions trigonometriquesdesmettr
2002-07-16Proprietes de la racine carreedesmettr
2002-07-16Definition de la racine carreedesmettr
2002-07-15Bug de précédenceherbelin
2002-07-12Preuve de cos_plusdesmettr
2002-07-12Quelques resultats supplementaires sur les suites convergentesdesmettr
2002-07-12Le theoreme central sur les produits de Cauchy finisdesmettr
2002-07-12Differents resultats sur les produits finisdesmettr
2002-07-12cos_plus prouvedesmettr
2002-07-11Hack pour parser '{x:T|P}*B' sans parenthesesherbelin
2002-07-09Making the sumbool functions transparent, so that they can used tobertot
2002-07-05certains lemmes sont maintenant dans Rtrigodesmettr
2002-07-05sin_plus prouve (a partir de cos_plus)desmettr
2002-07-05sin_bound et cos_bound deplaces dans Rtrigo_altdesmettr
2002-07-05sin_bound et cos_bound sont prouves (merci les series alternees...)desmettr
2002-07-03*** empty log message ***desmettr
2002-07-03sin_eq_0 est maintenant prouvedesmettr
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-26 00:39:28 +0000