Thomas Sturm 个人学术档案 - 学术资源搜索

引用次数

	总计	2019 年至今
引用	2378	626
h 指数	25	15
i10 指数	48	23

180

135

1996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202415 30 41 80 49 51 28 72 94 50 77 109 30 55 79 83 98 93 87 106 132 90 161 97 115 144 113 86 69

开放获取的出版物数量

查看全部

26 篇文章

0 篇文章

可查看的文章

无法查看的文章

根据资助方的强制性开放获取政策

合著作者

Andreas WeberProfessor of Computer Science, University of Bonn在 cs.uni-bonn.de 的电子邮件经过验证
Werner M. SeilerProfessor für Mathematik, Universität Kassel在 mathematik.uni-kassel.de 的电子邮件经过验证
Dr. Hassan ErramiUniversity of Bonn在 cs.uni-bonn.de 的电子邮件经过验证
Marek KoštaSlovak Academy of Sciences在 savba.sk 的电子邮件经过验证
Dima GrigorievDirecteur de recherche, CNRS, Lille在 math.univ-lille1.fr 的电子邮件经过验证
Ovidiu RadulescuProfessor at University of Montpellier在 umontpellier.fr 的电子邮件经过验证
James DavenportHebron & Medlock Professor of Information Technology, University of Bath; former Vice-President, BCS在 bath.ac.uk 的电子邮件经过验证
Pascal FontaineLORIA, INRIA, Université de Lorraine, Nancy, France在 loria.fr 的电子邮件经过验证
Erika AbrahamProfessor, Computer Science Department, RWTH Aachen University在 cs.rwth-aachen.de 的电子邮件经过验证
Alberto GriggioResearcher, Fondazione Bruno Kessler在 fbk.eu 的电子邮件经过验证
Xuan Tung VuPh.D. Student at JAIST在 jaist.ac.jp 的电子邮件经过验证
Christoph WeidenbachProfessor of Computer Science, Max Planck Institute for Informatics, Saarland Informatics Campus在 mpi-inf.mpg.de 的电子邮件经过验证
Daniel KroeningAmazon在 amazon.com 的电子邮件经过验证
Bernd BeckerProfessor of Computer Science, University of Freiburg在 informatik.uni-freiburg.de 的电子邮件经过验证
Martin BrainCity, University of London在 city.ac.uk 的电子邮件经过验证
John AbbottRicercatore di Algebra, Universita` di Genova在 dima.unige.it 的电子邮件经过验证
Anna Maria BigattiRicercatore di Algebra, Universita' degli Studi di Genova在 dima.unige.it 的电子邮件经过验证
Bruno BuchbergerProfesser for Computer Mathematics, Johannes Kepler University在 jku.at 的电子邮件经过验证
Vladimir GerdtJoint Institute for Nuclear Research在 jinr.ru 的电子邮件经过验证
Mizuhito OgawaJAIST在 jaist.ac.jp 的电子邮件经过验证

关注

Thomas Sturm

Research Director, CNRS

在 loria.fr 的电子邮件经过验证 - 首页

Symbolic Computation Automated Reasoning


标题按引用次数排序按年份排序按标题排序	引用次数引用次数	年份
Redlog: Computer algebra meets computer logic A Dolzmann, T Sturm Acm Sigsam Bulletin 31 (2), 2-9, 1997	523	1997
Real quantifier elimination in practice A Dolzmann, T Sturm, V Weispfenning Algorithmic Algebra and Number Theory: Selected Papers From a Conference …, 1999	157	1999
Simplification of quantifier-free formulae over ordered fields A Dolzmann, T Sturm J. Symb. Comput. 24 (2), 209-231, 1997	141	1997
Efficient projection orders for CAD A Dolzmann, A Seidl, T Sturm Proceedings of the 2004 international symposium on Symbolic and algebraic …, 2004	128	2004
A new approach for automatic theorem proving in real geometry A Dolzmann, T Sturm, V Weispfenning Journal of Automated Reasoning 21 (3), 357-380, 1998	111	1998
Verification and synthesis using real quantifier elimination T Sturm, A Tiwari Proceedings of the 36th international symposium on Symbolic and algebraic …, 2011	88	2011
Redlog user manual A Dolzmann, T Sturm FMI, Universität Passau, 1996	88	1996
Detection of Hopf bifurcations in chemical reaction networks using convex coordinates H Errami, M Eiswirth, D Grigoriev, WM Seiler, T Sturm, A Weber Journal of Computational Physics 291, 279-302, 2015	65	2015
: Satisfiability Checking Meets Symbolic Computation: (Project Paper) E Ábrahám, J Abbott, B Becker, AM Bigatti, M Brain, B Buchberger, ... International Conference on Intelligent Computer Mathematics, 28-43, 2016	51	2016
Computational geometry problems in Redlog T Sturm, V Weispfenning Automated Deduction in Geometry: International Workshop on Automated …, 1997	51	1997
A generic projection operator for partial cylindrical algebraic decomposition A Seidl, T Sturm Proceedings of the 2003 international symposium on Symbolic and algebraic …, 2003	44	2003
Investigating algebraic and logical algorithms to solve Hopf bifurcation problems in algebraic biology T Sturm, A Weber, EO Abdel-Rahman, M El Kahoui Mathematics in Computer Science 2, 493-515, 2009	43	2009
Investigating generic methods to solve Hopf bifurcation problems in algebraic biology T Sturm, A Weber International Conference on Algebraic Biology, 200-215, 2008	37	2008
Reasoning over networks by symbolic methods T Sturm Applicable Algebra in Engineering, Communication and Computing 10, 79-96, 1999	36	1999
Weak quantifier elimination for the full linear theory of the integers: A uniform generalization of presburger arithmetic A Lasaruk, T Sturm Applicable Algebra in Engineering, Communication and Computing 18, 545-574, 2007	35	2007
A survey of some methods for real quantifier elimination, decision, and satisfiability and their applications T Sturm Mathematics in Computer Science 11 (3), 483-502, 2017	31	2017
Linear problems in valued fields T Sturm Journal of Symbolic Computation 30 (2), 207-219, 2000	31	2000
Identifying the parametric occurrence of multiple steady states for some biological networks R Bradford, JH Davenport, M England, H Errami, V Gerdt, D Grigoriev, ... Journal of Symbolic Computation 98, 84-119, 2020	29	2020
Thirty Years of Virtual Substitution: Foundations, Techniques, Applications T Sturm Proceedings of the 2018 ACM on International Symposium on Symbolic and …, 2018	29	2018
Subtropical Satisfiability P Fontaine, M Ogawa, T Sturm, XT Vu International Symposium on Frontiers of Combining Systems, 189-206, 2017	29	2017

系统目前无法执行此操作，请稍后再试。

文章 1–20

每年引用数

重复的引用

合并的引用

添加合著者合著作者

上传 PDF

关注此作者

引用次数

合著作者

引用