John Hester

According to our database1, John Hester authored at least 3 papers between 2019 and 2023.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Revisiting Variable Ordering for Real Quantifier Elimination using Machine Learning.
CoRR, 2023

An Augmented MetiTarski Dataset for Real Quantifier Elimination Using Machine Learning.
Proceedings of the Intelligent Computer Mathematics - 16th International Conference, 2023

2019
Automated ZFC Theorem Proving with E.
CoRR, 2019


  Loading...