Ulrich Loup und Algebraic - Info zur Person

(1 - 14 von 20

)

Campus Event Calendar: Ulrich Loup ( in E )domino.mpi-inf.mpg.de › internet › events.nsf › Op...

domino.mpi-inf.mpg.de

A Symbiosis of Interval Constraint Propagation and Cylindrical Algebraic Decomposition. Ulrich Loup. RWTH Aachen. Talk. AG 1, AG 2, AG 3, AG 4, AG 5, SWS, ...

GiNaCRA

ginacra.sourceforge.net

GiNaCRA is a C++ library providing data structures and algorithms for Real Algebraic com…tions. GiNaCRA is based on the efficient C++ library GiNaC...

Algebraic Informatics: 4th International Conference, CAI 2011, Linz,...

books.google.de

This book constitutes the refereed proceedings of the 4th International Conference on Algebraic Informatics, CAI 2011, held in Linz, Austria, in June The...

Algebraic Informatics: 4th International Conference, CAI ...books.google.lu › books

books.google.lu

230 Ulrich Loup and Erika ́Abrahám Variable Tree Automata over Infinite Ranked Alphabets Irini-Eleftheria Mens and George Rahonis Author Index ...

Algebraic Informatics: 5th International Conference, CAI 2013,...

books.google.de

This book constitutes the refereed proceedings of the 5th International Conference on Algebraic Informatics, CAI 2013, held in Porquerolles, France in...

Joint Workshop of the German Research Training Groups in Computer...

books.google.lv

Johannes Hölzl Control. Synthesis. and. Optimization. Using. Real. Algebraic. SMT-Solving. Ulrich Loup ...

Rechnerarchitektur - Universität Freiburg

ira.informatik.uni-freiburg.de

Ulrich Loup, Karsten Scheibler, Florian Corzilius, Erika Ábrahám, Bernd Becker A Symbiosis of Interval Constraint Propagation and Cylindrical Algebraic Decomposition CADE, Springer, Band: 7898, Seiten: Kurzfassung We present a novel decision procedure for non-linear real arithmetic: a combination of iSAT, an incomplete SMT ...