Login / Signup
Danny Aley
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 2
Top Topics
Timed Automata
Natural Deduction
Mathematical Knowledge
Geometry Theorem Proving
Top Venues
Ann. Math. Artif. Intell.
ADG
</>
Publications
</>
Philip H. Todd
,
Danny Aley
A program to create new geometry proof problems.
Ann. Math. Artif. Intell.
91 (6) (2023)
Philip H. Todd
,
Danny Aley
Using GXWeb for Theorem Proving and Mathematical Modelling.
ADG
(2023)