Abstract: We derived close form formulas for calculating the effect of jitter on sampling a sine wave. The close-form formulas were compared versus the common maximum slope approximation and against ...

PDDL-Prover allows to construct arbitrary formulas in first-order logic (FOL) in Python, using a declarative syntax and including counting quantifiers. Then, the truth values of these formulas can be ...

Written as an safe alternative to Pythons eval() function the aim was to provide a lightweight library that could evaluate mathematical formulas provided by users in a safe way.