The Full Angle Method on the Opengeoprover

AuthID
P-00G-1PK
2
Author(s)
1
Editor(s)
Carette J.Quaresma P.Whiteside I.Lange C.Libbrecht P.Kohlhase M.Whiteside IAspinall D.Sojka P.Windsteiger W.Davenport J.H.Kohlhase A.Rabe F.
Document Type
Proceedings Paper
Year published
2013
Published
in CEUR Workshop Proceedings, ISSN: 1613-0073
Volume: 1010
Conference
Joint Workshops of the 8Th Workshop on Mathematical User Interfaces, Mathui 2013, 25Th Openmath Workshop, Openmath 2013, 5Th International Workshop on Programming Languages for Mechanised Mathematical Systems, Plmms 2013 and the 2Nd International Workshop on Theorem Proving Components for Educational Software, Thedu 2013 and Work in Progress at Conference on Intelligent Computer Mathematics, Cicm 2013, Date: 9 July 2013 through 10 July 2013
Indexing
Publication Identifiers
Scopus: 2-s2.0-84924891855
Source Identifiers
ISSN: 1613-0073
Export Publication Metadata
Marked List
Info
At this moment we don't have any links to full text documens.