Sciweavers

16516 search results - page 141 / 3304
» A New Approach for FCSRs
Sort
View
JAR
1998
61views more  JAR 1998»
15 years 5 months ago
A New Approach for Automatic Theorem Proving in Real Geometry
Andreas Dolzmann, Thomas Sturm, Volker Weispfennin...
COR
2008
87views more  COR 2008»
15 years 5 months ago
New integer linear programming approaches for course timetabling
Natashia Boland, Barry D. Hughes, Liam T. G. Merlo...