A k-tree generalization that characterized consistency of dimensioned engineering drawings
SIAM Journal on Discrete Mathematics
Symbolic Analysis of Planar Drawings
ISAAC '88 Proceedings of the International Symposium ISSAC'88 on Symbolic and Algebraic Computation
A bridge between dynamic geometry and computer algebra
Mathematical and Computer Modelling: An International Journal
Connecting the 3D DGS Calques3D with the CAS Maple
Mathematics and Computers in Simulation
A maple package for automatic theorem proving and discovery in 3D-geometry
ADG'06 Proceedings of the 6th international conference on Automated deduction in geometry
Automatic deduction in (dynamic) geometry: Loci computation
Computational Geometry: Theory and Applications
Hi-index | 0.00 |
Real Euclidean geometry is a basic mathematical dialect, not only of high school students, but also of mechanical engineers, graphics programmers, architects, surveyors, machinists, and many more. In this paper, we present "Geometry Expressions": an interactive symbolic geometry package. The aim of the software is to generate algebraic formulas from geometry. It is a further intention of the software that the model should be entered interactively in a style which is convenient to both the geometry consumer groups identified above.