
@Misc{TeXmacs:website,
  author = 	 {Hoeven, J. van der and others},
  title = 	 {{GNU} {TeXmacs}},
  howpublished = {\url{http://www.texmacs.org}},
  year = 	 {1998}
}

@Manual{TeXmacs:manual,
  title =        {{GNU} {TeXmacs} User Manual},
  author = 	 {Hoeven, J. van der},
  year =         {1998},
  note =         {Available from \url{http://www.texmacs.org}}
}

@InProceedings{TeXmacs:vdH:2001,
  author = 	 {Hoeven, J. van der},
  title = 	 {{GNU} {TeXmacs}: A free, structured, wysiwyg and
                  technical text editor},
  booktitle = 	 {Le document au XXI-i\`eme si\`ecle},
  pages = 	 {39--50},
  year = 	 {2001},
  editor = 	 {Daniel Filipo},
  volume = 	 {39--40},
  address = 	 {Metz},
  month = 	 {14--17 mai},
  note = 	 {Actes du congr\`es GUTenberg}
}

@InProceedings{TeXmacs:Grozin:2001,
  author = 	 {A. G. Grozin},
  title = 	 {{TeXmacs} interfaces to {Maxima}, {MuPAD} and {Reduce}},
  booktitle =    {Proc. Int. Workshop Computer algebra and
                  its application to physics},
  pages = 	 {149},
  year = 	 {2001},
  editor = 	 {V. P. Gerdt},
  series = 	 {JINR E5},
  number = 	 {11-2001-279},
  address = 	 {Dubna},
  month = 	 {June},
  note = 	 {Arxiv cs.SC/0107036}
}

@Misc{TeXmacs:Seidl:2003,
  author = 	 {A. Seidl},
  title = 	 {{TeXmacs} in 60 minutes},
  howpublished = {\verb|http://www.texmacs.org/tmweb/documents/tutorials/TeXmacs-in-60-minutes/tmtour.html|},
  year = 	 {2003}
}

@Article{TeXmacs:AR:2004,
  author = 	 {Ph. Audebaud and L. Rideau},
  title = 	 {TeXmacs as Authoring Tool for Formal Developments.},
  journal = 	 {Electr. Notes Theor. Comput. Sci.Volume},
  year = 	 {2004},
  volume = 	 {103},
  pages = 	 {27--48}
}

@InProceedings{TeXmacs:vdH:2005,
  author =       {Hoeven, J. van der},
  title =        {{GNU} {TeXmacs}},
  booktitle =    {Proc. ASCM},
  pages =        {252--254},
  year =         {2005},
  editor =       {Sung-il Pae and H. Park},
  address =      {Seoul, Korea},
  month =        {December},
  publisher =    {KIAS}
}

@Misc{TeXmacs:Grozin:2005,
  author = 	 {A. G. Grozin},
  title = 	 {{TeXmacs}-{Maxima} interface},
  howpublished = {Arxiv cs.SC/0506226},
  month = 	 {June},
  year = 	 {2005}
}

@Misc{TeXmacs:Ratier:2005,
  author = 	 {N. Ratier},
  title = 	 {{TeXmacs} Quick-Start Guide},
  howpublished = {\verb|http://www.texmacs.org/tmweb/documents/tutorials/TeXmacs-quick-start.pdf|},
  year = 	 {2005}
}

@InProceedings{TeXmacs:vdH1:2006,
  author =	{Hoeven, J. van der},
  title =	{{GNU} {TeXmacs}},
  booktitle =	{Challenges in Symbolic Computation Software},
  year =	{2006},
  editor =	{Wolfram Decker and Mike Dewar and Erich Kaltofen and Stephen Watt},
  number =	{06271},
  series =	{Dagstuhl Seminar Proceedings},
  ISSN =	{1862-4405},
  publisher =	{Internationales Begegnungs- und Forschungszentrum f{\"u}r Informatik (IBFI), Schloss Dagstuhl, Germany},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2006/767},
  annote =	{Keywords: Scientific text editor, Mathematics, Computer algebra system, Front-end}
}

@Misc{TeXmacs:vdH2:2006,
  author = 	 {Hoeven, J. van der},
  title = 	 {{GNU} {TeXmacs}: a scientific editing platform},
  howpublished = {\url{http://www.texmacs.org/Samples/texmacs.pdf}},
  year = 	 {2006}
}

@Misc{TeXmacs:vdH3:2006,
  author = 	 {Hoeven, J. van der},
  title = 	 {Conversions of a {TeXmacs} paper},
  howpublished = {\url{http://www.texmacs.org/Samples/Galois}},
  year = 	 {2006}
}

@InProceedings{TeXmacs:MG:2006,
  author = 	 {L. Mamane and H. Geuvers},
  title = 	 {A Document-Oriented {Coq} Plugin for {TeXmacs}},
  booktitle = {Mathematical User-Interfaces Workshop 2006},
  year = 	 {2006},
  address = 	 {St Anne's Manor, Workingham, UK}
}

@Article{TeXmacs:Grozin:2012,
  author    =    {A. G. Grozin},   
  title     =    {{TeXmacs}-{Reduce} interface},
  journal   =    {CoRR},
  volume    =    {abs/1204.3020},
  year      =    {2012},
  ee        =    {http://arxiv.org/abs/1204.3020}
}    

@Article{TeXmacs:HGGLPR:2012,
  author = 	 {Hoeven, J. van der and A. Grozin and M. Gubinelli and
                  G. Lecerf and F. Poulain and D. Raux},
  title = 	 {{GNU} {TeXmacs}: a scientific editing platform},
  journal =      {ACM Commun. Comput. Algebra},
  issue_date =   {March/June 2013},
  volume =       {47},
  number =       {1/2},
  year =         {2013},
  pages =        {59--61}
}

@TechReport{TeXmacs:HP:2014,
  author = 	 {Hoeven, J. van der and Poulain, F.},
  title = 	 {Conservative conversion between {LaTeX} and {TeXmacs}},
  institution =  {HAL},
  year = 	 {2014},
  note = 	 {\url{http://hal.archives-ouvertes.fr/hal-00952926}}
}

@inproceedings{TeXmacs:GHPR:2014,
  author    = {Gubinelli, M. and Hoeven, J. van der and
               Poulain, F. and Raux, D.},
  title     = {{GNU} {TeXmacs}: Towards a~Scientific Office Suite},
  booktitle = {Mathematical Software - {ICMS} 2014 - 4th International Congress,
               Seoul, South Korea, August 5-9, 2014. Proceedings},
  year      = {2014},
  pages     = {562--569}
}

@Article{TeXmacs:vdH:2015,
  author =       {Hoeven, J. van der},
  title =        {Towards semantic mathematical editing},
  journal =      {JSC},
  volume =       {71},
  pages =        {1--46},
  year =         {2015}
}

@InProceedings{TeXmacs:HLR:2015,
  author = 	 {Hoeven, J. van der and Lecerf, G. and Raux, D.},
  title = 	 {Preserving syntactic correctness
                  while editing mathematical formulas},
  booktitle =    {Proc. Applications of Computer Algebra 2015},
  year =         {2015},
  editor =       {Kotsireas, I. and Martínez-Moro, E.},
  series =       {Springer Proceedings in Mathematics and Statistics},
  volume =       {198},
  pages =        {459--471},
  publisher =    {Springer},
  address =      {Cham}
}

@Inproceedings{TeXmacs:vdH:2016,
  author =       {Hoeven, J. van der},
  editor =       {Greuel, Gert-Martin and Koch, Thorsten and
                  Paule, Peter and Sommese, Andrew},
  title =        {Mathematical Font Art},
  booktitle =    {Mathematical Software --
                  ICMS 2016: 5th International Conference, Berlin, Germany,
                  July 11-14, 2016, Proceedings},
  year =         {2016},
  publisher =    {Springer International Publishing},
  address =      {Cham},
  pages =        {522--529}
}
