This package contains code to compute with elliptic curves and abelian surfaces in Hesse form. Part of it is based on the article ABELIAN SURFACES IN HESSE FORM AND EXPLICIT ISOGENY FORMULAS by Thomas ...

VeriPB is a tool for verifying refutations (proofs of unsatisfiability) and more (such as verifying that a valid solution is found) written in python and c++. A quick overview of the proof file format ...

Abstract: The depth-of-focus (DOF) is an important factor to influence the pattern quality but seldom treated in conventional contact or proximity lithography. One explicit formula for DOF prediction ...

When one person observes another making a sandwich or changing a flat tire, knowledge about the parts of the activity can allow the observer to fill in missing information, predict what will happen ...

Get article recommendations from ACS based on references in your Mendeley library. Pair your accounts.