Timeline of computational mathematics: Difference between revisions

Revision as of 00:09, 21 August 2014

Revision as of 04:44, 22 August 2014

Line 50:

== 1970s ==

* Mandelbrot, from studies of the [[Fatou set|Fatou]], [[Julia set|Julia]] and [[Mandelbrot set]]s, coined and popularized the term 'fractal' to describe these structures' [[self-similarity]].<ref>B. Mandelbrot; ''Les objets fractals, forme, hasard et dimension '' (in French). Publisher: Flammarion (1975), ISBN 9782082106474; English translation ''Fractals: Form, Chance and Dimension.'' Publisher: Freeman, W. H & Company. (1977). ISBN 9780716704737.</ref><ref>Mandelbrot, Benoît B.; (1983). The Fractal Geometry of Nature. San Francisco: W.H. Freeman. ISBN 0-7167-1186-9.</ref>

*Kenneth Appel and Wolfgang Haken prove the [[four colour theorem]], the [[Computer-assisted proof#List of theorems proved with the help of computer programs|first theorem to be proved by computer]].<ref>Kenneth Appel and Wolfgang Haken, "Every planar map is four colorable, Part I: Discharging," Illinois Journal of Mathematics 21: 429–490, 1977.</ref><ref>Appel, K. and Haken, W. "Every Planar Map is Four-Colorable, II: Reducibility." Illinois J. Math. 21, 491-567491–567, 1977.

</ref><ref>Appel, K. and Haken, W. "The Solution of the Four-Color Map Problem." Sci. Amer. 237, 108-121108–121, 1977.</ref>

== 1980s ==