Automatic Rewrites of Input Expressions in Complex Algebraic Geometry Provers
PH
Private Pädagogische Hochschule Linz
Leistungstyp
Beitrag in einem Sammelwerk
LL Nr
1058
Dis Auftri
DIS_SAMMEL_1058
Jahr
2016
Titel
Automatic Rewrites of Input Expressions in Complex Algebraic Geometry Provers
Quelle
Proceedings of ADG 2016, -, Strasbourg
Autoren
