1 – 5 of 5
- show: 10
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=" "
width=" "
height=" "
allowtransparency="true"
frameborder="0">
</iframe>
- 2020
- Verifying Properties of Bit-vector Multiplication Using Cutting Planes Reasoning (
- 2009
- Pose Estimation with Radial Distortion and Unknown Focal Length (
- 2002
- Formal Languages and Automata in Computational Algebra (
- 2001
- Canonical Bases for Algebraic Computations (
- 2000
- Combinatorial methods in computer algebra (