User Portlet
David Harness
Not indicated
LOCATION: Not indicated
WEBSITE: Not indicated
BLOG: Not indicated
INTERESTS IN JOBS & NETWORKING: Not indicated
ABOUT ME:
Constructive Quantum Field Theory
Interested in expanding Theorem Proving operator FindEquationProof to the analytic domain.