( en | de | ru )

 

Disambiguierung von "Sturm, Thomas"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A generic projection operator for partial cylindrical algebraic decomposition.

, und . ISSAC, Seite 240-247. ACM, (2003)

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

Visual-reinforcer color, and operant behavior in Siamese Fighting Fish, und . Journal of the Experimental Analysis of Behavior, (1965)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)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)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)Integration of Quantifier Elimination with Constraint Logic Programming.. AISC, Volume 2385 von Lecture Notes in Computer Science, Seite 7-11. Springer, (2002)Automatic Verification of the Adequacy of Models for Families of Geometric Objects., und . Automated Deduction in Geometry, Volume 6301 von Lecture Notes in Computer Science, Seite 116-140. Springer, (2008)Weak Integer Quantifier Elimination Beyond the Linear Case., und . CASC, Volume 4770 von Lecture Notes in Computer Science, Seite 275-294. Springer, (2007)