The following pages link to (Q2738483):
Displaying 10 items.
- A Modeling Language for Mathematical Programming (Q65612) (← links)
- Nonlinear transformations for the simplification of unconstrained nonlinear optimization problems (Q301110) (← links)
- Modeling max-min fair bandwidth allocation in BitTorrent communities (Q513724) (← links)
- DrAmpl: A meta solver for optimization problem analysis (Q601972) (← links)
- Programming and symbolic computation in Maude (Q2291818) (← links)
- Programmed search in a timetabling problem over finite domains (Q2873803) (← links)
- Extending an algebraic modeling language to support constraint programming (Q2884540) (← links)
- (Q3985360) (← links)
- (Q5309428) (← links)
- Mathemagix: Towards Large Scale Programming for Symbolic and Certified Numeric Computations (Q5747899) (← links)