@article{cisuc-6081-2020,
author={Quaresma, P. and Vanda Santos and Graziani, P. and Baeta, N. },
title={Taxonomies of Geometric Problems},
journal={Journal of Symbolic Computation},
volume={97},
number={n/a},
pages={31--55},
year=2020,
address={n/a},
}
@article{cisuc-6080-2019,
author={Vanda Santos and Baeta, N. and Quaresma, P. },
title={Geometrography in Dynamic Geometry},
journal={The International Journal for Technology in Mathematics Education},
volume={26},
pages={n/a},
number={2},
year=2019,
address={n/a},
}
@article{cisuc-6083-2019,
author={Baeta, N. and Quaresma, P. },
title={Ranking Geometric Automated Theorem Provers},
journal={Electronic Proceedings in Theoretical Computer Science},
volume={290},
number={n/a},
pages={30--37},
year=2019,
address={n/a},
}
@article{cisuc-5713-2018,
author={Quaresma, P. and Vanda Santos and Baeta, N. },
title={Exchange of Geometric Information Between Applications},
journal={EPTCS},
volume={267},
number={n/a},
pages={108--119},
year=2018,
address={n/a},
}
@inproceedings{cisuc-5630-2018,
author={Quaresma, P. and Vanda Santos and Baeta, N. },
title={Exchange of Geometric Information Between Applications},
booktitle={7th International Workshop on Theorem proving components for Educational software},
year=2018,
address={n/a},
}
@inproceedings{cisuc-4522-2015,
author={Quaresma, P. and Baeta, N. },
title={Current Status of the I2GATP common format},
booktitle={Automated Deduction in Geometry (ADG2014)},
year=2015,
address={n/a},
}
@inproceedings{cisuc-3966-2014,
author={Quaresma, P. and Baeta, N. },
title={Current Status of the I2GATP Common Format},
booktitle={10th International Workshop on Automated Deduction in Geometry, 9-11 July 2014, University of Coimbra, Portugal. },
year=2014,
address={n/a},
}
@inproceedings{cisuc-3494-2013,
author={Baeta, N. and Quaresma, P. },
title={The full angle method on the OpenGeoProver},
booktitle={ThEdu'13, TP Components for Educational Software},
year=2013,
address={n/a},
}
@techreport{cisuc-6094-2019,
author={Quaresma, P. and Baeta, N. },
title={Geometry Automated Theorem Provers Systems Competition 0.2 Report},
number={CISUC Technical Report, TR2019-001},
year=2019,
address={n/a},
}