Login / Signup
Eva Darulova
ORCID
Publication Activity (10 Years)
Years Active: 2011-2023
Publications (10 Years): 48
Top Topics
Error Bounds
Knuth Bendix
Elementary Functions
Term Rewriting
Top Venues
CoRR
ACM Trans. Embed. Comput. Syst.
SAS
FM
</>
Publications
</>