( en | de | ru )

 

Disambiguierung von "Sturm, Thomas"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Satisfiability checking and symbolic computation.

, , , , , , , , , , , , , , und . ACM Commun. Comput. Algebra, 50 (4): 145-147 (2016)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Thomas Sturm

Thomas Sturm

Thomas Sturm

Thomas Sturm

Thomas Sturm

 

Weitere Publikationen von Autoren mit dem selben Namen

A Linear Algebra Approach for Detecting Binomiality of Steady State Ideals of Reversible Chemical Reaction Networks., und . CoRR, (2020)Visual-reinforcer color, and operant behavior in Siamese Fighting Fish, und . Journal of the Experimental Analysis of Behavior, (1965)Editorial., und . Appl. Algebra Eng. Commun. Comput., 18 (6): 495-496 (2007)Effective Quantifier Elimination for Presburger Arithmetic with Infinity., und . CASC, Volume 5743 von Lecture Notes in Computer Science, Seite 195-212. Springer, (2009)Positive Solutions of Systems of Signed Parametric Polynomial Inequalities., und . CASC, Volume 11077 von Lecture Notes in Computer Science, Seite 238-253. Springer, (2018)Symbolic Computation and Satisfiability Checking (Dagstuhl Seminar 15471)., , , und . Dagstuhl Reports, 5 (11): 71-89 (2015)Sudoku and A.I... IC-AI, Seite 910-911. CSREA Press, (2009)Foreword., , , und . Math. Comput. Sci., 16 (2-3): 16 (2022)Subtropical Satisfiability., , , und . FroCoS, Volume 10483 von Lecture Notes in Computer Science, Seite 189-206. Springer, (2017)Parametric Toricity of Steady State Varieties of Reaction Networks., und . CASC, Volume 12865 von Lecture Notes in Computer Science, Seite 314-333. Springer, (2021)