A previous version of this page even more outdated than this one.
Dictionaries
Merriam-Webster Free Dictionary for American English
Collins Free Dictionary for British English
Ordbogen. Dictionary English-Danish. Free access with SDU login.
Style
The Chicago Manual of Style. Free access from SDU.
New Hart’s Rules: The Oxford Style Guide. Condensed book about the Chicago Manual of Style.
Joseph M. Williams and Gregory G. Colomb. Style: Lessons in Clarity and Grace. 9th Edition. New York: Pearson Longman (2007) Style: Toward Clarity and Grace. University Of Chicago Press (1995) Few principles from the book
The Elements of Style by Strunk and White, from the wiki entry
That vs which: extracts from Thomson and Martinet, A Practical English Grammar and Williams and Colomb. Style: Lessons in Clarity and Grace.
Style in Mathematics and Computer Science
N.J. Higham. Handbook of writing for the mathematical sciences. Society for Industrial and Applied Mathematics, 1998
D.E. Knuth, T. Larrabee and P.M. Roberts. Mathematical writing. Mathematical Association of America, 1989
Writing Project Reports and Assignments
Dansk: Den Gode Opgave; Engelsk: Den Gode Opgave
Computer Science Resources by Kim S. Larsen
Mathematical Resources by Andrerw Swann
You and Your Research by Richard W. Hamming
Collection of tutorials by Toby Walsh
Collection of links by Ass. Prof. Jason I. Hong, Carnegie Mellon University
Collection of links by Till Stegers, University of California Davis
Collection of links by Prof. Mihir Bellare, University of California
Collection of links by Ph.D. Dan Horn, U.S. Army Research Institute
Code of practice by the European Mathematical Society Ethics Committee
How to review a paper by Dr. Hugh Davis, University of Southampton
How to Read a Paper by S. Keshav, University of Waterloo, ACM SIGCOMM Computer Communication Review, 83 Volume 37, Number 3, July 2007
Parberry, I. A guide for new referees in theoretical computer science. SIGACT News, ACM, 1989, 20, 92-99
J. Bondy and U. Murty. Graph Theory. Springer, 2008. First edition.
R. Diestel. Graph Theory. Springer, 2010 (2005, 2000, 1997).
Douglas B. West. Introduction to Graph Theory. Prentice Hall 1996, 2001.
J. Bang-Jensen and G. Gutin. Digraphs: Theory, Algorithms and Applications. Springer London, 2009
Brendan McKay's exhaustive generation of isomorphic and automorphic graphs
Graph classes in Information System on Graph Class Inclusions
Demetrescu's page on DIMACS Implementation Challenge on Shortest Paths
Gengraph Command line tools generating graphs in the GraphML format. Dorothea Wagner, Algorithmics Group - Universitaet Karlsruhe Germany. (not maintained)
Graphviz - Graph Visualization Software AT&T Research
GraphML Postscript converter for visualisation. Dorothea Wagner, Algorithmics Group - Universitaet Karlsruhe Germany (not maintained)
NetworkX for python
Google Map for geographical data
Wolfram Alpha (symbolic)
Mathematica (discrete mathematics) [Proprietary]
MATLAB for students
Maple (symbolic) Proprietary
Octave (GPL)
R project (statistics) [GPL]
Sage (discrete mathematics, graph theory) (GPL)
SciPy (based on python) [GPL]
GEODUAL, a software for creating and solving geometric instances of the Minimum Spanning Tree problem, the Perfect Matching problem, and the Traveling Salesman problem, along with visual proofs of optimality. By Prof. Dr. Michael Juenger, Dr. Michael Schulz, Wojciech Zychowicz, Universitaet zu Koeln
Gato the Graph Animation Toolbox Alexander Schliep, and Winfried Hochstaetler, ZAIK/ZPR, an institute at the Unversitaet zu Koeln.
R
Memory checker: valgrind
Cache misses: valgrind –tols=cachegrind progr
Memory usage measurment: /usr/bin/time -v
System limits: ulimit -a
Memory usage: LD_PRELOAD=/lib/libmemusage.so progr
Profiler: gprof
Efficient compiler under Mac: llvm-g++
Reinforcement Learning by Sutton and Barto