Ulrich Loup

According to our database, Ulrich Loup authored at least 10 papers between 2009 and 2013.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2013

On Gröbner Bases in the Context of Satisfiability-Modulo-Theories Solving over the Real Numbers.

Sebastian Junges, Ulrich Loup, Florian Corzilius, Erika Ábrahám

Proceedings of the Algebraic Informatics - 5th International Conference, 2013

A Symbiosis of Interval Constraint Propagation and Cylindrical Algebraic Decomposition.

Ulrich Loup, Karsten Scheibler, Florian Corzilius, Erika Ábrahám, Bernd Becker

Proceedings of the Automated Deduction - CADE-24, 2013

2012

SMT-RAT: An SMT-Compliant Nonlinear Real Arithmetic Toolbox - (Tool Presentation).

Florian Corzilius, Ulrich Loup, Sebastian Junges, Erika Ábrahám

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2012, 2012

2011

GiNaCRA: A C++ Library for Real Algebraic Computations.

Ulrich Loup, Erika Ábrahám

Proceedings of the NASA Formal Methods, 2011

On collaboratively conveying computer science to pupils.

Erika Ábrahám, Nadine Bergner, Philipp Brauner, Florian Corzilius, Nils Jansen, Thiemo Leonhardt, Ulrich Loup, Johanna Nellen, Ulrik Schroeder

Proceedings of the 11th Koli Calling International Conference on Computing Education Research, 2011

I-RiSC: An SMT-Compliant Solver for the Existential Fragment of Real Algebra.

Ulrich Loup, Erika Ábrahám

Proceedings of the Algebraic Informatics - 4th International Conference, 2011

2010

Podcastproduktion als kollaborativer Zugang zur theoretischen Informatik.

Erika Ábrahám, Philipp Brauner, Nils Jansen, Thiemo Leonhardt, Ulrich Loup, Ulrik Schroeder

Proceedings of the DeLFI 2010, 2010

Decision Problems over the Domain of the Real Numbers.

Ulrich Loup

Proceedings of the Joint Workshop of the German Research Training Groups in Computer Science, 2010

A Lazy SMT-Solver for a Non-Linear Subset of Real Algebra.

Erika Ábrahám, Florian Corzilius, Ulrich Loup, Thomas Sturm

Proceedings of the Verification over discrete-continuous boundaries, 04.07. - 09.07.2010, 2010

2009

SMT-Solving for the First-Order Theory of the Reals.

Erika Ábrahám, Ulrich Loup

Proceedings of the Algorithms and Applications for Next Generation SAT Solvers, 08.11., 2009