G. Kwaiter;V. Gaildrat;R. Caubet
-;-;-
Constraint satisfaction techniques for the generation phase in declarative modeling
Geometric modeling
Integration of Geometric Elements, Euclidean Relations, and Motion Curves for Parametric Shape and Motion Estimation
IEEE Transactions on Pattern Analysis and Machine Intelligence
SPREADSPACES: Mathematically-Intelligent Graphical Spreadsheets
Concurrency, Graphs and Models