Leonhard EulerLeonhard Euler (), né le à Bâle (Suisse) et mort le à Saint-Pétersbourg (Empire russe), est un mathématicien et physicien suisse, qui passa la plus grande partie de sa vie dans l'Empire russe et en Allemagne. Il était notamment membre de l'Académie royale des sciences de Prusse à Berlin. Euler fit d'importantes découvertes dans des domaines aussi variés que le calcul infinitésimal et la théorie des graphes. Il introduisit également une grande partie de la terminologie et de la notation des mathématiques modernes, en particulier pour l'analyse mathématique, comme la notion de fonction mathématique.
Fractalevignette|Exemple de figure fractale (détail de l'ensemble de Mandelbrot)|alt=Exemple de figure fractale (détail de l'ensemble de Mandelbrot). vignette|Ensemble de Julia en . Une figure fractale est un objet mathématique qui présente une structure similaire à toutes les échelles. C'est un objet géométrique « infiniment morcelé » dont des détails sont observables à une échelle arbitrairement choisie. En zoomant sur une partie de la figure, il est possible de retrouver toute la figure ; on dit alors qu’elle est « auto similaire ».
Approximation de πvignette|upright=2|Graphique montrant l'évolution historique de la précision record des approximations numériques de π, mesurée en décimales (représentée sur une échelle logarithmique). Dans l'histoire des mathématiques, les approximations de la constante π ont atteint une précision de 0,04 % de la valeur réelle avant le début de notre ère (Archimède). Au , des mathématiciens chinois les ont améliorées jusqu'à sept décimales. De grandes avancées supplémentaires n'ont été réalisées qu'à partir du (Al-Kashi).
Prover9Prover9 is an automated theorem prover for first-order and equational logic developed by William McCune. Prover9 is the successor of the Otter theorem prover also developed by William McCune. Prover9 is noted for producing relatively readable proofs and having a powerful hints strategy. Prover9 is intentionally paired with Mace4, which searches for finite models and counterexamples. Both can be run simultaneously from the same input, with Prover9 attempting to find a proof, while Mace4 attempts to find a (disproving) counter-example.
Vignoble de ProvenceLe vignoble de Provence s'étend du sud d'Avignon jusqu'à Nice, sur la majeure partie de la Provence. Ce vignoble est marqué par une très grande hétérogénéité de situation tant pédo-géologique que climatique avec une dominance du climat méditerranéen strict mais également de zones plus froides où l'influence du vent est déterminante. La culture de la vigne a été introduite sur les rives méditerranéennes de la Gaule par les Grecs de Phocée.
Démonstration automatique de théorèmesLa démonstration automatique de théorèmes (DAT) est l'activité d'un logiciel qui démontre une proposition qu'on lui soumet, sans l'aide de l'utilisateur. Les démonstrateurs automatiques de théorème ont résolu des conjectures intéressantes difficiles à établir, certaines ayant échappé aux mathématiciens pendant longtemps ; c'est le cas, par exemple, de la , démontrée en 1996 par le logiciel EQP.
