简介：Theemergenceofalargequantityofdigitalresourcesingeometry,variousgeometricautomatedtheoremprovingsystems,andkindsofdynamicgeometrysoftwaresystemshasmadegeometriccomputation,reasoning,drawing,andknowledgemanagementdynamic,automaticorinteractiveoncomputer.Integrationofelectroniccontentsanddifferentsystemsisdesiredtoenhancetheiraccessibilityandexploitability.Thispaperproposesanequivalenttransformationframeworkformanipulatinggeometricstatementsavailableintheliteraturebyusinggeometrysoftwaresystems.Suchaframeworkworksbasedonanewlydesignedgeometrydescriptionlanguage(GDL),inwhichgeometricstatementscanberepresentednaturallyandeasily.TheauthordiscussesandpresentskeyproceduresofautomaticallytransformingGDLstatementsintotargetsystem-nativerepresentationsformanipulation.Theauthoralsodemonstratestheframeworkbyillustratingequivalenttransformationprocessesandinterfacesforcompilingthetransformationresultsintoexecutableformatsthatcanbeinterpretedbythetargetgeometrysoftwaresystemsforautomatedtheoremprovinganddynamicdiagramdrawing.

简介：