Thomas Sturm

Получаване на мой собствен потребителски профил

Позовавания

	Всички	От 2020
Позовавания	2471	611
h-индекс	25	14
i10-индекс	52	22

180

135

19961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202515 30 42 80 49 50 28 73 94 50 81 108 35 54 78 89 99 93 90 98 130 90 162 98 119 146 121 85 122 16

Публичен достъп

Преглед на всички

28 статии

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
Ovidiu RadulescuProfessor at University of MontpellierПотвърден имейл адрес: umontpellier.fr
Marek KoštaSlovak Academy of SciencesПотвърден имейл адрес: savba.sk
Dima GrigorievDirecteur de recherche, CNRS, LilleПотвърден имейл адрес: math.univ-lille1.fr
Pascal FontaineLORIA, INRIA, Université de Lorraine, Nancy, FranceПотвърден имейл адрес: loria.fr
James DavenportHebron & Medlock Professor of Information Technology, University of Bath; former Vice-President, BCSПотвърден имейл адрес: bath.ac.uk
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
Hamid RahkooyUniversity of OxfordПотвърден имейл адрес: maths.ox.ac.uk
Vladimir GerdtJoint Institute for Nuclear ResearchПотвърден имейл адрес: jinr.ru

Следене

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	539	1997
Real quantifier elimination in practice A Dolzmann, T Sturm, V Weispfenning Algorithmic Algebra and Number Theory: Selected Papers From a Conference …, 1999	161	1999
Simplification of quantifier-free formulae over ordered fields A Dolzmann, T Sturm J. Symb. Comput. 24 (2), 209-231, 1997	146	1997
Efficient projection orders for CAD A Dolzmann, A Seidl, T Sturm Proceedings of the 2004 international symposium on Symbolic and algebraic …, 2004	132	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	116	1998
Verification and synthesis using real quantifier elimination T Sturm, A Tiwari Proceedings of the 36th international symposium on Symbolic and algebraic …, 2011	90	2011
Redlog user manual A Dolzmann, T Sturm FMI, Universität Passau, 1996	89	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	68	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	54	2016
Computational geometry problems in Redlog T Sturm, V Weispfenning Automated Deduction in Geometry: International Workshop on Automated …, 1997	53	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	45	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	44	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
Thirty Years of Virtual Substitution: Foundations, Techniques, Applications T Sturm Proceedings of the 2018 ACM on International Symposium on Symbolic and …, 2018	34	2018
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	34	2017
Linear problems in valued fields T Sturm Journal of Symbolic Computation 30 (2), 207-219, 2000	33	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	31	2020
Subtropical Satisfiability P Fontaine, M Ogawa, T Sturm, XT Vu International Symposium on Frontiers of Combining Systems, 189-206, 2017	31	2017
A Case Study on the Parametric Occurrence of Multiple Steady States T Sturm, R Bradford, J Davenport, M England, H Errami, V Gerdt, ... Proc. ISSAC 2017, 2017	30*	2017

Системата не може да изпълни операцията сега. Опитайте отново по-късно.

Статии 1–20

Позовавания годишно

Дублирани описания

Обединени библиографски описания

Добавяне на съавториСъавтори

Следене

Позовавания

Съавтори