Login / Signup
Ellen Lehet
ORCID
Publication Activity (10 Years)
Years Active: 2021-2021
Publications (10 Years): 2
Top Topics
Computer Algebra
Version Space
Rule Induction
Precise Definition
Top Venues
Notre Dame J. Formal Log.
Synth.
</>
Publications
</>
Ellen Lehet
Induction and explanatory definitions in mathematics.
Synth.
198 (2) (2021)
Ellen Lehet
Impurity in Contemporary Mathematics.
Notre Dame J. Formal Log.
62 (1) (2021)