Author:
Hidalgo Marta R.,Joan-Arinyo Robert
Publisher
Springer Science and Business Media LLC
Subject
Artificial Intelligence,Computational Theory and Mathematics,Software
Reference33 articles.
1. Bouma, W., Fudos, I., Hoffmann, C., Cai, J., Paige, R.: Geometric constraint solver. Comput. Aided Des. 27(6), 487–501 (1995)
2. Brüderlin, B.D.: Rule-based geometric modelling. PhD thesis, Institut für Informatik der ETH Zürich (1988)
3. Bournez, O., Potapov, I. (eds.): Reachability problems. In: LNCS, Theoretical Notes in Computer Science, vol. 5797. Palaiseau, France (2009)
4. Denner-Broser, B.: On the decidability of tracing problems in dynamic geometry. In: Hong, H., Wang, D. (eds.) LNAI 3763, pp. 111–129. Springer (2006)
5. Denner-Broser, B.: Tracing problems in dynamic geometry. PhD thesis, Institut für Informatik, Freie Universität Berlin (2008)
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献