A method for the mechanical derivation of formulas in elementary geometry
Journal of Automated Reasoning
Mechanical geometry theorem proving
Mechanical geometry theorem proving
Variation of geometrics based on a geometric-reasoning method
Computer-Aided Design
Algebraic methods for geometric reasoning
Annual review of computer science: vol. 3, 1988
A graphical editor for three-dimensional constraint-based geometric modeling
A graphical editor for three-dimensional constraint-based geometric modeling
An object-oriented 3D graphics toolkit
SIGGRAPH '92 Proceedings of the 19th annual conference on Computer graphics and interactive techniques
Using constraints for user interface construction
Using constraints for user interface construction
Skyblue: a multi-way local propagation constraint solver for user interface construction
UIST '94 Proceedings of the 7th annual ACM symposium on User interface software and technology
An incremental algorithm for satisfying hierarchies of multiway dataflow constraints
ACM Transactions on Programming Languages and Systems (TOPLAS)
Constructing three-dimensional geometric objects defined by constraints
I3D '86 Proceedings of the 1986 workshop on Interactive 3D graphics
Juno, a constraint-based graphics system
SIGGRAPH '85 Proceedings of the 12th annual conference on Computer graphics and interactive techniques
Erep: An editable, high-level representation for geometric design and analysis
Selected and Expanded Papers from the IFIP TC5/WG5.2 Working Conference on Geometric Modeling for Product Realization
Sketch pad a man-machine graphical communication system
DAC '64 Proceedings of the SHARE design automation workshop
Thinglab--a constraint-oriented simulation laboratory.
Thinglab--a constraint-oriented simulation laboratory.
Assisted multitouch image-based reconstruction
Proceedings of the Seventh Sketch-Based Interfaces and Modeling Symposium
Using multi-agent systems for constraint-based modeling
Proceedings of the 28th Spring Conference on Computer Graphics
Hi-index | 0.00 |