Danny Aley

According to our database, Danny Aley authored at least 2 papers in 2023.

Collaborative distances:

• Dijkstra number of eight.
• Erdős number of seven.

2023

A program to create new geometry proof problems.

Philip H. Todd, Danny Aley

Ann. Math. Artif. Intell., December, 2023

Using GXWeb for Theorem Proving and Mathematical Modelling.

Philip H. Todd, Danny Aley

Proceedings of the Proceedings 14th International Conference on Automated Deduction in Geometry, 2023