TY  - RPRT
TI  - A library of Taylor models for PVS automatic proof checker
AU  - Francisco Cháves
AU  - Marc Daumas
PY  - 2006
UR  - https://arxiv.org/abs/cs/0602005
ID  - cs/0602005
ER  -