{"entities":{"Q1765837":{"pageid":1776579,"ns":120,"title":"Item:Q1765837","lastrevid":48420583,"modified":"2026-01-04T16:39:25Z","type":"item","id":"Q1765837","labels":{"en":{"language":"en","value":"A new algorithm for symbolic integration with application"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2137728"}},"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":"Q1765837$DFA6D299-4642-4925-99B9-6693E4EB8EF8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e430a6010f7b4eb70593aa62244d37ba82dd2e55","datavalue":{"value":{"text":"A new algorithm for symbolic integration with application","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1765837$27B372ED-DC01-4DDF-B5D9-01F2ABF413DA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"67fd3324096bfde69d0b3805114bec7bcedc25a2","datavalue":{"value":"1076.65022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1765837$5392A7DA-C3FB-4BE9-BCF6-C8CB15B8D3BF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0103fb990cdfc03c1772b90d3525f8ee1b773941","datavalue":{"value":{"entity-type":"item","numeric-id":253869,"id":"Q253869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1765837$C5DC905E-58FD-4CD9-9048-089CE2D04E2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"99f8b20e93a5dedc18ee63264927d36275769ca2","datavalue":{"value":{"entity-type":"item","numeric-id":300089,"id":"Q300089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1765837$60ABA8DD-849F-4049-8F4F-8B3FD3B058BF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"add6fb6b993c46c88f8cbd1c0026e2e785c9381d","datavalue":{"value":{"entity-type":"item","numeric-id":70476,"id":"Q70476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1765837$2BBC49D8-281B-45B0-A734-72D9AD545A17","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0f8b72aeee9429c75f6d2c214b1fe1fedeb47fc2","datavalue":{"value":{"time":"+2005-02-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1765837$27F0D484-20DF-4FFB-AFB6-6AE1CD161BD3","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ee990e27e2e88294ca96d95d92a944e065a9bf06","datavalue":{"value":"The paper deals with symbolic computation. The authors apply methods of mathematical analysis and computer algebra and propose a Maple procedure for symbolic integration. Then they use the above algorithm to the automatic proof of the mean-value theorems for derivatives. Finally they present the performances of their procedure and remark that it is more powerful than the Maple function int.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1765837$7ACCAD68-D4F7-493A-A642-AAB986EF8545","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f167f1f4c1d109b89cd09b0dd6067acc1909209b","datavalue":{"value":"65D30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1765837$A9D8CE05-13FB-4B4E-A1B6-28323D72948C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1765837$F7898D6D-B7A3-4A6C-94E4-EA273B0EA3E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"79b3bc872b6637176b35f9e46ac855febbf884f5","datavalue":{"value":"68W05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1765837$37D70DFC-F24F-4EAC-A4DE-B822073417F4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b4c7ce67a00f4f06937aef3d701fe8a2b8354e4b","datavalue":{"value":"2137728","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1765837$8EA547C4-36D0-42BA-B1B7-DDB4D1FA9FA5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e36fd2915ee69146bd208b73e1714d6ba9054ec","datavalue":{"value":"symbolic computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1765837$697F1ACE-1451-4524-8D6C-830743F9E6BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d6c3865385c99bfb350ee213b8560427e581e80","datavalue":{"value":"nonnumerical algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1765837$DE8DAD9F-040E-4272-9754-C469CE08F632","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25a0d0a64145a26d41eb5308b1cb512dc20d7b36","datavalue":{"value":"computer algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1765837$ADEDF747-D187-4EEE-8C61-3AA87A00CD18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"030285d39adaeacb1d013bbe7d231f68fa944653","datavalue":{"value":"symbolic integration","type":"string"},"datatype":"string"},"type":"statement","id":"Q1765837$997986C7-7A82-4781-AE8C-0D788A5B8926","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff70fe9b8b91a6efb02227bfea4968e91ab35f18","datavalue":{"value":"mean-value theorems for derivatives","type":"string"},"datatype":"string"},"type":"statement","id":"Q1765837$B7729C42-046B-47FF-8991-4FAD76E36033","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"001bcc4003e82b518e8db70a781511a363a83e24","datavalue":{"value":"automatic proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q1765837$31772FC8-083F-43F3-879F-F58530E53A02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c69974b8ee44ba9ffc58b48877209f3953502907","datavalue":{"value":"Maple","type":"string"},"datatype":"string"},"type":"statement","id":"Q1765837$854D2688-7A81-410C-BC40-24C34C6C28CE","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"65cfd5d0214fb74fe6176a4505d9d7955921bd28","datavalue":{"value":{"entity-type":"item","numeric-id":1128069,"id":"Q1128069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1765837$D8BF89B2-D38E-4947-B6B7-C3C6FF15C45C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"485f54a0549a89232924cb0abb443c2fad36af9f","datavalue":{"value":{"entity-type":"item","numeric-id":13300,"id":"Q13300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1765837$A105C8A3-E919-4B8C-99BC-D952AD6EF9B7","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":"Q1765837$8118EE17-C120-4B5D-9C29-BB71CD9A9F4E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7c449d462a3afd3688293dea474a21e1886d27a7","datavalue":{"value":"https://doi.org/10.1016/j.amc.2004.01.019","type":"string"},"datatype":"url"},"type":"statement","id":"Q1765837$45F442C8-FC49-4357-8D64-2A7238804C4D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"de50233274c41afd347cfea947bbeecb4e483e4f","datavalue":{"value":"W2055411248","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1765837$0D35A2D2-A22A-41F7-A36F-3439EA264844","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bcd9762d9d22629312241a830c4aed2daa3345d7","datavalue":{"value":{"entity-type":"item","numeric-id":5333460,"id":"Q5333460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1765837$0A8BCD0C-2A0D-4348-9502-B17C7253B323","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"280db11a5e72149fcb8decd3b43eac4316cafaa1","datavalue":{"value":{"entity-type":"item","numeric-id":4321740,"id":"Q4321740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1765837$0D102609-3016-4725-9BD4-004170B3EAA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cc1eae19d26dedf39074ff685f832a12a5993ec","datavalue":{"value":{"entity-type":"item","numeric-id":4115333,"id":"Q4115333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1765837$B1CDFFEA-C7D0-4EB1-ADAC-AA3D13B17B06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31385ef3ca1eb53ed08bbfa48b8b91d2510acbaf","datavalue":{"value":{"entity-type":"item","numeric-id":4282674,"id":"Q4282674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1765837$32377B50-0E30-4BDF-B03F-E86616C8100A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56c15d5596ad06ea9c33077147ea3f9457eecb7e","datavalue":{"value":{"entity-type":"item","numeric-id":1101257,"id":"Q1101257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1765837$0FBE421B-F304-4ED6-A231-DA1D0A167E12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92aa42a2fc1588dce592fa4b81fd744ad89eaba0","datavalue":{"value":{"entity-type":"item","numeric-id":1329538,"id":"Q1329538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1765837$93C3E1BB-12A2-4077-A42A-A0A2473654B6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0fe2f3422feab043bc69f74a468755b718fc804e","datavalue":{"value":"10.1016/J.AMC.2004.01.019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1765837$38B71BD2-D99B-4E0D-ACFD-BE13C1491E95","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85c119581b3f3a3d61ed5aef2da10917cb3abaa7","datavalue":{"value":{"entity-type":"item","numeric-id":1763268,"id":"Q1763268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f1f929ee9acad60fcb9ce9a50efdcc08ce7727e","datavalue":{"value":{"amount":"+0.7780435681343079","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":"Q1765837$A3864095-4C4B-46CB-920F-11EC65FEEFEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35f6f4a91497d9e7bc698f796ce37e72ee7b56f1","datavalue":{"value":{"entity-type":"item","numeric-id":4725740,"id":"Q4725740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"acee7ea80524139140cafb12c22f01653b414df7","datavalue":{"value":{"amount":"+0.7760350704193115","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":"Q1765837$00EE49D4-20F2-4FE8-BCCF-4C31EFDC8C1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c73e4257b1439750dc043fe117f2371bf8be43a8","datavalue":{"value":{"entity-type":"item","numeric-id":2655833,"id":"Q2655833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3c3406fcaab7cb2c194647a17e902edab9752ff","datavalue":{"value":{"amount":"+0.7741055488586426","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":"Q1765837$3BF694D8-29E2-4A1C-AEC1-01DB54B1769A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d98158c9180a0d4ccd58dd2b8e540f52f1a8049","datavalue":{"value":{"entity-type":"item","numeric-id":3416654,"id":"Q3416654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6d26d514fc7cd62cdf760dd72150beff8d3dcc6","datavalue":{"value":{"amount":"+0.7600674033164978","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":"Q1765837$96D47923-A3ED-4FDC-AC61-5F97595435B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83411b8f2d63869408ef0e90069177aa4a77be45","datavalue":{"value":{"entity-type":"item","numeric-id":4234218,"id":"Q4234218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8937a864fb6aaea93d97182009518f07774be65","datavalue":{"value":{"amount":"+0.75972980260849","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":"Q1765837$1B08761D-9354-47B9-89E6-15D5C51FF918","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1765837","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1765837"}}}}}