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
An investigation of the limits of geometric constructions
Feynman's and Steiner's triangle
Feynman says: "Newton implies Kepler, no calculus needed!"
Loci of midpoints of pedal triangles
Mixtilinear incircles and excircles
Pedal and skew pedal curves of a parabola
Special relativity with Geometry Expressions
Triangle circle limits
Using Geometry Expressions to investigate curves drawn with sticks and string
Geometry Expressions: a constraint based interactive symbolic geometry system
A readability metric for computer-generated mathematics
A system for the symbolic analysis of problems in engineering mechanics
A symbolic engineering mechanics system built on OEM Maple
Mechanism design with Analytix
A constructive variational geometry based mechanism design software package
A k-tree generalization that characterizes consistency of dimensioned engineering drawings
Symbolic analysis of planar drawings