Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For Editors
Author
:
Pascal Schreck
Publications
Determining automatically compass and straightedge unconstructibility in triangles
Pascal Mathis
and
Pascal Schreck
In
:
SCSS 2016. 7th International Symposium on Symbolic Computation in Software Science
Keyphrases
automated reasoning
,
Compass and straightedge construction
,
symbolic computation
.
Copyright © 2012-2024 easychair.org. All rights reserved.