<p>In addition to what others say, I like the package <a href="http://www.ctan.org/tex-archive/macros/latex/contrib/todonotes/">todonotes</a> for LaTeX that allows to have colorful reminders of what remains to do <em>in the text</em>.</p>

CC BY-SA 2.5
2010-10-19T14:15:52.767Z
ooh. nice package !
Suresh Venkat
CC BY-SA 2.5
2010-10-19T13:21:35.740Z
2010-10-19T13:21:35.740Z
Raphael
<p>For writing: </p>

<ul>
<li>xemacs+auctex+reftex (can't live without it), or kile. </li>
</ul>

<p>For managing multiple authors:</p>

<ul>
<li>an svn repository: <a href="http://geomblog.blogspot.com/2010/02/papers-and-svn.html">(more details here</a>)</li>
<li>and what I'd really like is a lightweight 'bug-tracker' software to overlay on top, so it's easy to track TODO items in the last few days before a deadline</li>
</ul>

<p>For managing bibs:</p>

<ul>
<li>I occasionally have used Mendeley and Citeulike, but I still cannot find the right workflow model to get them to work systematically. So it's still by hand. </li>
</ul>

<p>For making talks:</p>

<ul>
<li>Beamer for slides, inkscape/ipe/tikz for figures (tikz is actually great for plotting (data) graphs with fonts that integrate with the text, even in papers)</li>
</ul>

CC BY-SA 3.0
2011-08-18T12:56:40.863Z
If you are already using emacs, [Org-Mode](http://orgmode.org) is perfect for to-do lists.
Martin Berger
CC BY-SA 2.5
2010-10-18T15:28:46.493Z
I use Mendeley to organize the papers on my computer--which I think it is *GREAT* for--but not for actual bibliography management when writing papers.  For that I just use BiBTeX by hand.
Joshua Grochow
CC BY-SA 2.5
2010-10-17T17:04:13.580Z
2010-10-17T19:43:12.793Z
2010-10-17T19:43:12.793Z
Suresh Venkat
<p>I use:</p>

<ul>
<li>TeXShop (OS X pdflatex editing environment)</li>
<li>Custom OS X software I wrote for managing BibTeX files</li>
<li>Adobe Illustrator for most figures (with occasional figures done in other software)</li>
<li>Adobe InDesign for making talk slides as pdf files</li>
<li>cvs or occasionally svn, both for synching my home and work computers and for coordinating edits with co-authors</li>
</ul>

CC BY-SA 3.0
2013-03-04T22:08:45.240Z
An update: since writing this I've switched to using beamer in pdflatex for talk slides, and git instead of cvs/svn (in part because of the ease of maintaining my own git server with gitolite). The rest is still the same.
David Eppstein
CC BY-SA 2.5
2010-10-17T19:27:40.173Z
2010-10-17T19:27:40.173Z
David Eppstein
<p>My list (all Mac OS X):</p>

<ul>
<li>TextMate for editing</li>
<li>pdflatex (called from textmate)</li>
<li>no special bibtex management</li>
<li>svn: a different repository for each collaboration or project</li>
<li>omnigraffle or, more frequently these days, tikz for figures</li>
<li>AquaEmacs for Coq interaction</li>
<li>Slides done using beamer if there's a lot of math or Keynote if not.</li>
<li>Word and Powerpoint for admin and talks with funding agencies etc.</li>
</ul>

CC BY-SA 2.5
2010-10-17T20:07:29.440Z
2010-10-17T21:18:57.550Z
2010-10-17T21:18:57.550Z
Dave Clarke
<p>I use many of the tools already mentioned, so I'll just mention some of the more useful ones that <em>haven't</em> yet been mentioned:</p>

<ul>
<li><p>Frank Drewes's <a href="http://www8.cs.umu.se/~drewes/graphs/" rel="nofollow">graphs</a> package for LaTeX.  Great for drawing graphs (the vertices-and-edges kind, not the function kind). Simple syntax, but very customizable.</p></li>
<li><p><a href="http://git-scm.com/" rel="nofollow">GIT</a> instead of SVN.  I used to use SVN but have since been converted to GIT.</p></li>
<li><p>On a Windows machine, I like <a href="http://www.texniccenter.org/" rel="nofollow">TeXnicCenter</a> (which is built on top of MikTeX and BibTeX).  (On *nix systems I just use emacs/bibtex.)</p></li>
<li><p>Even on a Windows machine, I use <a href="http://aspell.net/" rel="nofollow">aspell</a> for spell-checking, inside <a href="http://cygwin.org/" rel="nofollow">Cygwin</a> (a really excellent *nix terminal/package manager emulator).</p></li>
</ul>

CC BY-SA 3.0
2010-10-18T15:36:24.300Z
2011-08-21T16:34:43.943Z
2011-08-21T16:34:43.943Z
Joshua Grochow
<p>Currently I use WinEdt and TeXworks for editing (depending on which computer I'm on). </p>

<p>For figures, I typically use IPE. Some people I know have had success using GasTeX for drawing graphs. </p>

<p>For synchronizing common files across multiple computers, as well as multiple-author papers, I have recently started using <a href="http://www.dropbox.com/referrals/NTc4NzEyNjM5">Dropbox</a> and I think it's awesome.</p>

CC BY-SA 2.5
2010-10-18T06:31:49.620Z
2010-10-18T06:31:49.620Z
Ryan Williams
<p>I use kile to edit/compile latex. It's a nice kde gui, with auto-completion and spell checking as you type. <a href="http://kile.sourceforge.net/">http://kile.sourceforge.net/</a></p>

CC BY-SA 3.0
2011-08-18T10:25:52.140Z
Yes, I particularly like kile.
Joe Fitzsimons
CC BY-SA 2.5
2010-10-18T20:06:24.000Z
2010-10-18T20:06:24.000Z
Guilherme D. da Fonseca
<p>Emacs, auctex, bibtex, ipe, okular, pdflatex (texlive), tcsh scripts (for version control), linux, and brain. Not necessarily in this order.</p>

CC BY-SA 2.5
2010-10-19T01:37:03.870Z
I also use emacs + auctex + pdflatex but with gnome, not kde, on (Ubuntu) linux.  The default pdf viewer on gnome is evince, which is great in some ways (e.g., auto-refresh), but it swallows a lot of memory when many pdf's are open, as is pretty common with me.  I haven't found any good replacements.  Are there any?
arnab
CC BY-SA 2.5
2010-10-19T02:14:54.670Z
Did you try okular? Its pretty good.
Sariel Har-Peled
CC BY-SA 2.5
2010-10-18T13:29:31.580Z
2010-10-18T13:29:31.580Z
Sariel Har-Peled
<p>For creating figures I love using <a href="http://asymptote.sourceforge.net" rel="nofollow">Asymptote</a>. It's a graph programming language (C++-style syntax) that produces pdf's (or ps). With a few lines can generate very complex graphs, and the whole compilation process can be easily managed with a Makefile (so with a single "make" you can compile a simulator, generate the data, from the data obtain a plot and include the plot in the final pdf...).</p>

CC BY-SA 2.5
2010-10-18T13:09:24.627Z
2010-10-18T13:09:24.627Z
cesco
<h3>Editor</h3>
<p>In Linux, I usually use <a href="http://kile.sourceforge.net/" rel="nofollow noreferrer">Kile</a>, but there is no <em>nice</em> port of Kile to other operation systems.
So in Windows I use <a href="http://latexeditor.org/" rel="nofollow noreferrer">LEd</a> (which was also very helpful in learning LaTeX when I first started).</p>
<p>I sometimes use <a href="http://www.xm1math.net/texmaker/" rel="nofollow noreferrer">TeXMaker</a> and will hopefully switch from LEd to TeXMaker completely (LEd is not open-source and is not actively developed; TeXMaker is open-source, actively developed, and also works on other operating systems.).</p>
<p>There is also a fork of TeXMaker that I have not tried yet: <a href="http://texmakerx.sourceforge.net/" rel="nofollow noreferrer">TexMakerX</a>.</p>
<h3>Bib management</h3>
<p><a href="http://jabref.sourceforge.net/" rel="nofollow noreferrer">JabRef</a></p>

CC BY-SA 3.0
2011-08-21T12:33:25.073Z
TeXMakerX is now called "TeX Studio".
Sadeq Dousti
CC BY-SA 2.5
2010-10-19T00:33:39.017Z
2010-10-19T00:33:39.017Z
2020-06-17T09:38:08.363Z
Kaveh
<p>I like Bakoma it is a really good graphical interface for latex</p>

CC BY-SA 2.5
2010-10-19T00:19:06.050Z
2010-10-19T00:19:06.050Z
Klim
<p>All my work is done on Mac OS X using Aquamacs Emacs with AUCTeX and refTeX for LaTeX editing as well as org-mode for TODO lists, tracking things, making agendas, and simple spreadsheet stuff. Cocoaspell for spell checking (integrates nicely into all Mac applications including Aquamacs since version 22, great if you have to check more than one language). On the LaTeX side it's mostly TikZ/PGF for graphics (although I'm looking for an alternative that makes some of the things I do regularly easier). For managing documents and keeping in sync there's git (and egg or magit for using git with Emacs). BibDesk for managing papers and associated PDFs. Presentation slides either using LaTeX Beamer or Apple Keynote. Keynote is also great for presenting PDF slides after converting the free tool PDFtoKeynote. Especially useful for presenting slides you don't know too well you can customize the preview screen with next slide, timer, etc. Highly recommended. Having a WebDAV volume for quickly moving files from A to B is very useful, too, especially if only have access to either A or B at one time.</p>

CC BY-SA 3.0
2011-08-21T09:33:12.223Z
2011-08-21T09:33:12.223Z
Thomas S.
<p>Curiously enough nobody mentioned <a href="http://tug.org/PSTricks/main.cgi/" rel="nofollow">ps-tricks</a> I could not live without it! </p>

<p>With ps-tricks you create code for your own images so that they can be reused in the papers for the conferences, then for the talks, then for the extended version of the journal paper and so on. The rendering is perfect and the final quality is impeccable. There is no trouble when using ps-tricks with LaTeX but when using pdflatex you have to go through a number of workaroundds (see a previous post in the TeX area of the stackexchange under the paragraph "How to use PSTricks in pdfLaTeX?")</p>

<p>If you use Mac OS X (as I do) I do highly recommend a commercial piece of software: Papers</p>

<p>While it does not allow you to share the documents as Mendeley (already cited) it is wonderful to tag all your files and arrange all the pdf files in your computer. Besides, it offers a handful of services for automatically creating lists of references, searches, etc.</p>

<p>Finally, using SVN is a must to me as well! In addition to the suggestions made in the page pointed to by Suresh Venkat, I do highly recommend having a look at the permissions mechanisms of SVN. One of the most useful features of SVN is that it is feasible to allow different people different sorts of accesses. Since I have a unique svn server for all my papers this feature allows me to cooperate with different co-authors simultaneously just providing them access to specific points of my repository. For more details check out the <a href="http://svnbook.red-bean.com/" rel="nofollow">public O'really manual</a></p>

<p>This is my very first post here, hope it helps!</p>

<p>Cheers,</p>

CC BY-SA 3.0
2011-08-18T12:59:58.550Z
The [Tikz](http://www.texample.net/tikz/) package is similar to the ps-tricks one. It's incredibly powerful, portable and basically defines a small domain-specific language for drawing inline figures.
Beef
CC BY-SA 3.0
2011-08-28T15:11:24.250Z
Honestly speaking, I never heard of Tikz before so I checkef out and I will surely move to Tikz now :) Thanks for the comment
Carlos Linares López
CC BY-SA 3.0
2011-08-18T10:18:19.547Z
2011-08-18T10:18:19.547Z
Carlos Linares López
<p>My favorite set:  MikTex  + Eclipse/Texlipse + SumatraPDF  (all in Windows)
Set up instructions can be found here
<a href="http://teakes.blogspot.com/2009/08/setting-up-texlipse-and-sumatra-pdf.html" rel="nofollow">http://teakes.blogspot.com/2009/08/setting-up-texlipse-and-sumatra-pdf.html</a></p>

CC BY-SA 3.0
2011-10-18T19:04:55.477Z
2011-10-18T19:04:55.477Z
Thang Dinh
<p>This is my (biased) list of tools:</p>

<ul>
<li><p>Isabelle/jEdit for editing the source (both formal <code>.thy</code> and informal <code>.tex</code>, while <code>.thy</code> is the majority).</p></li>
<li><p>Isabelle document preparation (which uses pdflatex at the bottom) for the formal to informal transition and typesetting.</p></li>
<li><p>The same with <code>foiltex</code> for slides.</p></li>
<li><p>Mercurial (sometimes SVN) for version management.</p></li>
</ul>

<p>Note that normally all the papers, theses, books you see published by Isabelle power-users are done with the system itself.</p>

CC BY-SA 3.0
2013-03-04T11:25:39.893Z
2013-03-04T11:25:39.893Z
Makarius
<p>Google Scholar has BibTeX citations for (almost all?) research papers. When you search for a paper (e.g. <a href="http://scholar.google.com/scholar?q=Entscheidungsproblem" rel="nofollow">http://scholar.google.com/scholar?q=Entscheidungsproblem</a>), each result has a link called "Cite" which has an option for "Import into BibTeX". (Edit: as per comments, these are of course usually not complete -- you may often need to make edits or additions.)</p>

<p>If you are signed into a Google account, then on the <a href="http://scholar.google.com/" rel="nofollow">scholar homepage</a>, you can go to "Settings" --> "Show links to import citations into BibTeX" to make this a one-click operation from the search results page.</p>

<p>Edit: Forgot to mention, the <a href="http://dl.acm.org/" rel="nofollow">ACM Digital library</a> also has this feature. Look for "Export formats" on the right side of the page. Other sites do too (see the comments) but these are the ones I use most frequently because they are quickest and most likely to have a reference.</p>

CC BY-SA 3.0
2013-03-05T07:26:32.833Z
Google Scholar's BibTeX needs _serious_ editing before it can be used in a paper.  Honestly, you're better off typing the BibTeX record yourself.
Jeffε
CC BY-SA 3.0
2013-03-05T13:47:55.840Z
Google Scholar is not alone in this. Machine-generated BibTeX records are offered by e.g. DBLP, Citeseer, Wikipedia, and some journals, and they are all broken (I’d say DBLP is the closest one to being actually usable). Makes me wonder what’s the reason behind this, I would think it cannot be *so* hard to do it properly.
Emil Jeřábek
CC BY-SA 3.0
2013-03-05T15:41:26.620Z
@JɛﬀE: I find it much faster to copy and paste the record and edit/add information as needed than to start from scratch. Your experience may be different.
usul
CC BY-SA 3.0
2013-03-05T16:13:14.863Z
Scholar used to be terrible, then it went away, and in its new incarnation it does seem more useful.  Depending on workflow, it might be faster to use it as a basis.
András Salamon
CC BY-SA 3.0
2013-03-04T17:08:08.193Z
2013-03-05T15:42:24.733Z
2013-03-05T15:42:24.733Z
usul
<blockquote>
  <p>What tools do you use to write
  papers?</p>
</blockquote>

<p>From the little experience that I have, theoreticians spend a large amount of time writing and refining papers, besides actually being creative. That is, communicating their work to other people. Maybe papers are not the right way to do so, but that should be left for another discussion. In any case, it seems like one wants to reduce the time spent writing up the results by using as good software tools as possible. So, this questions aims at finding out about some hidden treasures out there.</p>

<p>I think most of us use LaTeX and some system for organizing paper references. But there are also vim/emacs and some very nifty libraries which have been a huge time saver for me. Therefore I wanted to know about the setup you use for writing papers, and maybe also some things you've tried to learn and didn't work for you. I would be especially interested in things which might not be as well known but have turned out to speed up things, even if it is, say, some very specific software for drawing graphs or auto-completion features.</p>

<p>Don Knuth tells about his setup in an interview <a href="http://www.informit.com/articles/article.aspx?p=1193856" rel="noreferrer">here</a>. Search for the question "<em>What set of tools do you use [...]</em>".</p>

<p>UPDATE: Sadeq pointed me to a discussion about tools for drawing diagrams <a href="https://cstheory.stackexchange.com/questions/1677/what-is-the-recommended-software-for-drawing-data-structures-such-as-graphs-and-t">here</a>.</p>

CC BY-SA 2.5
2010-10-17T15:03:31.987Z
You may found this related topic useful: http://cstheory.stackexchange.com/q/1677/873
Sadeq Dousti
CC BY-SA 2.5
2010-10-17T16:04:03.567Z
if you need a CW flag; just flag the post for moderator attention after it's posted. No need to put it in the question's text. :)
Daniel Apon
CC BY-SA 2.5
2010-10-17T16:10:02.983Z
d'oh, didn't see that link. Thanks Daniel.
Michael
<soft-question><big-list><research-practice><writing>
What tools do you use to write papers?
Michael
# What tools do you use to write papers?

(Asked by: username_0 on 2010-10-17)

> What tools do you use to write
> papers?

From the little experience that I have, theoreticians spend a large amount of time writing and refining papers, besides actually being creative. That is, communicating their work to other people. Maybe papers are not the right way to do so, but that should be left for another discussion. In any case, it seems like one wants to reduce the time spent writing up the results by using as good software tools as possible. So, this questions aims at finding out about some hidden treasures out there.

I think most of us use LaTeX and some system for organizing paper references. But there are also vim/emacs and some very nifty libraries which have been a huge time saver for me. Therefore I wanted to know about the setup you use for writing papers, and maybe also some things you've tried to learn and didn't work for you. I would be especially interested in things which might not be as well known but have turned out to speed up things, even if it is, say, some very specific software for drawing graphs or auto-completion features.

Don Knuth tells about his setup in an interview [here](http://www.informit.com/articles/article.aspx?p=1193856). Search for the question "*What set of tools do you use [...]*".

UPDATE: Sadeq pointed me to a discussion about tools for drawing diagrams [here](https://cstheory.stackexchange.com/questions/1677/what-is-the-recommended-software-for-drawing-data-structures-such-as-graphs-and-t).

**Tags:** soft-question, big-list, research-practice, writing
> **Comments:**
> **username_1**: You may found this related topic useful: http://cstheory.stackexchange.com/q/1677/873  
> **username_2**: if you need a CW flag; just flag the post for moderator attention after it's posted. No need to put it in the question's text. :)  
> **username_0**: d'oh, didn't see that link. Thanks Daniel.  

---

## 16 answers

### Answer by username_3 on 2010-10-19. Score: 22

In addition to what others say, I like the package [todonotes](http://www.ctan.org/tex-archive/macros/latex/contrib/todonotes/) for LaTeX that allows to have colorful reminders of what remains to do *in the text*.

> **Comments:**
> **username_4**: ooh. nice package !  

---

### Answer by username_4 on 2010-10-17. Score: 16

For writing:

* xemacs+auctex+reftex (can't live without it), or kile.

For managing multiple authors:

* an svn repository: [(more details here](http://geomblog.blogspot.com/2010/02/papers-and-svn.html))
* and what I'd really like is a lightweight 'bug-tracker' software to overlay on top, so it's easy to track TODO items in the last few days before a deadline

For managing bibs:

* I occasionally have used Mendeley and Citeulike, but I still cannot find the right workflow model to get them to work systematically. So it's still by hand.

For making talks:

* Beamer for slides, inkscape/ipe/tikz for figures (tikz is actually great for plotting (data) graphs with fonts that integrate with the text, even in papers)

> **Comments:**
> **username_6**: I use Mendeley to organize the papers on my computer--which I think it is *GREAT* for--but not for actual bibliography management when writing papers.  For that I just use BiBTeX by hand.  
> **username_5**: If you are already using emacs, [Org-Mode](http://orgmode.org) is perfect for to-do lists.  

---

### Answer by username_7 on 2010-10-17. Score: 12

I use:

* TeXShop (OS X pdflatex editing environment)
* Custom OS X software I wrote for managing BibTeX files
* Adobe Illustrator for most figures (with occasional figures done in other software)
* Adobe InDesign for making talk slides as pdf files
* cvs or occasionally svn, both for synching my home and work computers and for coordinating edits with co-authors

> **Comments:**
> **username_7**: An update: since writing this I've switched to using beamer in pdflatex for talk slides, and git instead of cvs/svn (in part because of the ease of maintaining my own git server with gitolite). The rest is still the same.  

---

### Answer by username_8 on 2010-10-17. Score: 11

My list (all Mac OS X):

* TextMate for editing
* pdflatex (called from textmate)
* no special bibtex management
* svn: a different repository for each collaboration or project
* omnigraffle or, more frequently these days, tikz for figures
* AquaEmacs for Coq interaction
* Slides done using beamer if there's a lot of math or Keynote if not.
* Word and Powerpoint for admin and talks with funding agencies etc.


---

### Answer by username_6 on 2010-10-18. Score: 9

I use many of the tools already mentioned, so I'll just mention some of the more useful ones that *haven't* yet been mentioned:

* Frank Drewes's [graphs](http://www8.cs.umu.se/~drewes/graphs/) package for LaTeX. Great for drawing graphs (the vertices-and-edges kind, not the function kind). Simple syntax, but very customizable.
* [GIT](http://git-scm.com/) instead of SVN. I used to use SVN but have since been converted to GIT.
* On a Windows machine, I like [TeXnicCenter](http://www.texniccenter.org/) (which is built on top of MikTeX and BibTeX). (On \*nix systems I just use emacs/bibtex.)
* Even on a Windows machine, I use [aspell](http://aspell.net/) for spell-checking, inside [Cygwin](http://cygwin.org/) (a really excellent \*nix terminal/package manager emulator).


---

### Answer by username_9 on 2010-10-18. Score: 8

Currently I use WinEdt and TeXworks for editing (depending on which computer I'm on).

For figures, I typically use IPE. Some people I know have had success using GasTeX for drawing graphs.

For synchronizing common files across multiple computers, as well as multiple-author papers, I have recently started using [Dropbox](http://www.dropbox.com/referrals/NTc4NzEyNjM5) and I think it's awesome.


---

### Answer by username_10 on 2010-10-18. Score: 8

I use kile to edit/compile latex. It's a nice kde gui, with auto-completion and spell checking as you type. <http://kile.sourceforge.net/>

> **Comments:**
> **username_11**: Yes, I particularly like kile.  

---

### Answer by username_12 on 2010-10-18. Score: 6

Emacs, auctex, bibtex, ipe, okular, pdflatex (texlive), tcsh scripts (for version control), linux, and brain. Not necessarily in this order.

> **Comments:**
> **username_13**: I also use emacs + auctex + pdflatex but with gnome, not kde, on (Ubuntu) linux.  The default pdf viewer on gnome is evince, which is great in some ways (e.g., auto-refresh), but it swallows a lot of memory when many pdf's are open, as is pretty common with me.  I haven't found any good replacements.  Are there any?  
> **username_12**: Did you try okular? Its pretty good.  

---

### Answer by username_16 on 2010-10-19. Score: 5

I like Bakoma it is a really good graphical interface for latex


---

### Answer by username_14 on 2010-10-18. Score: 4

For creating figures I love using [Asymptote](http://asymptote.sourceforge.net). It's a graph programming language (C++-style syntax) that produces pdf's (or ps). With a few lines can generate very complex graphs, and the whole compilation process can be easily managed with a Makefile (so with a single "make" you can compile a simulator, generate the data, from the data obtain a plot and include the plot in the final pdf...).


---

### Answer by username_15 on 2010-10-19. Score: 4

### Editor

In Linux, I usually use [Kile](http://kile.sourceforge.net/), but there is no *nice* port of Kile to other operation systems.
So in Windows I use [LEd](http://latexeditor.org/) (which was also very helpful in learning LaTeX when I first started).

I sometimes use [TeXMaker](http://www.xm1math.net/texmaker/) and will hopefully switch from LEd to TeXMaker completely (LEd is not open-source and is not actively developed; TeXMaker is open-source, actively developed, and also works on other operating systems.).

There is also a fork of TeXMaker that I have not tried yet: [TexMakerX](http://texmakerx.sourceforge.net/).

### Bib management

[JabRef](http://jabref.sourceforge.net/)

> **Comments:**
> **username_1**: TeXMakerX is now called "TeX Studio".  

---

### Answer by username_17 on 2011-08-21. Score: 3

All my work is done on Mac OS X using Aquamacs Emacs with AUCTeX and refTeX for LaTeX editing as well as org-mode for TODO lists, tracking things, making agendas, and simple spreadsheet stuff. Cocoaspell for spell checking (integrates nicely into all Mac applications including Aquamacs since version 22, great if you have to check more than one language). On the LaTeX side it's mostly TikZ/PGF for graphics (although I'm looking for an alternative that makes some of the things I do regularly easier). For managing documents and keeping in sync there's git (and egg or magit for using git with Emacs). BibDesk for managing papers and associated PDFs. Presentation slides either using LaTeX Beamer or Apple Keynote. Keynote is also great for presenting PDF slides after converting the free tool PDFtoKeynote. Especially useful for presenting slides you don't know too well you can customize the preview screen with next slide, timer, etc. Highly recommended. Having a WebDAV volume for quickly moving files from A to B is very useful, too, especially if only have access to either A or B at one time.


---

### Answer by username_18 on 2011-08-18. Score: 2

Curiously enough nobody mentioned [ps-tricks](http://tug.org/PSTricks/main.cgi/) I could not live without it!

With ps-tricks you create code for your own images so that they can be reused in the papers for the conferences, then for the talks, then for the extended version of the journal paper and so on. The rendering is perfect and the final quality is impeccable. There is no trouble when using ps-tricks with LaTeX but when using pdflatex you have to go through a number of workaroundds (see a previous post in the TeX area of the stackexchange under the paragraph "How to use PSTricks in pdfLaTeX?")

If you use Mac OS X (as I do) I do highly recommend a commercial piece of software: Papers

While it does not allow you to share the documents as Mendeley (already cited) it is wonderful to tag all your files and arrange all the pdf files in your computer. Besides, it offers a handful of services for automatically creating lists of references, searches, etc.

Finally, using SVN is a must to me as well! In addition to the suggestions made in the page pointed to by Suresh Venkat, I do highly recommend having a look at the permissions mechanisms of SVN. One of the most useful features of SVN is that it is feasible to allow different people different sorts of accesses. Since I have a unique svn server for all my papers this feature allows me to cooperate with different co-authors simultaneously just providing them access to specific points of my repository. For more details check out the [public O'really manual](http://svnbook.red-bean.com/)

This is my very first post here, hope it helps!

Cheers,

> **Comments:**
> **username_19**: The [Tikz](http://www.texample.net/tikz/) package is similar to the ps-tricks one. It's incredibly powerful, portable and basically defines a small domain-specific language for drawing inline figures.  
> **username_18**: Honestly speaking, I never heard of Tikz before so I checkef out and I will surely move to Tikz now :) Thanks for the comment  

---

### Answer by username_20 on 2011-10-18. Score: 2

My favorite set: MikTex + Eclipse/Texlipse + SumatraPDF (all in Windows)
Set up instructions can be found here
<http://teakes.blogspot.com/2009/08/setting-up-texlipse-and-sumatra-pdf.html>


---

### Answer by username_21 on 2013-03-04. Score: 1

This is my (biased) list of tools:

* Isabelle/jEdit for editing the source (both formal `.thy` and informal `.tex`, while `.thy` is the majority).
* Isabelle document preparation (which uses pdflatex at the bottom) for the formal to informal transition and typesetting.
* The same with `foiltex` for slides.
* Mercurial (sometimes SVN) for version management.

Note that normally all the papers, theses, books you see published by Isabelle power-users are done with the system itself.


---

### Answer by username_22 on 2013-03-04. Score: 0

Google Scholar has BibTeX citations for (almost all?) research papers. When you search for a paper (e.g. <http://scholar.google.com/scholar?q=Entscheidungsproblem>), each result has a link called "Cite" which has an option for "Import into BibTeX". (Edit: as per comments, these are of course usually not complete -- you may often need to make edits or additions.)

If you are signed into a Google account, then on the [scholar homepage](http://scholar.google.com/), you can go to "Settings" --> "Show links to import citations into BibTeX" to make this a one-click operation from the search results page.

Edit: Forgot to mention, the [ACM Digital library](http://dl.acm.org/) also has this feature. Look for "Export formats" on the right side of the page. Other sites do too (see the comments) but these are the ones I use most frequently because they are quickest and most likely to have a reference.

> **Comments:**
> **username_23**: Google Scholar's BibTeX needs _serious_ editing before it can be used in a paper.  Honestly, you're better off typing the BibTeX record yourself.  
> **username_24**: Google Scholar is not alone in this. Machine-generated BibTeX records are offered by e.g. DBLP, Citeseer, Wikipedia, and some journals, and they are all broken (I’d say DBLP is the closest one to being actually usable). Makes me wonder what’s the reason behind this, I would think it cannot be *so* hard to do it properly.  
> **username_22**: @JɛﬀE: I find it much faster to copy and paste the record and edit/add information as needed than to start from scratch. Your experience may be different.  
> **username_25**: Scholar used to be terrible, then it went away, and in its new incarnation it does seem more useful.  Depending on workflow, it might be faster to use it as a basis.  

---

