{"entities":{"Q2631957":{"pageid":2642700,"ns":120,"title":"Item:Q2631957","lastrevid":53426111,"modified":"2026-01-24T22:51:18Z","type":"item","id":"Q2631957","labels":{"en":{"language":"en","value":"Rewriting input expressions in complex algebraic geometry provers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7055777"}},"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":"Q2631957$70EC5686-C734-400C-8F3D-D14D4DB88A14","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"45f5b9966b54524661f1e2dcba5142a013edefec","datavalue":{"value":{"text":"Rewriting input expressions in complex algebraic geometry provers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2631957$250F179C-9399-49F3-A7AC-DB2C2E4AB517","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"75f12ccab5604e019785dcc53ecc1aaac26c9656","datavalue":{"value":"1423.13004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2631957$0C5033F8-B27E-4FE1-A29D-7BFD95CE8C8B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d6c65643f35a2e2da08306f945b322cc9b173cbd","datavalue":{"value":{"entity-type":"item","numeric-id":286776,"id":"Q286776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2631957$DFC4D202-448B-4CB5-AC64-4B9F9C1519D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0b33e7f3a7e919a04928c6ee8db27554717ee455","datavalue":{"value":{"entity-type":"item","numeric-id":2631956,"id":"Q2631956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2631957$D244E227-F14C-4DDB-B4A1-5F1DA6F41589","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"59d44f3333e2f9dff43dcfba05e4d5cf19ad4778","datavalue":{"value":{"entity-type":"item","numeric-id":286778,"id":"Q286778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2631957$5ADE8344-EC96-4109-8053-07913B566E91","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7346dc34d1d50fea46ec345fbc7e3214530889ab","datavalue":{"value":{"entity-type":"item","numeric-id":276517,"id":"Q276517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2631957$F984E477-9EB5-4FD6-9842-BAFE7165DB3E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d892d61c8fad68bfab9f26cb162b50f4ea172c31","datavalue":{"value":{"time":"+2019-05-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2631957$815C1E34-3535-436B-9C0F-C4C98582D48B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"804e7d37a723a41e4a269642dccdb8d712428fb2","datavalue":{"value":"The use of dynamic geometry by complex algebraic provers help to understand both the input and the output of classical theorems that involve Euclidean geometry. For dynamic geometry to exist, there must be an algebraic formulation behind. This may seem simple, but it is highly complex. The programmer has to consider degenerate situations and different situations over the complex numbers when formulating correctly. This work offers illustrative examples of this problem and its authors are experts in this field. By using classical tools of commutative algebra, such as elimination ideals and Groebner basis, in Section 4 the authors present an algorithm to convert expressions having non-negative quantities (like distances) in Euclidean geometry theorems to be usable in a complex algebraic geometry prover.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2631957$9F9B070B-B9A4-4A05-9D27-4CD6ACBE848E","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"711aa22cb7d2a9b468bf8d0bcd8ead5433906677","datavalue":{"value":{"entity-type":"item","numeric-id":831960,"id":"Q831960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2631957$D26D4DF0-0651-4021-9ADE-4CC05D006636","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f7f43158b42f0a7240ceb9aa177f89dce451dc7","datavalue":{"value":"13-04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2631957$AF82EE53-8220-4DF6-9B44-F1DDAE17F6FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"173b0c3afec7c4f9f987722665cc7bdb6b8f5813","datavalue":{"value":"13P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2631957$CC2DC31D-84D6-4FD5-BC45-ED4B5C712C31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2631957$1999B3AB-2D5D-4F09-B296-E3BA3CCB2AB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"65ef089ab6dd31e83c3611c992a3cfd8973b58bb","datavalue":{"value":"14Q20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2631957$9F1C2CC9-1A2D-4D5B-8BAE-67D385D118BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0d8912a48ac60770db1c80088e9517c70dd683cc","datavalue":{"value":"51-04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2631957$C9F2E2B0-4560-48EB-9979-B948E98EFF48","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a50a86534a6039cd5453ee06b1002b2a3009263f","datavalue":{"value":"7055777","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2631957$2F8A4857-67AC-4356-9EFA-8F4CF2A0C7DB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d2aa687cef17cd912aad76972cec097c0540be8","datavalue":{"value":"automatic theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q2631957$5BA57A69-B5ED-444F-BF39-213F8401C544","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"57f20965ffbf9f0f3788083c812f82ba440cbfac","datavalue":{"value":"automatic theorem deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2631957$97A39FFC-E99E-42B1-97D0-BCBE439F0C56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2389277681349e11a8e9c9f81abbb9abc8eb91b","datavalue":{"value":"complex algebraic geometry","type":"string"},"datatype":"string"},"type":"statement","id":"Q2631957$34798A42-795E-46A1-9C17-94F89555DEB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fee9677937af4280ca2b7da086523ad813e30fbe","datavalue":{"value":"elementary geometry","type":"string"},"datatype":"string"},"type":"statement","id":"Q2631957$A8C09324-1C1A-4ADB-8F46-CEBC167C61CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d1648434005540dd7a53421c4703f302aa64b3f","datavalue":{"value":"dynamic geometry software","type":"string"},"datatype":"string"},"type":"statement","id":"Q2631957$10AE9FF3-7A65-4928-9C5F-B4D5ECDAF1F7","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ef03848f41f59da431665c121436ac0a6bc94ac2","datavalue":{"value":{"entity-type":"item","numeric-id":13610,"id":"Q13610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2631957$7027D5D7-AE65-4A8D-8B78-B57E29131044","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ebe2977d14a6006fa56768c0bbf4b09337d85306","datavalue":{"value":{"entity-type":"item","numeric-id":16387,"id":"Q16387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2631957$7DBE11E8-7ACC-4622-BC08-168E53737010","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f9f198e68d76fbe465111bca4c53f6e9fff596ed","datavalue":{"value":{"entity-type":"item","numeric-id":19232,"id":"Q19232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2631957$64AD3854-8450-4CEB-B5E0-A8D7769F42D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"97d7cc0b4df8bbc3ba9ede16de8204f49c9583ef","datavalue":{"value":{"entity-type":"item","numeric-id":25527,"id":"Q25527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2631957$8A7ACC08-4513-453B-A29A-52BC89AA1873","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e5a467e2b8559126e673a21cece3f03b6086929d","datavalue":{"value":{"entity-type":"item","numeric-id":21940,"id":"Q21940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2631957$34B23535-86F0-4AA9-B036-4ED9E1547028","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":"Q2631957$5EE4C7AE-3629-4679-A2E6-357D73E734E4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"68ee476c5d0a7cd53bdb6a2b85adc67e16e8d62b","datavalue":{"value":"https://doi.org/10.1007/s10472-018-9590-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q2631957$45AB049B-08FF-4B7C-A2AF-517B42887704","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dd9a416800896f74f66844c360458185849c896d","datavalue":{"value":"W2806525680","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2631957$253154CE-6599-4C52-83DB-5F978ABC475B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b9ce3fd590f4e1e8b190609d9ae1cb8518e9d37","datavalue":{"value":{"entity-type":"item","numeric-id":286780,"id":"Q286780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2631957$EF2BD38B-77AD-4842-98AC-0817575CCD2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"953e262a3244da8dda3464b2c191683b0afa692b","datavalue":{"value":{"entity-type":"item","numeric-id":3994509,"id":"Q3994509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2631957$B4F3A38E-A4B9-415F-899C-E47E03C6406F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"180dcdcd70e7dd722922a02e19e8df3d14ff3abb","datavalue":{"value":{"entity-type":"item","numeric-id":3413659,"id":"Q3413659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2631957$201450EB-7F11-4010-95AB-DBCD4C6A9442","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85e63bab69bf3dbb3d827a603c12c64f6ff4700f","datavalue":{"value":{"entity-type":"item","numeric-id":1272610,"id":"Q1272610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2631957$812850B3-B2DE-42C2-9329-117485C1A1AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb88951437ccd14e6bdebc77cda052045a02f0ce","datavalue":{"value":{"entity-type":"item","numeric-id":1094150,"id":"Q1094150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2631957$7A2AF291-77DE-4844-A536-B6D07F0A8869","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9fd657fd4badf9c504d4532e58cfc4c53d43f2f","datavalue":{"value":{"entity-type":"item","numeric-id":5270196,"id":"Q5270196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2631957$4D4A517D-FFBD-4F45-A6D0-1C5B7AB53995","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fc489a7e9dbeffe6310e403adc98026c3354141","datavalue":{"value":{"entity-type":"item","numeric-id":5307230,"id":"Q5307230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2631957$C54A776C-6962-4FC7-AB21-BDD476D7509E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"236ff075b6336e5a62a73c551fd46afb75eb22f7","datavalue":{"value":{"entity-type":"item","numeric-id":1808565,"id":"Q1808565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2631957$D821EE6D-AF9D-4733-B663-28E83A870B16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d57db4d3216bc53e46ae99a268680181eb65b5a","datavalue":{"value":{"entity-type":"item","numeric-id":4153620,"id":"Q4153620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2631957$6BF06510-0B02-4FC7-81FC-7E8133063498","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ad41095da7320267c1e9f25ef88c7327526f4b8","datavalue":{"value":{"entity-type":"item","numeric-id":3003235,"id":"Q3003235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2631957$268228A6-1C95-46DF-8A19-5F1195A8D941","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ac2a1d10f833b40e24857f0bad801e3c891ba472","datavalue":{"value":"10.1007/S10472-018-9590-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2631957$EAEEB09F-B139-4E30-9ED5-BEE197A8D8A3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4112c306cee082f0d95f59a6c9c42c9dfc6dda1","datavalue":{"value":{"entity-type":"item","numeric-id":1121669,"id":"Q1121669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf4e2f9119dcba44dc757a6d817783ab822e223f","datavalue":{"value":{"amount":"+0.7452908754348755","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":"Q2631957$1418DF24-E1B4-4A46-9410-51469CCDDC32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58b5553698cf44865bda3d6c75d05aa2117ed8b6","datavalue":{"value":{"entity-type":"item","numeric-id":4249890,"id":"Q4249890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"deff13bfb2699e42231f10ec064231b398472997","datavalue":{"value":{"amount":"+0.727498471736908","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":"Q2631957$95A0730C-DFB1-4037-B184-682B1046761E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"afcb2e1fe0672b62e4bf7a3bcda29a663a867226","datavalue":{"value":{"entity-type":"item","numeric-id":4217954,"id":"Q4217954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d53367ef689f4e84c904904c3cfbde22d44132a","datavalue":{"value":{"amount":"+0.7184258103370667","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":"Q2631957$5635F248-BEDA-42DF-A2B4-3DC1645E2799","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9d3c44cd7689fc401358e3f89e1f02efc69493e","datavalue":{"value":{"entity-type":"item","numeric-id":1101255,"id":"Q1101255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2abd59753c71b7874bc891fb6d62ef7edb6f8d2f","datavalue":{"value":{"amount":"+0.7182873487472534","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":"Q2631957$427DD50B-D800-43AC-9719-1BADD1182034","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c0be4ae12b77e548190d701dabce4695d6b5da7","datavalue":{"value":{"entity-type":"item","numeric-id":1272610,"id":"Q1272610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80e576ec34eefd6c31c65017a8c461cac578799d","datavalue":{"value":{"amount":"+0.7056694626808167","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":"Q2631957$FCFB92F4-325F-4D13-B8E2-7FD10A60E79A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2631957","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2631957"}}}}}