From natural language to geometric diagrams: A hybrid LLM constraint system for diagram construction
Theorem discovery amongst cyclic polygons
Using GXWeb for theorem proving and mathematical modelling
Trigonometric Functions and the Sensations of Tone
A program to create new geometry proof problems
Automated discovery of angle theorems
A method for the automated discovery of angle theorems
A browser based mathematical investigation with GXWeb and WolframAlpha
A symbolic dynamic geometry system using the analytical geometry method
A system for automated deduction in engineering mechanics
Solve first – ask questions later: Discovering geometry using symbolic geometry and CAS
Using force to crack some geometry chestnuts
A mechanical 'proof' of the largest outscribed equilateral triangle
Approximating circular arcs with cubic splines
Symbolic geometry software and proofs
Aligning solar cookers: a case study in the use of symbolic geometry and CAS to investigate a real world problem
Geometry Expressions: an interactive constraint based symbolic geometry system
Problem solving with symbolic geometry and CAS
From string art to caustic curves: envelopes in symbolic geometry
Recursive Napoleon-like constructions investigated with a symbolic geometry system
Geometry Expressions: a constraint based interactive symbolic geometry system
A system for the symbolic analysis of problems in engineering mechanics
A symbolic engineering mechanics system built on OEM Maple
A constructive variational geometry based mechanism design software package
A k-tree generalization that characterizes consistency of dimensioned engineering drawings