Foreword to the Special Focus on Automated Deduction in Geometry

Xiaoyu Chen; Hongbo Li; Jing Yang

doi:10.1007/s11786-020-00488-8

Foreword to the Special Focus on Automated Deduction in Geometry

Xiaoyu Chen^*
, Hongbo Li
, Jing Yang

^*Corresponding author for this work

School of Mathematical Sciences

Chinese Academy of Sciences
Guangxi University for Nationalities

Research output: Contribution to journal › Editorial

Original language	English
Pages (from-to)	671-672
Number of pages	2
Journal	Mathematics in Computer Science
Volume	14
Issue number	4
DOIs	https://doi.org/10.1007/s11786-020-00488-8
State	Published - 1 Dec 2020

Access to Document

10.1007/s11786-020-00488-8

Cite this

@article{91569bdd77bd4903913d7a74587b880b,

title = "Foreword to the Special Focus on Automated Deduction in Geometry",

author = "Xiaoyu Chen and Hongbo Li and Jing Yang",

year = "2020",

month = dec,

day = "1",

doi = "10.1007/s11786-020-00488-8",

language = "英语",

volume = "14",

pages = "671--672",

journal = "Mathematics in Computer Science",

issn = "1661-8270",

publisher = "Birkhauser Verlag Basel",

number = "4",

}

TY - JOUR

T1 - Foreword to the Special Focus on Automated Deduction in Geometry

AU - Chen, Xiaoyu

AU - Li, Hongbo

AU - Yang, Jing

PY - 2020/12/1

Y1 - 2020/12/1

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

U2 - 10.1007/s11786-020-00488-8

DO - 10.1007/s11786-020-00488-8

M3 - 社论

AN - SCOPUS:85086848319

SN - 1661-8270

VL - 14

SP - 671

EP - 672

JO - Mathematics in Computer Science

JF - Mathematics in Computer Science

IS - 4

ER -

Foreword to the Special Focus on Automated Deduction in Geometry

Access to Document

Other files and links

Cite this