Thomas Sturm
发表
Erika Ábrahám,
Florian Corzilius,
Ulrich Loup,
2010,
Verification over discrete-continuous boundaries.
Dima Grigoriev,
Thomas Sturm,
Werner M. Seiler,
2015,
J. Comput. Phys..
Mizuhito Ogawa,
Thomas Sturm,
Pascal Fontaine,
2017,
FroCoS.
Thomas Sturm,
2003
.
Thomas Sturm,
Andreas Dolzmann,
Andreas Dolzmann,
1997,
ISSAC.
Thomas Sturm,
Andreas Weber,
A. Weber,
2008,
AB.
Thomas Sturm,
T. Sturm,
1999,
Applicable Algebra in Engineering, Communication and Computing.
Thomas Sturm,
M'hammed El Kahoui,
Andreas Weber,
2009,
Math. Comput. Sci..
Thomas Sturm,
Volker Weispfenning,
Andreas Dolzmann,
1998,
Journal of Automated Reasoning.
Thomas Sturm,
2018
.
Thomas Sturm,
Christoph Zengler,
T. Sturm,
2010,
ISSAC.
Daniel Kroening,
Bernd Becker,
Matthew England,
2016,
CICM.
Thomas Sturm,
Andreas Dolzmann,
Andreas Dolzmann,
1997,
J. Symb. Comput..
Dongming Wang,
Erika Ábrahám,
Thomas Sturm,
2015,
Dagstuhl Reports.
Thomas Sturm,
Aless Lasaruk,
T. Sturm,
2007,
CASC.
Christoph Weidenbach,
Thomas Sturm,
Martin Bromberger,
2016
.
Matthew England,
James H. Davenport,
Dima Grigoriev,
2017,
ISSAC.
Christoph Weidenbach,
Thomas Sturm,
Marco Voigt,
2016,
2016 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Thomas Sturm,
T. Sturm,
2006,
CASC.
Thomas Sturm,
T. Sturm,
2015,
ISSAC.
Thomas Sturm,
Volker Weispfenning,
V. Weispfenning,
1996,
Automated Deduction in Geometry.
Thomas Sturm,
T. Sturm,
2000,
J. Symb. Comput..
Thomas Sturm,
Hoon Hong,
H. Hong,
2018,
CASC.
Thomas Sturm,
Andreas Dolzmann,
Andreas Dolzmann,
1997,
SIGS.
Thomas Sturm,
François Boulier,
Andreas Weber,
2012,
Dagstuhl Reports.
Thomas Sturm,
Konstantin Korovin,
Marek Kosta,
2014,
SMT.
Daniel Kroening,
Bernd Becker,
Matthew England,
2016,
Lecture Notes in Computer Science.
Andreas Seidl,
Thomas Sturm,
Andreas Dolzmann,
2004,
ISSAC '04.
Daniel Kroening,
Bernd Becker,
Matthew England,
2016,
ACCA.
Thomas Sturm,
Andreas Dolzmann,
Andreas Dolzmann,
1999,
ISSAC '99.
Thomas Sturm,
Andreas Dolzmann,
Marek Kosta,
2014,
SMT.
Thomas Sturm,
Christoph Zengler,
2008
.
Thomas Sturm,
T. Sturm,
2005,
CASC.
Christoph Weidenbach,
Thomas Sturm,
Martin Bromberger,
2015,
CADE.
Thomas Sturm,
Christoph Zengler,
2008,
Lecture Notes in Computer Science.
Thomas Sturm,
Aless Lasaruk,
T. Sturm,
2009,
CASC.
Thomas Sturm,
Winfried Neun,
Stefan Vigerske,
2022
.
Thomas Sturm,
Aless Lasaruk,
T. Sturm,
2007,
Applicable Algebra in Engineering, Communication and Computing.
Thomas Sturm,
Andreas Dolzmann,
Oliver Gloor,
1998,
ISSAC '98.
Dima Grigoriev,
Thomas Sturm,
Werner M. Seiler,
2013,
CASC.
Thomas Sturm,
T. Sturm,
2018,
ISSAC.
Thomas Sturm,
Werner M. Seiler,
Hassan Errami,
2011,
CASC.
Symbolic Versus Numerical Computation and Visualization of Parameter Regions for Multistationarity of Biological Networks
pdf
Matthew England,
Dima Grigoriev,
Thomas Sturm,
2017,
CASC.
Thomas Sturm,
François Fages,
François Boulier,
2018,
ACCA.
Thomas Sturm,
Ralf Karrenberg,
Marek Kosta,
2013,
FroCos.
Thomas Sturm,
Marek Košta,
2013
.
Thomas Sturm,
Aless Lasaruk,
T. Sturm,
2008,
Automated Deduction in Geometry.
Matthew England,
James H. Davenport,
Dima Grigoriev,
2019,
J. Symb. Comput..
Thomas Sturm,
T. Sturm,
2017,
Math. Comput. Sci..
Thomas Sturm,
Werner M. Seiler,
Andreas Weber,
2010,
CASC.
Ashish Tiwari,
Thomas Sturm,
A. Tiwari,
2011,
ISSAC '11.
Daniel Kroening,
Bernd Becker,
Matthew England,
2016,
CICM.
Andreas Seidl,
Thomas Sturm,
T. Sturm,
2003,
ISSAC '03.
Thomas Sturm,
2002,
AISC.
Thomas Sturm,
Marek Kosta,
T. Sturm,
2015,
ArXiv.
Thomas Sturm,
Stefan Ratschan,
S. Ratschan,
2012,
Math. Comput. Sci..
Stephen M. Watt,
James H. Davenport,
William M. Farmer,
2003
.
Thomas Sturm,
Werner M. Seiler,
Matthias Seiss,
2021,
Math. Comput. Sci..
Thomas Sturm,
Hamid Rahkooy,
2021,
CASC.
Thomas Sturm,
Ovidiu Radulescu,
Christoph Luders,
2022,
Bioinformatics advances.
Thomas Sturm,
Sebastian Walcher,
Ovidiu Radulescu,
2021,
Math. Comput. Sci..
Dima Grigoriev,
Thomas Sturm,
Hamid Rahkooy,
2019,
Mathematics in Computer Science.
Matthew England,
Thomas Sturm,
Timur M. Sadykov,
2021,
Math. Comput. Sci..
Matthew England,
Thomas Sturm,
Wolfram Koepf,
2021,
Math. Comput. Sci..
Thomas Sturm,
Volker Weispfenning,
Andreas Dolzmann,
1997,
Algorithmic Algebra and Number Theory.
Thomas Sturm,
T. Sturm,
1999
.
Thomas Sturm,
T. Sturm,
2000
.
Thomas Sturm,
T. Sturm,
Volker,
1998
.
Andreas Seidl,
Thomas Sturm,
T. Sturm,
2006
.
Thomas Sturm,
Volker Weispfenning,
V. Weispfenning,
2002
.
Thomas Sturm,
T. Sturm,
2002
.
Thomas Sturm,
Volker Weispfenning,
1997
.
Thomas Sturm,
Andreas Weber,
Essam O. Abdel-Rahman,
2011,
Bulletin of mathematical biology.