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/