Thomas Sturm

Citata da

	Tutte	Dal 2019
Citazioni	2425	669
Indice H	25	15
i10-index	49	24

180

135

1996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202415 30 41 80 49 51 28 72 94 50 77 109 30 57 79 85 98 93 87 106 131 91 161 97 116 145 115 86 107

Accesso pubblico

Visualizza tutto

28 articoli

0 articoli

Disponibili

Non disponibili

In base ai mandati di finanziamento

Coautori

Andreas WeberProfessor of Computer Science, University of BonnEmail verificata su cs.uni-bonn.de
Werner M. SeilerProfessor für Mathematik, Universität KasselEmail verificata su mathematik.uni-kassel.de
Dr. Hassan ErramiUniversity of BonnEmail verificata su cs.uni-bonn.de
Ovidiu RadulescuProfessor at University of MontpellierEmail verificata su umontpellier.fr
Marek KoštaSlovak Academy of SciencesEmail verificata su savba.sk
Dima GrigorievDirecteur de recherche, CNRS, LilleEmail verificata su math.univ-lille1.fr
James DavenportHebron & Medlock Professor of Information Technology, University of Bath; former Vice-President, BCSEmail verificata su bath.ac.uk
Pascal FontaineLORIA, INRIA, Université de Lorraine, Nancy, FranceEmail verificata su loria.fr
Erika AbrahamProfessor, Computer Science Department, RWTH Aachen UniversityEmail verificata su cs.rwth-aachen.de
Alberto GriggioResearcher, Fondazione Bruno KesslerEmail verificata su fbk.eu
Xuan Tung VuPh.D. Student at JAISTEmail verificata su jaist.ac.jp
Daniel KroeningAmazonEmail verificata su amazon.com
Bernd BeckerProfessor of Computer Science, University of FreiburgEmail verificata su informatik.uni-freiburg.de
Martin BrainCity, University of LondonEmail verificata su city.ac.uk
John AbbottRicercatore di Algebra, Universita` di GenovaEmail verificata su dima.unige.it
Anna Maria BigattiRicercatore di Algebra, Universita' degli Studi di GenovaEmail verificata su dima.unige.it
Bruno BuchbergerProfesser for Computer Mathematics, Johannes Kepler UniversityEmail verificata su jku.at
Christoph WeidenbachProfessor of Computer Science, Max Planck Institute for Informatics, Saarland Informatics CampusEmail verificata su mpi-inf.mpg.de
Vladimir GerdtJoint Institute for Nuclear ResearchEmail verificata su jinr.ru
Hamid RahkooyUniversity of OxfordEmail verificata su maths.ox.ac.uk

Segui

Thomas Sturm

Research Director, CNRS

Email verificata su loria.fr - Home page

Symbolic Computation Automated Reasoning


Titolo Ordina per citazioni Ordina per anno Ordina per titolo	Citata da Citata da	Anno
Redlog: Computer algebra meets computer logic A Dolzmann, T Sturm Acm Sigsam Bulletin 31 (2), 2-9, 1997	529	1997
Real quantifier elimination in practice A Dolzmann, T Sturm, V Weispfenning Algorithmic Algebra and Number Theory: Selected Papers From a Conference …, 1999	159	1999
Simplification of quantifier-free formulae over ordered fields A Dolzmann, T Sturm J. Symb. Comput. 24 (2), 209-231, 1997	143	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	115	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	55	2016
Computational geometry problems in Redlog T Sturm, V Weispfenning Automated Deduction in Geometry: International Workshop on Automated …, 1997	52	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	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
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	36	2007
Reasoning over networks by symbolic methods T Sturm Applicable Algebra in Engineering, Communication and Computing 10, 79-96, 1999	36	1999
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	32	2017
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
Thirty Years of Virtual Substitution: Foundations, Techniques, Applications T Sturm Proceedings of the 2018 ACM on International Symposium on Symbolic and …, 2018	31	2018
Linear problems in valued fields T Sturm Journal of Symbolic Computation 30 (2), 207-219, 2000	31	2000
Subtropical Satisfiability P Fontaine, M Ogawa, T Sturm, XT Vu International Symposium on Frontiers of Combining Systems, 189-206, 2017	30	2017

Il sistema al momento non può eseguire l'operazione. Riprova più tardi.

Articoli 1–20

Citazioni per anno

Citazioni duplicate

Citazioni unite

Aggiungi coautoriCoautori

Segui

Citata da

Coautori