1.
|
Resolution based techniques for automated proving of theorems in Tarskian-Euclidian geometry Savchenko, Sergei.
|
2.
|
Second order sensitivity analysis in mathematical programming Nahum, Carole
|