Autor der Publikation

Exploiting Strict Constraints in the Cylindrical Algebraic Covering.

, , , und . SMT, Volume 3429 von CEUR Workshop Proceedings, Seite 33-45. CEUR-WS.org, (2023)

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.

 

Weitere Publikationen von Autoren mit dem selben Namen

Simple CAD Construction and its Applications.. J. Symb. Comput., 31 (5): 521-547 (2001)Fast simplifications for Tarski formulas.. ISSAC, Seite 63-70. ACM, (2009)Faithful Real-Time Animation of Parametrized (Semi-) Algebraic Expressions via Cylindrical Algebraic Decomposition., , und . ACM Commun. Comput. Algebra, 57 (2): 43-46 (Juni 2023)Fast simplifications for Tarski formulas based on monomial inequalities.. J. Symb. Comput., 47 (7): 859-882 (2012)Constructing a single open cell in a cylindrical algebraic decomposition.. ISSAC, Seite 133-140. ACM, (2013)Improved projection for CAD's of R3.. ISSAC, Seite 48-53. ACM, (2000)I learn from you, you learn from me: How to make iList learn from students., , , , , und . AIED, Volume 200 von Frontiers in Artificial Intelligence and Applications, Seite 491-498. IOS Press, (2009)Simplification of Truth-Invariant Cylindrical Algebraic Decompositions.. ISSAC, Seite 295-301. ACM, (1998)Towards Detection of Partial Truth via Real Geometry., , , , , und . SC-Square@ISSAC, Volume 3455 von CEUR Workshop Proceedings, Seite 44-53. CEUR-WS.org, (2023)Analyzing Proposals for Improving Authentication on the TLS/SSL-Protected Web., und . SSR, Volume 8893 von Lecture Notes in Computer Science, Seite 39-56. Springer, (2014)