BibTeX records: Thomas Sturm 0001

download as .bib file

@article{DBLP:journals/corr/BradfordDEEGGHK17,
  author    = {Russell J. Bradford and
               James H. Davenport and
               Matthew England and
               Hassan Errami and
               Vladimir P. Gerdt and
               Dima Grigoriev and
               Charles Hoyt and
               Marek Kosta and
               Ovidiu Radulescu and
               Thomas Sturm and
               Andreas Weber},
  title     = {A Case Study on the Parametric Occurrence of Multiple Steady States},
  journal   = {CoRR},
  volume    = {abs/1704.08997},
  year      = {2017},
  url       = {http://arxiv.org/abs/1704.08997},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/corr/BradfordDEEGGHK17},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/cca/AbrahamA0BBBCDE16,
  author    = {Erika {\'{A}}brah{\'{a}}m and
               John Abbott and
               Bernd Becker and
               Anna Maria Bigatti and
               Martin Brain and
               Bruno Buchberger and
               Alessandro Cimatti and
               James H. Davenport and
               Matthew England and
               Pascal Fontaine and
               Stephen Forrest and
               Alberto Griggio and
               Daniel Kroening and
               Werner M. Seiler and
               Thomas Sturm},
  title     = {Satisfiability checking and symbolic computation},
  journal   = {{ACM} Comm. Computer Algebra},
  volume    = {50},
  number    = {4},
  pages     = {145--147},
  year      = {2016},
  url       = {http://doi.acm.org/10.1145/3055282.3055285},
  doi       = {10.1145/3055282.3055285},
  timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/cca/AbrahamA0BBBCDE16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/corr/AbrahamABBBBCDE16,
  author    = {Erika {\'{A}}brah{\'{a}}m and
               John Abbott and
               Bernd Becker and
               Anna Maria Bigatti and
               Martin Brain and
               Bruno Buchberger and
               Alessandro Cimatti and
               James H. Davenport and
               Matthew England and
               Pascal Fontaine and
               Stephen Forrest and
               Alberto Griggio and
               Daniel Kroening and
               Werner M. Seiler and
               Thomas Sturm},
  title     = {Satisfiability Checking and Symbolic Computation},
  journal   = {CoRR},
  volume    = {abs/1607.06945},
  year      = {2016},
  url       = {http://arxiv.org/abs/1607.06945},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/corr/AbrahamABBBBCDE16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/corr/AbrahamABBBBCDE16a,
  author    = {Erika {\'{A}}brah{\'{a}}m and
               John Abbott and
               Bernd Becker and
               Anna Maria Bigatti and
               Martin Brain and
               Bruno Buchberger and
               Alessandro Cimatti and
               James H. Davenport and
               Matthew England and
               Pascal Fontaine and
               Stephen Forrest and
               Alberto Griggio and
               Daniel Kroening and
               Werner M. Seiler and
               Thomas Sturm},
  title     = {Satisfiability Checking meets Symbolic Computation (Project Paper)},
  journal   = {CoRR},
  volume    = {abs/1607.08028},
  year      = {2016},
  url       = {http://arxiv.org/abs/1607.08028},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/corr/AbrahamABBBBCDE16a},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/jsc/Kosta0D16,
  author    = {Marek Kosta and
               Thomas Sturm and
               Andreas Dolzmann},
  title     = {Better answers to real questions},
  journal   = {J. Symb. Comput.},
  volume    = {74},
  pages     = {255--275},
  year      = {2016},
  url       = {https://doi.org/10.1016/j.jsc.2015.07.002},
  doi       = {10.1016/j.jsc.2015.07.002},
  timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/jsc/Kosta0D16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/lics/0001VW16,
  author    = {Thomas Sturm and
               Marco Voigt and
               Christoph Weidenbach},
  title     = {Deciding First-Order Satisfiability when Universal and Existential
               Variables are Separated},
  booktitle = {Proceedings of the 31st Annual {ACM/IEEE} Symposium on Logic in Computer
               Science, {LICS} '16, New York, NY, USA, July 5-8, 2016},
  pages     = {86--95},
  year      = {2016},
  crossref  = {DBLP:conf/lics/2016},
  url       = {http://doi.acm.org/10.1145/2933575.2934532},
  doi       = {10.1145/2933575.2934532},
  timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/lics/0001VW16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/mkm/AbrahamABBBBCDE16,
  author    = {Erika {\'{A}}brah{\'{a}}m and
               John Abbott and
               Bernd Becker and
               Anna Maria Bigatti and
               Martin Brain and
               Bruno Buchberger and
               Alessandro Cimatti and
               James H. Davenport and
               Matthew England and
               Pascal Fontaine and
               Stephen Forrest and
               Alberto Griggio and
               Daniel Kroening and
               Werner M. Seiler and
               Thomas Sturm},
  title     = {SC\({}^{\mbox{2}}\): Satisfiability Checking Meets Symbolic Computation
               - (Project Paper)},
  booktitle = {Intelligent Computer Mathematics - 9th International Conference, {CICM}
               2016, Bialystok, Poland, July 25-29, 2016, Proceedings},
  pages     = {28--43},
  year      = {2016},
  crossref  = {DBLP:conf/mkm/2016},
  url       = {https://doi.org/10.1007/978-3-319-42547-4_3},
  doi       = {10.1007/978-3-319-42547-4_3},
  timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/mkm/AbrahamABBBBCDE16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/corr/Sturm15,
  author    = {Thomas Sturm},
  title     = {Subtropical Real Root Finding},
  journal   = {CoRR},
  volume    = {abs/1501.04836},
  year      = {2015},
  url       = {http://arxiv.org/abs/1501.04836},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/corr/Sturm15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/corr/KostaSD15,
  author    = {Marek Kosta and
               Thomas Sturm and
               Andreas Dolzmann},
  title     = {Better Answers to Real Questions},
  journal   = {CoRR},
  volume    = {abs/1501.05098},
  year      = {2015},
  url       = {http://arxiv.org/abs/1501.05098},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/corr/KostaSD15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/corr/KostaS15,
  author    = {Marek Kosta and
               Thomas Sturm},
  title     = {A Generalized Framework for Virtual Substitution},
  journal   = {CoRR},
  volume    = {abs/1501.05826},
  year      = {2015},
  url       = {http://arxiv.org/abs/1501.05826},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/corr/KostaS15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/corr/BrombergerSW15,
  author    = {Martin Bromberger and
               Thomas Sturm and
               Christoph Weidenbach},
  title     = {Linear Integer Arithmetic Revisited},
  journal   = {CoRR},
  volume    = {abs/1503.02948},
  year      = {2015},
  url       = {http://arxiv.org/abs/1503.02948},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/corr/BrombergerSW15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/corr/0001VW15,
  author    = {Thomas Sturm and
               Marco Voigt and
               Christoph Weidenbach},
  title     = {Deciding First-Order Satisfiability when Universal and Existential
               Variables are Separated},
  journal   = {CoRR},
  volume    = {abs/1511.08999},
  year      = {2015},
  url       = {http://arxiv.org/abs/1511.08999},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/corr/0001VW15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/AbrahamF0W15,
  author    = {Erika {\'{A}}brah{\'{a}}m and
               Pascal Fontaine and
               Thomas Sturm and
               Dongming Wang},
  title     = {Symbolic Computation and Satisfiability Checking (Dagstuhl Seminar
               15471)},
  journal   = {Dagstuhl Reports},
  volume    = {5},
  number    = {11},
  pages     = {71--89},
  year      = {2015},
  url       = {https://doi.org/10.4230/DagRep.5.11.71},
  doi       = {10.4230/DagRep.5.11.71},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/dagstuhl-reports/AbrahamF0W15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/jcphy/ErramiEGSS015,
  author    = {Hassan Errami and
               Markus Eiswirth and
               Dima Grigoriev and
               Werner M. Seiler and
               Thomas Sturm and
               Andreas Weber},
  title     = {Detection of Hopf bifurcations in chemical reaction networks using
               convex coordinates},
  journal   = {J. Comput. Physics},
  volume    = {291},
  pages     = {279--302},
  year      = {2015},
  url       = {https://doi.org/10.1016/j.jcp.2015.02.050},
  doi       = {10.1016/j.jcp.2015.02.050},
  timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/jcphy/ErramiEGSS015},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/mics/FontaineSW15,
  author    = {Pascal Fontaine and
               Thomas Sturm and
               Uwe Waldmann},
  title     = {Foreword to the Special Focus on Constraints and Combinations},
  journal   = {Mathematics in Computer Science},
  volume    = {9},
  number    = {3},
  pages     = {265},
  year      = {2015},
  url       = {https://doi.org/10.1007/s11786-015-0239-8},
  doi       = {10.1007/s11786-015-0239-8},
  timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/mics/FontaineSW15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/cade/Bromberger0W15,
  author    = {Martin Bromberger and
               Thomas Sturm and
               Christoph Weidenbach},
  title     = {Linear Integer Arithmetic Revisited},
  booktitle = {Automated Deduction - {CADE-25} - 25th International Conference on
               Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings},
  pages     = {623--637},
  year      = {2015},
  crossref  = {DBLP:conf/cade/2015},
  url       = {https://doi.org/10.1007/978-3-319-21401-6_42},
  doi       = {10.1007/978-3-319-21401-6_42},
  timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/cade/Bromberger0W15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/issac/Sturm15,
  author    = {Thomas Sturm},
  title     = {Subtropical Real Root Finding},
  booktitle = {Proceedings of the 2015 {ACM} on International Symposium on Symbolic
               and Algebraic Computation, {ISSAC} 2015, Bath, United Kingdom, July
               06 - 09, 2015},
  pages     = {347--354},
  year      = {2015},
  crossref  = {DBLP:conf/issac/2015},
  url       = {http://doi.acm.org/10.1145/2755996.2756677},
  doi       = {10.1145/2755996.2756677},
  timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/issac/Sturm15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/casc/KorovinKS14,
  author    = {Konstantin Korovin and
               Marek Kosta and
               Thomas Sturm},
  title     = {Towards Conflict-Driven Learning for Virtual Substitution},
  booktitle = {Computer Algebra in Scientific Computing - 16th International Workshop,
               {CASC} 2014, Warsaw, Poland, September 8-12, 2014. Proceedings},
  pages     = {256--270},
  year      = {2014},
  crossref  = {DBLP:conf/casc/2014},
  url       = {https://doi.org/10.1007/978-3-319-10515-4_19},
  doi       = {10.1007/978-3-319-10515-4_19},
  timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/casc/KorovinKS14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/smt/KostaSD14,
  author    = {Marek Kosta and
               Thomas Sturm and
               Andreas Dolzmann},
  title     = {Better Answers to Real Questions},
  booktitle = {Proceedings of the 12th International Workshop on Satisfiability Modulo
               Theories, {SMT} 2014, affiliated with the 26th International Conference
               on Computer Aided Verification {(CAV} 2014), the 7th International
               Joint Conference on Automated Reasoning {(IJCAR} 2014), and the 17th
               International Conference on Theory and Applications of Satisfiability
               Testing {(SAT} 2014), Vienna, Austria, July 17-18, 2014.},
  pages     = {69},
  year      = {2014},
  crossref  = {DBLP:conf/smt/2014},
  url       = {http://ceur-ws.org/Vol-1163/paper-12.pdf},
  timestamp = {Mon, 30 May 2016 16:28:37 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/smt/KostaSD14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/smt/KorovinKS14,
  author    = {Konstantin Korovin and
               Marek Kosta and
               Thomas Sturm},
  title     = {Towards Conflict-Driven Learning for Virtual Substitution},
  booktitle = {Proceedings of the 12th International Workshop on Satisfiability Modulo
               Theories, {SMT} 2014, affiliated with the 26th International Conference
               on Computer Aided Verification {(CAV} 2014), the 7th International
               Joint Conference on Automated Reasoning {(IJCAR} 2014), and the 17th
               International Conference on Theory and Applications of Satisfiability
               Testing {(SAT} 2014), Vienna, Austria, July 17-18, 2014.},
  pages     = {71},
  year      = {2014},
  crossref  = {DBLP:conf/smt/2014},
  url       = {http://ceur-ws.org/Vol-1163/paper-13.pdf},
  timestamp = {Mon, 30 May 2016 16:28:37 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/smt/KorovinKS14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/casc/ErramiEGSS013,
  author    = {Hassan Errami and
               Markus Eiswirth and
               Dima Grigoriev and
               Werner M. Seiler and
               Thomas Sturm and
               Andreas Weber},
  title     = {Efficient Methods to Compute Hopf Bifurcations in Chemical Reaction
               Networks Using Reaction Coordinates},
  booktitle = {Computer Algebra in Scientific Computing - 15th International Workshop,
               {CASC} 2013, Berlin, Germany, September 9-13, 2013. Proceedings},
  pages     = {88--99},
  year      = {2013},
  crossref  = {DBLP:conf/casc/2013},
  url       = {https://doi.org/10.1007/978-3-319-02297-0_7},
  doi       = {10.1007/978-3-319-02297-0_7},
  timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/casc/ErramiEGSS013},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/frocos/KarrenbergKS13,
  author    = {Ralf Karrenberg and
               Marek Kosta and
               Thomas Sturm},
  title     = {Presburger Arithmetic in Memory Access Optimization for Data-Parallel
               Languages},
  booktitle = {Frontiers of Combining Systems - 9th International Symposium, FroCoS
               2013, Nancy, France, September 18-20, 2013. Proceedings},
  pages     = {56--70},
  year      = {2013},
  crossref  = {DBLP:conf/frocos/2013},
  url       = {https://doi.org/10.1007/978-3-642-40885-4_5},
  doi       = {10.1007/978-3-642-40885-4_5},
  timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/frocos/KarrenbergKS13},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/BoulierSS012,
  author    = {Fran{\c{c}}ois Boulier and
               Anne Shiu and
               Thomas Sturm and
               Andreas Weber},
  title     = {Symbolic Methods for Chemical Reaction Networks (Dagstuhl Seminar
               12462)},
  journal   = {Dagstuhl Reports},
  volume    = {2},
  number    = {11},
  pages     = {66--86},
  year      = {2012},
  url       = {https://doi.org/10.4230/DagRep.2.11.66},
  doi       = {10.4230/DagRep.2.11.66},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/dagstuhl-reports/BoulierSS012},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/mics/RatschanS12,
  author    = {Stefan Ratschan and
               Thomas Sturm},
  title     = {Foreword},
  journal   = {Mathematics in Computer Science},
  volume    = {6},
  number    = {4},
  pages     = {345},
  year      = {2012},
  url       = {https://doi.org/10.1007/s11786-012-0129-2},
  doi       = {10.1007/s11786-012-0129-2},
  timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/mics/RatschanS12},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/casc/ErramiSSW11,
  author    = {Hassan Errami and
               Werner M. Seiler and
               Thomas Sturm and
               Andreas Weber},
  title     = {On Muldowney's Criteria for Polynomial Vector Fields with Constraints},
  booktitle = {Computer Algebra in Scientific Computing - 13th International Workshop,
               {CASC} 2011, Kassel, Germany, September 5-9, 2011. Proceedings},
  pages     = {135--143},
  year      = {2011},
  crossref  = {DBLP:conf/casc/2011},
  url       = {https://doi.org/10.1007/978-3-642-23568-9_11},
  doi       = {10.1007/978-3-642-23568-9_11},
  timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/casc/ErramiSSW11},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/issac/SturmT11,
  author    = {Thomas Sturm and
               Ashish Tiwari},
  title     = {Verification and synthesis using real quantifier elimination},
  booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
               2011 (co-located with {FCRC} 2011), San Jose, CA, USA, June 7-11,
               2011, Proceedings},
  pages     = {329--336},
  year      = {2011},
  crossref  = {DBLP:conf/issac/2011},
  url       = {http://doi.acm.org/10.1145/1993886.1993935},
  doi       = {10.1145/1993886.1993935},
  timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/issac/SturmT11},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/adg/2008,
  editor    = {Thomas Sturm and
               Christoph Zengler},
  title     = {Automated Deduction in Geometry - 7th International Workshop, {ADG}
               2008, Shanghai, China, September 22-24, 2008. Revised Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {6301},
  publisher = {Springer},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-642-21046-4},
  doi       = {10.1007/978-3-642-21046-4},
  isbn      = {978-3-642-21045-7},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/adg/2008},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/casc/NeunSV10,
  author    = {Winfried Neun and
               Thomas Sturm and
               Stefan Vigerske},
  title     = {Supporting Global Numerical Optimization of Rational Functions by
               Generic Symbolic Convexity Tests},
  booktitle = {Computer Algebra in Scientific Computing - 12th International Workshop,
               {CASC} 2010, Tsakhkadzor, Armenia, September 6-12, 2010. Proceedings},
  pages     = {205--219},
  year      = {2010},
  crossref  = {DBLP:conf/casc/2010},
  url       = {https://doi.org/10.1007/978-3-642-15274-0_19},
  doi       = {10.1007/978-3-642-15274-0_19},
  timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/casc/NeunSV10},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/casc/WeberSSA10,
  author    = {Andreas Weber and
               Thomas Sturm and
               Werner M. Seiler and
               Essam O. Abdel{-}Rahman},
  title     = {Parametric Qualitative Analysis of Ordinary Differential Equations:
               Computer Algebra Methods for Excluding Oscillations (Extended Abstract)
               (Invited Talk)},
  booktitle = {Computer Algebra in Scientific Computing - 12th International Workshop,
               {CASC} 2010, Tsakhkadzor, Armenia, September 6-12, 2010. Proceedings},
  pages     = {267--279},
  year      = {2010},
  crossref  = {DBLP:conf/casc/2010},
  url       = {https://doi.org/10.1007/978-3-642-15274-0_24},
  doi       = {10.1007/978-3-642-15274-0_24},
  timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/casc/WeberSSA10},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/issac/SturmZ10,
  author    = {Thomas Sturm and
               Christoph Zengler},
  title     = {Parametric quantified {SAT} solving},
  booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
               2010, Munich, Germany, July 25-28, 2010, Proceedings},
  pages     = {77--84},
  year      = {2010},
  crossref  = {DBLP:conf/issac/2010},
  url       = {http://doi.acm.org/10.1145/1837934.1837954},
  doi       = {10.1145/1837934.1837954},
  timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/issac/SturmZ10},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/AbrahamCLS10,
  author    = {Erika {\'{A}}brah{\'{a}}m and
               Florian Corzilius and
               Ulrich Loup and
               Thomas Sturm},
  title     = {A Lazy SMT-Solver for a Non-Linear Subset of Real Algebra},
  booktitle = {Verification over discrete-continuous boundaries, 04.07. - 09.07.2010},
  year      = {2010},
  crossref  = {DBLP:conf/dagstuhl/2010P10271},
  url       = {http://drops.dagstuhl.de/opus/volltexte/2010/2790/},
  timestamp = {Fri, 20 Jan 2017 12:54:05 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/dagstuhl/AbrahamCLS10},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/mics/SturmWAK09,
  author    = {Thomas Sturm and
               Andreas Weber and
               Essam O. Abdel{-}Rahman and
               M'hammed El Kahoui},
  title     = {Investigating Algebraic and Logical Algorithms to Solve Hopf Bifurcation
               Problems in Algebraic Biology},
  journal   = {Mathematics in Computer Science},
  volume    = {2},
  number    = {3},
  pages     = {493--515},
  year      = {2009},
  url       = {https://doi.org/10.1007/s11786-008-0067-1},
  doi       = {10.1007/s11786-008-0067-1},
  timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/mics/SturmWAK09},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/casc/LasarukS09,
  author    = {Aless Lasaruk and
               Thomas Sturm},
  title     = {Effective Quantifier Elimination for Presburger Arithmetic with Infinity},
  booktitle = {Computer Algebra in Scientific Computing, 11th International Workshop,
               {CASC} 2009, Kobe, Japan, September 13-17, 2009. Proceedings},
  pages     = {195--212},
  year      = {2009},
  crossref  = {DBLP:conf/casc/2009},
  url       = {https://doi.org/10.1007/978-3-642-04103-7_18},
  doi       = {10.1007/978-3-642-04103-7_18},
  timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/casc/LasarukS09},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/ab/SturmW08,
  author    = {Thomas Sturm and
               Andreas Weber},
  title     = {Investigating Generic Methods to Solve Hopf Bifurcation Problems in
               Algebraic Biology},
  booktitle = {Algebraic Biology, Third International Conference, {AB} 2008, Castle
               of Hagenberg, Austria, July 31-August 2, 2008, Proceedings},
  pages     = {200--215},
  year      = {2008},
  crossref  = {DBLP:conf/ab/2008},
  url       = {https://doi.org/10.1007/978-3-540-85101-1_15},
  doi       = {10.1007/978-3-540-85101-1_15},
  timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/ab/SturmW08},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/adg/LasarukS08,
  author    = {Aless Lasaruk and
               Thomas Sturm},
  title     = {Automatic Verification of the Adequacy of Models for Families of Geometric
               Objects},
  booktitle = {Automated Deduction in Geometry - 7th International Workshop, {ADG}
               2008, Shanghai, China, September 22-24, 2008. Revised Papers},
  pages     = {116--140},
  year      = {2008},
  crossref  = {DBLP:conf/adg/2008},
  url       = {https://doi.org/10.1007/978-3-642-21046-4_6},
  doi       = {10.1007/978-3-642-21046-4_6},
  timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/adg/LasarukS08},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/aaecc/AnaiS07,
  author    = {Hirokazu Anai and
               Thomas Sturm},
  title     = {Editorial},
  journal   = {Appl. Algebra Eng. Commun. Comput.},
  volume    = {18},
  number    = {6},
  pages     = {495--496},
  year      = {2007},
  url       = {https://doi.org/10.1007/s00200-007-0051-z},
  doi       = {10.1007/s00200-007-0051-z},
  timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/aaecc/AnaiS07},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/aaecc/LasarukS07,
  author    = {Aless Lasaruk and
               Thomas Sturm},
  title     = {Weak quantifier elimination for the full linear theory of the integers},
  journal   = {Appl. Algebra Eng. Commun. Comput.},
  volume    = {18},
  number    = {6},
  pages     = {545--574},
  year      = {2007},
  url       = {https://doi.org/10.1007/s00200-007-0053-x},
  doi       = {10.1007/s00200-007-0053-x},
  timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/aaecc/LasarukS07},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/casc/LasarukS07,
  author    = {Aless Lasaruk and
               Thomas Sturm},
  title     = {Weak Integer Quantifier Elimination Beyond the Linear Case},
  booktitle = {Computer Algebra in Scientific Computing, 10th International Workshop,
               {CASC} 2007, Bonn, Germany, September 16-20, 2007, Proceedings},
  pages     = {275--294},
  year      = {2007},
  crossref  = {DBLP:conf/casc/2007},
  url       = {https://doi.org/10.1007/978-3-540-75187-8_22},
  doi       = {10.1007/978-3-540-75187-8_22},
  timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/casc/LasarukS07},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/jsc/DolzmannS06,
  author    = {Andreas Dolzmann and
               Thomas Sturm},
  title     = {Editorial},
  journal   = {J. Symb. Comput.},
  volume    = {41},
  number    = {11},
  pages     = {1155--1156},
  year      = {2006},
  url       = {https://doi.org/10.1016/j.jsc.2005.10.006},
  doi       = {10.1016/j.jsc.2005.10.006},
  timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/jsc/DolzmannS06},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/casc/Sturm06,
  author    = {Thomas Sturm},
  title     = {New Domains for Applied Quantifier Elimination},
  booktitle = {Computer Algebra in Scientific Computing, 9th International Workshop,
               {CASC} 2006, Chisinau, Moldova, September 11-15, 2006, Proceedings},
  pages     = {295--301},
  year      = {2006},
  crossref  = {DBLP:conf/casc/2006},
  url       = {https://doi.org/10.1007/11870814_25},
  doi       = {10.1007/11870814_25},
  timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/casc/Sturm06},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/casc/Sturm05,
  author    = {Thomas Sturm},
  title     = {Quantifier Elimination for Constraint Logic Programming},
  booktitle = {Computer Algebra in Scientific Computing, 8th International Workshop,
               {CASC} 2005, Kalamata, Greece, September 12-16, 2005, Proceedings},
  pages     = {416--430},
  year      = {2005},
  crossref  = {DBLP:conf/casc/2005},
  url       = {https://doi.org/10.1007/11555964_36},
  doi       = {10.1007/11555964_36},
  timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/casc/Sturm05},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/birthday/2005weispfenning,
  editor    = {Andreas Dolzmann and
               Andreas Seidl and
               Thomas Sturm},
  title     = {Algorithmic Algebra and Logic. Proceedings of the {A3L} 2005, April
               3-6, Passau, Germany; Conference in Honor of the 60th Birthday of
               Volker Weispfenning},
  publisher = {Books on Demand},
  year      = {2005},
  url       = {http://www.a3l.org/proceedings.html},
  isbn      = {3-8334-2669-1},
  timestamp = {Tue, 30 Jun 2015 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/birthday/2005weispfenning},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/issac/DolzmannSS04,
  author    = {Andreas Dolzmann and
               Andreas Seidl and
               Thomas Sturm},
  title     = {Efficient projection orders for {CAD}},
  booktitle = {Symbolic and Algebraic Computation, International Symposium {ISSAC}
               2004, Santander, Spain, July 4-7, 2004, Proceedings},
  pages     = {111--118},
  year      = {2004},
  crossref  = {DBLP:conf/issac/2004},
  url       = {http://doi.acm.org/10.1145/1005285.1005303},
  doi       = {10.1145/1005285.1005303},
  timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/issac/DolzmannSS04},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/issac/SeidlS03,
  author    = {Andreas Seidl and
               Thomas Sturm},
  title     = {A generic projection operator for partial cylindrical algebraic decomposition},
  booktitle = {Symbolic and Algebraic Computation, International Symposium {ISSAC}
               2003, Drexel University, Philadelphia, Pennsylvania, USA, August 3-6,
               2003, Proceedings},
  pages     = {240--247},
  year      = {2003},
  crossref  = {DBLP:conf/issac/2003},
  url       = {http://doi.acm.org/10.1145/860854.860903},
  doi       = {10.1145/860854.860903},
  timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/issac/SeidlS03},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/aisc/Sturm02,
  author    = {Thomas Sturm},
  title     = {Integration of Quantifier Elimination with Constraint Logic Programming},
  booktitle = {Artificial Intelligence, Automated Reasoning, and Symbolic Computation,
               Joint International Conferences, {AISC} 2002 and Calculemus 2002,
               Marseille, France, July 1-5, 2002, Proceedings},
  pages     = {7--11},
  year      = {2002},
  crossref  = {DBLP:conf/aisc/2002},
  url       = {https://doi.org/10.1007/3-540-45470-5_4},
  doi       = {10.1007/3-540-45470-5_4},
  timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/aisc/Sturm02},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/jsc/Sturm00,
  author    = {Thomas Sturm},
  title     = {Linear Problems in Valued Fields},
  journal   = {J. Symb. Comput.},
  volume    = {30},
  number    = {2},
  pages     = {207--219},
  year      = {2000},
  url       = {https://doi.org/10.1006/jsco.1999.0303},
  doi       = {10.1006/jsco.1999.0303},
  timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/jsc/Sturm00},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/aaecc/Sturm99,
  author    = {Thomas Sturm},
  title     = {Reasoning over Networks by Symbolic Methods},
  journal   = {Appl. Algebra Eng. Commun. Comput.},
  volume    = {10},
  number    = {1},
  pages     = {79--96},
  year      = {1999},
  url       = {https://doi.org/10.1007/s002000050123},
  doi       = {10.1007/s002000050123},
  timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/aaecc/Sturm99},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/issac/DolzmannS99,
  author    = {Andreas Dolzmann and
               Thomas Sturm},
  title     = {P-adic Constraint Solving},
  booktitle = {Proceedings of the 1999 International Symposium on Symbolic and Algebraic
               Computation, {ISSAC} '99, Vancouver, B.C., Canada, July 29-31, 1999},
  pages     = {151--158},
  year      = {1999},
  crossref  = {DBLP:conf/issac/1999},
  url       = {http://doi.acm.org/10.1145/309831.309894},
  doi       = {10.1145/309831.309894},
  timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/issac/DolzmannS99},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/jar/DolzmannSW98,
  author    = {Andreas Dolzmann and
               Thomas Sturm and
               Volker Weispfenning},
  title     = {A New Approach for Automatic Theorem Proving in Real Geometry},
  journal   = {J. Autom. Reasoning},
  volume    = {21},
  number    = {3},
  pages     = {357--380},
  year      = {1998},
  url       = {https://doi.org/10.1023/A:1006031329384},
  doi       = {10.1023/A:1006031329384},
  timestamp = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/jar/DolzmannSW98},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/issac/DolzmannGS98,
  author    = {Andreas Dolzmann and
               Oliver Gloor and
               Thomas Sturm},
  title     = {Approaches to Parallel Quantifier Elimination},
  booktitle = {Proceedings of the 1998 International Symposium on Symbolic and Algebraic
               Computation, {ISSAC} '98, Rostock, Germany, August 13-15, 1998},
  pages     = {88--95},
  year      = {1998},
  crossref  = {DBLP:conf/issac/1998},
  url       = {http://doi.acm.org/10.1145/281508.281564},
  doi       = {10.1145/281508.281564},
  timestamp = {Tue, 30 Jun 2015 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/issac/DolzmannGS98},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/cca/Dolzmann097,
  author    = {Andreas Dolzmann and
               Thomas Sturm},
  title     = {{REDLOG:} computer algebra meets computer logic},
  journal   = {{ACM} {SIGSAM} Bulletin},
  volume    = {31},
  number    = {2},
  pages     = {2--9},
  year      = {1997},
  url       = {http://doi.acm.org/10.1145/261320.261324},
  doi       = {10.1145/261320.261324},
  timestamp = {Fri, 19 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/cca/Dolzmann097},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/jsc/DolzmannS97,
  author    = {Andreas Dolzmann and
               Thomas Sturm},
  title     = {Simplification of Quantifier-Free Formulae over Ordered Fields},
  journal   = {J. Symb. Comput.},
  volume    = {24},
  number    = {2},
  pages     = {209--231},
  year      = {1997},
  url       = {https://doi.org/10.1006/jsco.1997.0123},
  doi       = {10.1006/jsco.1997.0123},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/jsc/DolzmannS97},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/issac/DolzmannS97,
  author    = {Andreas Dolzmann and
               Thomas Sturm},
  title     = {Guarded Expressions in Practice},
  booktitle = {Proceedings of the 1997 International Symposium on Symbolic and Algebraic
               Computation, {ISSAC} '97, Maui, Hawaii, USA, July 21-23, 1997},
  pages     = {376--383},
  year      = {1997},
  crossref  = {DBLP:conf/issac/1997},
  timestamp = {Tue, 30 Jun 2015 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/issac/DolzmannS97},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/adg/SturmW96,
  author    = {Thomas Sturm and
               Volker Weispfenning},
  title     = {Computational Geometry Problems in {REDLOG}},
  booktitle = {Automated Deduction in Geometry, International Workshop on Automated
               Deduction in Geometry, Toulouse, France, September 27-29, 1996, Selected
               Papers},
  pages     = {58--86},
  year      = {1996},
  crossref  = {DBLP:conf/adg/1996},
  url       = {https://doi.org/10.1007/BFb0022720},
  doi       = {10.1007/BFb0022720},
  timestamp = {Tue, 23 May 2017 11:53:59 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/adg/SturmW96},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/lics/2016,
  editor    = {Martin Grohe and
               Eric Koskinen and
               Natarajan Shankar},
  title     = {Proceedings of the 31st Annual {ACM/IEEE} Symposium on Logic in Computer
               Science, {LICS} '16, New York, NY, USA, July 5-8, 2016},
  publisher = {{ACM}},
  year      = {2016},
  url       = {http://doi.acm.org/10.1145/2933575},
  doi       = {10.1145/2933575},
  isbn      = {978-1-4503-4391-6},
  timestamp = {Thu, 27 Oct 2016 11:23:41 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/lics/2016},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/mkm/2016,
  editor    = {Michael Kohlhase and
               Moa Johansson and
               Bruce R. Miller and
               Leonardo de Moura and
               Frank Wm. Tompa},
  title     = {Intelligent Computer Mathematics - 9th International Conference, {CICM}
               2016, Bialystok, Poland, July 25-29, 2016, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9791},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-42547-4},
  doi       = {10.1007/978-3-319-42547-4},
  isbn      = {978-3-319-42546-7},
  timestamp = {Wed, 17 May 2017 10:54:57 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/mkm/2016},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/cade/2015,
  editor    = {Amy P. Felty and
               Aart Middeldorp},
  title     = {Automated Deduction - {CADE-25} - 25th International Conference on
               Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9195},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-21401-6},
  doi       = {10.1007/978-3-319-21401-6},
  isbn      = {978-3-319-21400-9},
  timestamp = {Sun, 21 May 2017 00:17:17 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/cade/2015},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/issac/2015,
  editor    = {Kazuhiro Yokoyama and
               Steve Linton and
               Daniel Robertz},
  title     = {Proceedings of the 2015 {ACM} on International Symposium on Symbolic
               and Algebraic Computation, {ISSAC} 2015, Bath, United Kingdom, July
               06 - 09, 2015},
  publisher = {{ACM}},
  year      = {2015},
  url       = {http://dl.acm.org/citation.cfm?id=2755996},
  isbn      = {978-1-4503-3435-8},
  timestamp = {Fri, 26 Jun 2015 15:39:39 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/issac/2015},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/casc/2014,
  editor    = {Vladimir P. Gerdt and
               Wolfram Koepf and
               Werner M. Seiler and
               Evgenii V. Vorozhtsov},
  title     = {Computer Algebra in Scientific Computing - 16th International Workshop,
               {CASC} 2014, Warsaw, Poland, September 8-12, 2014. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8660},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-319-10515-4},
  doi       = {10.1007/978-3-319-10515-4},
  isbn      = {978-3-319-10514-7},
  timestamp = {Mon, 22 May 2017 17:10:56 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/casc/2014},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/smt/2014,
  editor    = {Philipp R{\"{u}}mmer and
               Christoph M. Wintersteiger},
  title     = {Proceedings of the 12th International Workshop on Satisfiability Modulo
               Theories, {SMT} 2014, affiliated with the 26th International Conference
               on Computer Aided Verification {(CAV} 2014), the 7th International
               Joint Conference on Automated Reasoning {(IJCAR} 2014), and the 17th
               International Conference on Theory and Applications of Satisfiability
               Testing {(SAT} 2014), Vienna, Austria, July 17-18, 2014},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {1163},
  publisher = {CEUR-WS.org},
  year      = {2014},
  url       = {http://ceur-ws.org/Vol-1163},
  urn       = {urn:nbn:de:0074-1163-4},
  timestamp = {Mon, 30 May 2016 16:28:37 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/smt/2014},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/casc/2013,
  editor    = {Vladimir P. Gerdt and
               Wolfram Koepf and
               Ernst W. Mayr and
               Evgenii V. Vorozhtsov},
  title     = {Computer Algebra in Scientific Computing - 15th International Workshop,
               {CASC} 2013, Berlin, Germany, September 9-13, 2013. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8136},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-319-02297-0},
  doi       = {10.1007/978-3-319-02297-0},
  isbn      = {978-3-319-02296-3},
  timestamp = {Mon, 22 May 2017 17:10:56 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/casc/2013},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/frocos/2013,
  editor    = {Pascal Fontaine and
               Christophe Ringeissen and
               Renate A. Schmidt},
  title     = {Frontiers of Combining Systems - 9th International Symposium, FroCoS
               2013, Nancy, France, September 18-20, 2013. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8152},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-40885-4},
  doi       = {10.1007/978-3-642-40885-4},
  isbn      = {978-3-642-40884-7},
  timestamp = {Sun, 21 May 2017 00:21:23 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/frocos/2013},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/casc/2011,
  editor    = {Vladimir P. Gerdt and
               Wolfram Koepf and
               Ernst W. Mayr and
               Evgenii V. Vorozhtsov},
  title     = {Computer Algebra in Scientific Computing - 13th International Workshop,
               {CASC} 2011, Kassel, Germany, September 5-9, 2011. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6885},
  publisher = {Springer},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-642-23568-9},
  doi       = {10.1007/978-3-642-23568-9},
  isbn      = {978-3-642-23567-2},
  timestamp = {Mon, 22 May 2017 17:10:56 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/casc/2011},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/issac/2011,
  editor    = {{\'{E}}ric Schost and
               Ioannis Z. Emiris},
  title     = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
               2011 (co-located with {FCRC} 2011), San Jose, CA, USA, June 7-11,
               2011, Proceedings},
  publisher = {{ACM}},
  year      = {2011},
  isbn      = {978-1-4503-0675-1},
  timestamp = {Thu, 09 Jun 2011 09:47:04 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/issac/2011},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/casc/2010,
  editor    = {Vladimir P. Gerdt and
               Wolfram Koepf and
               Ernst W. Mayr and
               Evgenii V. Vorozhtsov},
  title     = {Computer Algebra in Scientific Computing - 12th International Workshop,
               {CASC} 2010, Tsakhkadzor, Armenia, September 6-12, 2010. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6244},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-15274-0},
  doi       = {10.1007/978-3-642-15274-0},
  isbn      = {978-3-642-15273-3},
  timestamp = {Mon, 22 May 2017 17:10:56 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/casc/2010},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/issac/2010,
  editor    = {Wolfram Koepf},
  title     = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
               2010, Munich, Germany, July 25-28, 2010, Proceedings},
  publisher = {{ACM}},
  year      = {2010},
  isbn      = {978-1-4503-0150-3},
  timestamp = {Tue, 05 Apr 2011 10:47:14 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/issac/2010},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/dagstuhl/2010P10271,
  editor    = {Bernd Becker and
               Luca Cardelli and
               Holger Hermanns and
               Sofi{\`{e}}ne Tahar},
  title     = {Verification over discrete-continuous boundaries, 04.07. - 09.07.2010},
  series    = {Dagstuhl Seminar Proceedings},
  volume    = {10271},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
  year      = {2010},
  url       = {http://drops.dagstuhl.de/portals/10271/},
  timestamp = {Fri, 20 Jan 2017 12:54:05 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/dagstuhl/2010P10271},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/casc/2009,
  editor    = {Vladimir P. Gerdt and
               Ernst W. Mayr and
               Evgenii V. Vorozhtsov},
  title     = {Computer Algebra in Scientific Computing, 11th International Workshop,
               {CASC} 2009, Kobe, Japan, September 13-17, 2009. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5743},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-04103-7},
  doi       = {10.1007/978-3-642-04103-7},
  isbn      = {978-3-642-04102-0},
  timestamp = {Mon, 22 May 2017 17:10:56 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/casc/2009},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/ab/2008,
  editor    = {Katsuhisa Horimoto and
               Georg Regensburger and
               Markus Rosenkranz and
               Hiroshi Yoshida},
  title     = {Algebraic Biology, Third International Conference, {AB} 2008, Castle
               of Hagenberg, Austria, July 31-August 2, 2008, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5147},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-85101-1},
  doi       = {10.1007/978-3-540-85101-1},
  isbn      = {978-3-540-85100-4},
  timestamp = {Tue, 13 Jun 2017 10:37:56 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/ab/2008},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/adg/2008,
  editor    = {Thomas Sturm and
               Christoph Zengler},
  title     = {Automated Deduction in Geometry - 7th International Workshop, {ADG}
               2008, Shanghai, China, September 22-24, 2008. Revised Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {6301},
  publisher = {Springer},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-642-21046-4},
  doi       = {10.1007/978-3-642-21046-4},
  isbn      = {978-3-642-21045-7},
  timestamp = {Thu, 25 May 2017 00:43:38 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/adg/2008},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/casc/2007,
  editor    = {Victor G. Ganzha and
               Ernst W. Mayr and
               Evgenii V. Vorozhtsov},
  title     = {Computer Algebra in Scientific Computing, 10th International Workshop,
               {CASC} 2007, Bonn, Germany, September 16-20, 2007, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4770},
  publisher = {Springer},
  year      = {2007},
  url       = {https://doi.org/10.1007/978-3-540-75187-8},
  doi       = {10.1007/978-3-540-75187-8},
  isbn      = {978-3-540-75186-1},
  timestamp = {Fri, 02 Jun 2017 13:01:06 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/casc/2007},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/casc/2006,
  editor    = {Victor G. Ganzha and
               Ernst W. Mayr and
               Evgenii V. Vorozhtsov},
  title     = {Computer Algebra in Scientific Computing, 9th International Workshop,
               {CASC} 2006, Chisinau, Moldova, September 11-15, 2006, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4194},
  publisher = {Springer},
  year      = {2006},
  url       = {https://doi.org/10.1007/11870814},
  doi       = {10.1007/11870814},
  isbn      = {3-540-45182-X},
  timestamp = {Fri, 02 Jun 2017 13:01:06 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/casc/2006},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/casc/2005,
  editor    = {Victor G. Ganzha and
               Ernst W. Mayr and
               Evgenii V. Vorozhtsov},
  title     = {Computer Algebra in Scientific Computing, 8th International Workshop,
               {CASC} 2005, Kalamata, Greece, September 12-16, 2005, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3718},
  publisher = {Springer},
  year      = {2005},
  url       = {https://doi.org/10.1007/11555964},
  doi       = {10.1007/11555964},
  isbn      = {3-540-28966-6},
  timestamp = {Tue, 30 May 2017 16:36:52 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/casc/2005},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/issac/2004,
  editor    = {Jaime Gutierrez},
  title     = {Symbolic and Algebraic Computation, International Symposium {ISSAC}
               2004, Santander, Spain, July 4-7, 2004, Proceedings},
  publisher = {{ACM}},
  year      = {2004},
  isbn      = {1-58113-827-X},
  timestamp = {Mon, 03 Apr 2017 18:28:15 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/issac/2004},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/issac/2003,
  editor    = {J. Rafael Sendra},
  title     = {Symbolic and Algebraic Computation, International Symposium {ISSAC}
               2003, Drexel University, Philadelphia, Pennsylvania, USA, August 3-6,
               2003, Proceedings},
  publisher = {{ACM}},
  year      = {2003},
  isbn      = {1-58113-641-2},
  timestamp = {Wed, 22 Feb 2006 15:56:54 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/issac/2003},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/aisc/2002,
  editor    = {Jacques Calmet and
               Belaid Benhamou and
               Olga Caprotti and
               Laurent Henocque and
               Volker Sorge},
  title     = {Artificial Intelligence, Automated Reasoning, and Symbolic Computation,
               Joint International Conferences, {AISC} 2002 and Calculemus 2002,
               Marseille, France, July 1-5, 2002, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2385},
  publisher = {Springer},
  year      = {2002},
  url       = {https://doi.org/10.1007/3-540-45470-5},
  doi       = {10.1007/3-540-45470-5},
  isbn      = {3-540-43865-3},
  timestamp = {Thu, 01 Jun 2017 18:57:42 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/aisc/2002},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/issac/1999,
  editor    = {Keith O. Geddes and
               Bruno Salvy and
               Samuel S. Dooley},
  title     = {Proceedings of the 1999 International Symposium on Symbolic and Algebraic
               Computation, {ISSAC} '99, Vancouver, B.C., Canada, July 29-31, 1999},
  publisher = {{ACM}},
  year      = {1999},
  url       = {http://dl.acm.org/citation.cfm?id=309831},
  isbn      = {1-58113-073-2},
  timestamp = {Wed, 16 May 2012 18:01:04 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/issac/1999},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/issac/1998,
  editor    = {Volker Weispfenning and
               Barry M. Trager},
  title     = {Proceedings of the 1998 International Symposium on Symbolic and Algebraic
               Computation, {ISSAC} '98, Rostock, Germany, August 13-15, 1998},
  publisher = {{ACM}},
  year      = {1998},
  url       = {http://dl.acm.org/citation.cfm?id=281508},
  isbn      = {1-58113-002-3},
  timestamp = {Wed, 16 May 2012 18:01:04 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/issac/1998},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/issac/1997,
  editor    = {Bruce W. Char and
               Paul S. Wang and
               Wolfgang K{\"{u}}chlin},
  title     = {Proceedings of the 1997 International Symposium on Symbolic and Algebraic
               Computation, {ISSAC} '97, Maui, Hawaii, USA, July 21-23, 1997},
  publisher = {{ACM}},
  year      = {1997},
  url       = {http://dl.acm.org/citation.cfm?id=258726},
  isbn      = {0-89791-875-4},
  timestamp = {Wed, 16 May 2012 18:01:04 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/issac/1997},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/adg/1996,
  editor    = {Dongming Wang},
  title     = {Automated Deduction in Geometry, International Workshop on Automated
               Deduction in Geometry, Toulouse, France, September 27-29, 1996, Selected
               Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {1360},
  publisher = {Springer},
  year      = {1997},
  url       = {https://doi.org/10.1007/BFb0022715},
  doi       = {10.1007/BFb0022715},
  isbn      = {3-540-64297-8},
  timestamp = {Tue, 23 May 2017 11:53:59 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/adg/1996},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
maintained by Schloss Dagstuhl LZI at University of Trier