Ulrich Loup

loup

Email
loup at cs.rwth-aachen.de
Phone
+49 241 80 21244
Address
Room 4227
Ahornstraße 55
D-52074 Aachen

View Ulrich Loup's profile on LinkedIn Ulrich Loup Ulrich Loup

Projects

DFG project
OASys — Online Algorithms for Optimal Control of Hybrid Propulsion Systems
  • Research position
  • Assistance in application phase
DFG Research Training Group
  • Collegiate
  • Former Scholarship Holder 
http://www.algosyn.rwth-aachen.de/

Software projects

GiNaCRA — GiNaC Real Algebra package

    An open-source C++ library extending the C++ library GiNaC which provides algebraic capabilities including support for symbolic manipulations on polynomials. GiNaCRA aims at providing real algebraic computations based on the efficient GiNaC framework.
    Available at:
    http://ginacra.sourceforge.net/

 

SMT-RAT — The Satisfiability–Modulo–Theories Real Arithmetic Toolbox

    An open-source C++ toolbox offering theory solver modules for the development of SMT solvers for nonlinear real arithmetic (NRA).
    Available at:
    http://smtrat.sourceforge.net/

Selected publications

Please give name and surname so we can identify the person uniquely.