# Collection of Links

This page collects external links, useful for projects with Marco Chiarandini ## SDU regulations## Ideas for thesis and projects## Writing- 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
- 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
*That vs which*: extracts from Thomson and Martinet, A Practical English Grammar and Williams and Colomb. Style: Lessons in Clarity and Grace.
## Tex## 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## Bibliometrics## 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## 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
## C++ Libraries## 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- CPLEX for academics from the IBM web page and License key. You probably need to register and get recognised as acedemic. (Issue when installing in ubuntu: solved by @<code>export PS1="> "@</code> before launching the installer) You need to set this before working: @<br> @<code>export ILOG_LICENSE_FILE=/home/marco/opt/ilog/access.ilm@</code> @<br> Online manual
## Constraint Programming## Software for implementing metaheuristics- Comet (see also local information)
- Paradiseo
- EasyLocal++
## Further Software- Detecting Software Plagiarism
- 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.
- Construction heuristics and 2-opt for TSP
- Graph Algorithms
- Simulated Annealing on TSP
- Annealing schedule simulation
- SA and ACO
- Statistics
- Search Landscape Visualization
- Polyhedra world
## Programming Tools- 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
## Blogs## Animations and Visualizations## Metaheuristics- Search Landscape Visualization
- TSP nearest neighbor
- Construction heuristics and 2-opt for TSP
- Tabu Search with 2-opt for Traveling Salesman
- Tabu Search with Random Restart for QAP
- Simulated Annealing on TSP
- Annealing schedule simulation
- Simulated Annealing and Ant Colony Optimization on TSP
- Heuristics for TSP
## Collection of CS/OR videos- Steven Jobs's Stanford Address, 2005: Video (youtube.com) | Text
- Randy Pausch's Last Lecture
Created: 2016-07-07 Thu 11:02 |