( en | de | ru )

 

Disambiguation of "Ballarin, Clemens"

Author of the publication

copydeleteadd this publication to your clipboard
Four Approaches to Automated Reasoning with Differential Algebraic Structures.

, , and . AISC, volume 3249 of Lecture Notes in Computer Science, page 222-235. Springer, (2004)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Erwin Ballarin

Werner Ballarin

Wolfgang Ballarin

Claus Ballarin

Heinrich Ballarin

 

Other publications of authors with the same name

Towards monitoring temporal properties with JamaicaVM.. JTRES, page 89-95. ACM, (2013)Computer algebra and theorem proving. Karlsruhe University, Germany, (2008)base-search.net (ftubkarlsruhe:oai:EVASTAR-Karlsruhe.de:341699).Solving Parametric Linear Systems: an Experiment with Constraint Algebraic Programming, and . Eighth Rhine Workshop on Computer Algebra, page 101-114. (2002)Maple's evaluation process as constraint contextual rewriting., and . ISSAC, page 32-37. ACM, (2001)Reading an algebra textbook.. CICM Workshops, volume 1010 of CEUR Workshop Proceedings, CEUR-WS.org, (2013)Extracting Computer Algebra Programs from Statements., , and . EUROCAST, volume 3643 of Lecture Notes in Computer Science, page 159-168. Springer, (2005)Four Approaches to Automated Reasoning with Differential Algebraic Structures., , and . AISC, volume 3249 of Lecture Notes in Computer Science, page 222-235. Springer, (2004)Two Generalisations of Roşu and Chen's Trace Slicing Algorithm A.. RV, volume 8734 of Lecture Notes in Computer Science, page 15-30. Springer, (2014)Locales and Locale Expressions in Isabelle/Isar.. TYPES, volume 3085 of Lecture Notes in Computer Science, page 34-50. Springer, (2003)Theorems and Algorithms: An Interface between Isabelle and Maple., , and . ISSAC, page 150-157. ACM, (1995)