Danny Aley

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
A program to create new geometry proof problems.
Ann. Math. Artif. Intell., December, 2023

Using GXWeb for Theorem Proving and Mathematical Modelling.
Proceedings of the Proceedings 14th International Conference on Automated Deduction in Geometry, 2023


  Loading...