Reasoning about linkages with dynamic geometry

Zoltán Kovács, T. Recio, M. Pilar Vélez

Research output: Contribution to journal › Article › peer-review

Original language	English
Pages (from-to)	16-30
Number of pages	15
Journal	Journal of Symbolic Computation
Volume	97
DOIs	https://doi.org/10.1016/j.jsc.2018.12.003
Publication status	Published - 2020

Fields of science

@article{a50105ba6e9c4071af126807d708cd97,

title = "Reasoning about linkages with dynamic geometry",

author = "Zolt{\'a}n Kov{\'a}cs and T. Recio and \{Pilar V{\'e}lez\}, M.",

year = "2020",

doi = "10.1016/j.jsc.2018.12.003",

language = "English",

volume = "97",

pages = "16--30",

journal = "Journal of Symbolic Computation",

issn = "1095-855X",

publisher = "Elsevier BV",

}

TY - JOUR

T1 - Reasoning about linkages with dynamic geometry

AU - Kovács, Zoltán

AU - Recio, T.

AU - Pilar Vélez, M.

PY - 2020

Y1 - 2020

UR - https://www.scopus.com/pages/publications/85059527937

U2 - 10.1016/j.jsc.2018.12.003

DO - 10.1016/j.jsc.2018.12.003

M3 - Article

SN - 1095-855X

VL - 97

SP - 16

EP - 30

JO - Journal of Symbolic Computation

JF - Journal of Symbolic Computation

ER -