A previous version of this page even more outdated than this one.

SDU regulations

• Deadlines for evaluations

• Bachelor and Master thesis at IMADA

• SDU page with exam regualtions and application forms

• A proposal for a guideline %-scale for written exam

• Cheating and Honor Code

Writing

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

• Tips For Writing A Great Data Science Thesis

• Dansk: Den Gode Opgave; Engelsk: Den Gode Opgave

Tex

• List of mathematical symbols

• Theoretical Computer Science Cheat Sheet

• Computer Science Resources by Kim S. Larsen

• Mathematical Resources by Andrerw Swann

• Wikibook

• PracTex journal

• A package for producing graphics

• Use and search of picutres

• Color Brewer

For PhD students

• 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

Reviewing

• 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

• to check

• @ Purdue University

• The Purdue online writing Lab

• Role of the session chair

• Book reviewer

References

• Comparison of reference management software

Bibliometrics

• Best Paper Awards in Computer Science (since 1996)

• Bibliometrics / Bibliometri

• Conference Ranking

• Journal ranking in computer science

• Journal ranking in operations research

• Publish or Perish

Graph Theory Books

• 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

Software for Graphs

• Brendan McKay's exhaustive generation of isomorphic and automorphic graphs

• Graph classes in Information System on Graph Class Inclusions

Links to large graph generators

• 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)

• Randgraph Command line tools generating various families of random graphs (e.g, bullseye, hierarchical) in a simple text format. Seth Pettie, Algorithms and Complexity Group - Max Planck Institut fuer Informatik and Vijaya Ramachandran, Department of Computer Sciences

  • The University of Texas at Austin

• The Graph Database

Python tools

• Pylint source code, bug and quality checker

• logging

C++ Libraries

• List of Open Source C++ Libraries

• Boost (RCSP)

• LEDA (not anymore free)

Graph drawing libraries

• Graphviz - Graph Visualization Software AT&T Research

• Open Graph Drawing Framework

• GraphML Postscript converter for visualisation. Dorothea Wagner, Algorithmics Group - Universitaet Karlsruhe Germany (not maintained)

• Ubigraphs

• Tulip

• igraph

• igraph for R

• graph theory maple

• Hypertree Animations

• Dealing with phylogenetic trees - a "comprehensive list"

• NetworkX for python

• Google Map for geographical data

Mathematical Software

• 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]

Math Programming

• Max-Flow Min-Cut

• Algorithm Animations for Practical Optimization

Constraint Programming

• Gecode

• Operations Research Tools developed at Google

Further Software

• Plagiarism Detecting Software

• 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.

• Graph Algorithms

• Statistics

• Search Landscape Visualization

• Polyhedra world

R

• Local Directory

• Quick R

• Vistat

Java

• Profiling CPU usage from within a Java Timer for Java

• Control and profiling of threads in Java

• API for parsing command line options in Java

Programming Tools

• Javascript

• D3 Video Tutorial

• C++ reference manual

• 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++

• stdint.h

• Wiki markup

• GNU makefile

• GNU coreutils

• GIT workflow

• Computer Language Benchmark

• TIOBE Index

• Chaim-Leib Halbert. Python module intervaltree

Blogs

• Spaghetti Optimization

Animations and Visualizations

• Visualizing sorting algorithms

• Sorting algorithms: revisualization

• Graph Algorithms

• Statistics

• Gato, graph animation toolbox

• Animation show by Don Hertzfeldt :)

• Reinforcement Learning by Sutton and Barto

Games

• The SAT Game

• Kalaha

• TSP like by rogopuzzle

Collection of CS/OR videos

• Steven Jobs's Stanford Address, 2005: Video (youtube.com) | Text

• Randy Pausch's Last Lecture