{"entities":{"Q1099656":{"pageid":1110408,"ns":120,"title":"Item:Q1099656","lastrevid":69639603,"modified":"2026-04-13T08:23:22Z","type":"item","id":"Q1099656","labels":{"en":{"language":"en","value":"A method for the mechanical derivation of formulas in elementary geometry"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4041335"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1099656$BA8F5196-7295-4DD8-B46A-3FF22C19FDE7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a6c5e4b584737bc1ec5af98ecca0ad598f1c0154","datavalue":{"value":{"text":"A method for the mechanical derivation of formulas in elementary geometry","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1099656$7485EB7C-C95C-4F99-9C5F-F462115367D2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"43a56793e019336d3ea3eb0c9d5c71c96147d3dd","datavalue":{"value":"0638.68109","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1099656$8DAC5665-1EEA-45A6-BBA7-C38A00037C05","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cd7a4555937af8a84b7d17f693283c8df39458d0","datavalue":{"value":"10.1007/BF00243793","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1099656$154959A5-DF9C-4B5A-B596-A1837626C9EB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fb9ec420612a063f059cbe6ea0649d56ebd8db08","datavalue":{"value":{"entity-type":"item","numeric-id":242601,"id":"Q242601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1099656$C6EAFB0A-5BFE-495F-AAE4-B37257C5FBF7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1099656$E5A0AAEB-8A3E-4A00-96E9-A1B34F09E569","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1099656$84AE66CA-142C-4AEE-B396-D5C2F53261D3","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0e88aa4ad1cba0445b8d7d93315e2d67ce89de8d","datavalue":{"value":"The author gives a method for proving theorems in elementary geometry, which is in the spirit of \\textit{Wu Wen-ts\u00fcn}'s method [Sci. Sin. 21, 157-172 (1978; Zbl 0376.68057)]. The problem consists in calculating a polynomial g under conditions, represented by zero conditions on other polynomials. Ritt's decomposition algorithm is applied to get all components general in set of variables by which the solution is to be expressed. Afterwards, the polynomial g is normalized by a Gr\u00f6bner basis of the ideal generated by the components. The author shows, how to apply the method to get unknown constants in geometrical problems, as for example the radius of an inscribed circle in a triangle in terms of the three sides. Unfortunately, many information needed in this paper only exists in unpublished form (as in the proof of a theorem).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1099656$3759FF65-11D6-4AF8-91AD-97D8DC33ADB3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1099656$A9C48AD4-A679-4F07-ACD3-3E27C7DB778F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1099656$0F68789D-9021-4DD8-B68C-03F89E9DF79F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1099656$B0AEF974-4ED1-4F19-A45B-01AEFB356332","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fb813fd085e997988b5bd089642e1fd16c757f6f","datavalue":{"value":"4041335","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1099656$49C1B145-A9A9-446B-871F-E3D228EBACA2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7164fb1a146782fc3fc30b688b30936e08cdee92","datavalue":{"value":"geometry theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q1099656$78E9AFE8-DA85-4E59-891F-71D14D19F1EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b2128dcf27b0e63c9eb0d54805ff20de0528404e","datavalue":{"value":"Ritt's decomposition algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q1099656$A3555A68-91B2-4BD9-A225-A129ED785B80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bae09195fd611bccf15c25e209f2742706bae66d","datavalue":{"value":"Gr\u00f6bner basis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1099656$77FA9131-7E2A-4B99-A102-C2173A9A0945","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"2131474b61f9492afe33179f8e943fe4605532de","datavalue":{"value":{"entity-type":"item","numeric-id":167060,"id":"Q167060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1099656$8DEE6A5B-CBD4-40A1-A07B-E4BA8E64720F","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1099656$72E67E62-69A7-4CD6-88B1-1B74E36E8F31","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3dd6f6aa37d35454a5206c911b1c1d84dfd8041f","datavalue":{"value":"https://doi.org/10.1007/bf00243793","type":"string"},"datatype":"url"},"type":"statement","id":"Q1099656$38207FE8-DA9A-4728-8375-94E138E8A0E6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6949993d2776fb9c626a929ca59a6e10733ef2bb","datavalue":{"value":"W2031959479","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1099656$B4E65B8C-51B7-4925-9C65-C16B71E40D45","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2556a49c571b088eb4778b9a55bda1898ff545ef","datavalue":{"value":{"entity-type":"item","numeric-id":3772181,"id":"Q3772181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"904ca796d86f668652ac870107a2ea34a1ce88f1","datavalue":{"value":{"amount":"+0.8507315516471863","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1099656$44E96FF9-468D-412D-9DD8-E09BC4FADAF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb405d1b4c8caad47f3e50a43fc27fa01b73dfa2","datavalue":{"value":{"entity-type":"item","numeric-id":1118424,"id":"Q1118424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2e4b4aae937c4748f8dff244f61adfcda0eaf02","datavalue":{"value":{"amount":"+0.8407775163650513","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1099656$807EB62C-8B87-4FBB-80EC-7A709DFCE116","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a68f59ae32b2681c35c7ea8f212502168273b26","datavalue":{"value":{"entity-type":"item","numeric-id":3994509,"id":"Q3994509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"754ce464cba940fb592401e6eed90e1c687e642f","datavalue":{"value":{"amount":"+0.8279086351394653","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1099656$C537F472-CF7B-44B0-8C90-2DB97A979BC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b01bafaca53f2a6311f436ba6820a7b80f28b96","datavalue":{"value":{"entity-type":"item","numeric-id":3700871,"id":"Q3700871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"473926791796db0a6e4d1dc730f6f1c670bbb949","datavalue":{"value":{"amount":"+0.814769446849823","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1099656$4F4B6CBA-147E-4878-A953-A9832FFBFD48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d9c1ea68d0bc3fd5781a58395331c016fbee2e4","datavalue":{"value":{"entity-type":"item","numeric-id":6488532,"id":"Q6488532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd688173b35119a63ea1d2b635c47444bf09b94b","datavalue":{"value":{"amount":"+0.8146140575408936","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1099656$FDABE98A-9C77-40E9-90C1-B5DF97363EFB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A method for the mechanical derivation of formulas in elementary geometry","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_method_for_the_mechanical_derivation_of_formulas_in_elementary_geometry"}}}}}