{"entities":{"Q1264454":{"pageid":1275204,"ns":120,"title":"Item:Q1264454","lastrevid":67154871,"modified":"2026-04-12T15:39:46Z","type":"item","id":"Q1264454","labels":{"en":{"language":"en","value":"Generation and verfication of algorithms for symbolic-numeric processing"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1204282"}},"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":"Q1264454$B1410F71-4D3B-4F9E-80FD-CFE68E47A79C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"78e48b8068c8ef36b398311eb114f1405ac401be","datavalue":{"value":{"text":"Generation and verfication of algorithms for symbolic-numeric processing","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1264454$56DE2241-27BA-46E3-896F-23E4A9678919","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ba9592b0b2039161de9e20f945ea65cdb0192f4a","datavalue":{"value":"0908.65116","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1264454$6D40569E-0B4C-40D3-93E6-ED983393E292","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"19b4794a579c38056dd775035e4b1a174d8f203f","datavalue":{"value":{"entity-type":"item","numeric-id":1264453,"id":"Q1264453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1264454$5549DD70-865F-40F1-9955-9D591B99916D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ef5d27d40756a25e38f413817d4a915d16b91de2","datavalue":{"value":{"entity-type":"item","numeric-id":453382,"id":"Q453382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1264454$699B03CF-F559-48F5-9BD0-78CFD272A1BC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ea72303f92787da89554ee5fa15621068821a762","datavalue":{"value":{"entity-type":"item","numeric-id":99061,"id":"Q99061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1264454$4B2F8626-4FA5-4908-A7A6-234680317E23","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a9f32c084b57740aece20b22af38e66824091f06","datavalue":{"value":{"time":"+1999-03-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1264454$C472F5D3-B116-4464-846E-09C47A2E4743","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c0b0fb177fe8608cbca0774c62e9638431b0f061","datavalue":{"value":"Some large scale physical computations require algorithms performing symbolic computations with a particular class of algebraic formulas in a numerical code. Developing and implementing such algorithms in a numerical programming language is a tedious and error prone task. The algorithms can be developed in a computer algebra system and their correctness can be checked by comparison with built-in facilities of the system so that the system is used as an advanced debugging tool. After that the numerical code for the algorithms is automatically generated from the same source code.   The proposed methodology is explained in detail on a simple example. Real applications to calculation of matrix elements of Coulomb interaction and two-centre exchange integrals needed in atomic collision codes, are described. The method makes the developing and debugging of such algorithms easier and faster.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1264454$CF743641-4B9E-466D-8959-AACA44F93CC8","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"e4613bcc798a51294250f62c16b7e55206d23ced","datavalue":{"value":{"entity-type":"item","numeric-id":414813,"id":"Q414813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1264454$2D9234B5-9700-44F4-B21A-85D4C8A5610F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"da48a66db58de390936830f230e3456a69d68c90","datavalue":{"value":"65Z05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1264454$68E55626-3E61-4DBD-AFE0-BD7E8E2F58AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1264454$151071E7-F761-4BD5-8140-0033C8C000E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"355ea56a4f84d7973d94c70a8b1f92966ec83542","datavalue":{"value":"65Y20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1264454$95DCF06A-BE39-49A5-8391-F950226DBD86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"57a265399e10d3e30b7b5779c495d2361379dca8","datavalue":{"value":"81V10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1264454$FD342510-AB7F-4752-851D-AB0D702E46C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"172e5bed96dddcde867a3b0f985364db8eee7a57","datavalue":{"value":"81V45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1264454$CBE86404-E8D4-452F-9344-36A4B00D9D9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"21c0a30acc350cc4238a583f1f53a805c81b4db0","datavalue":{"value":"35Q40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1264454$817AA8D1-9C7D-4A26-881C-B4059E4F6D8F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d0d00d53c05fd4e75e1ecc643f05ea039d2f0132","datavalue":{"value":"1204282","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1264454$9D997C91-FEBD-46BA-A81F-98057B9745D4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"34deb6c7e019f2524b54881e6c3c3ea49b5fafbb","datavalue":{"value":"symbolic-numeric processing","type":"string"},"datatype":"string"},"type":"statement","id":"Q1264454$75B38C6B-99CD-4AAA-B5D8-F8748CD0F901","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d607627523840bd0bf4407097f29a3a99ef4a0a8","datavalue":{"value":"algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1264454$31208E90-2397-4AA5-8943-CC9B592E0FE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9c6f0813292813c40c6016f23ca0be61677d736a","datavalue":{"value":"symbolic computations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1264454$55CD0658-314F-4EBC-9F70-1F1A1BD669B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d17109e875f62271267ba944e1d111a7f52ed69f","datavalue":{"value":"computer algebra system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1264454$CC1F25B8-3C66-483D-ACB6-BF9898FE4FB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f785e1774c3966427c0e5f8ce6c75a058df10d97","datavalue":{"value":"Coulomb interaction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1264454$74CFD052-B399-44B6-A64C-75C76B8E060C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3551117f317c6c02fd480053ca9ff47eb25550b5","datavalue":{"value":"atomic collision","type":"string"},"datatype":"string"},"type":"statement","id":"Q1264454$7E66959C-B4FA-427A-AF80-C753BD7FF809","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":"Q1264454$D0FCC886-9ACE-4A6C-A507-305FCF0521B2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5c55a8ba34a2a210fb9bf9d1d8eb77349fe52754","datavalue":{"value":"https://doi.org/10.1006/jsco.1997.0182","type":"string"},"datatype":"url"},"type":"statement","id":"Q1264454$45DB39D2-9998-4D2B-A5B4-2B45358163D2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"65c9f2f3eeecded5a2fe36f6db8852db85007a2f","datavalue":{"value":"W2095574688","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1264454$4746874A-317F-4EA6-8BDC-AAD89EFB434F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e5f4f4d359c3c65aed61fbebfd8f1e5b11f4152d","datavalue":{"value":"10.1006/JSCO.1997.0182","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1264454$4C413C49-8DD9-4D9B-8D14-075B15879EC4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6eaddd2101acb7bd1d2dafde5892548170c1baad","datavalue":{"value":{"entity-type":"item","numeric-id":2746160,"id":"Q2746160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"291e2b5b995a1cdf35bcb1bef1126d95aa216479","datavalue":{"value":{"amount":"+0.7272608876228333","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":"Q1264454$CD09938A-0866-4F89-A5C3-AE1A72C1A97C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e137737ec2c8c556dbfef331f92e50ec06fc1ae3","datavalue":{"value":{"entity-type":"item","numeric-id":4234217,"id":"Q4234217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5def44ea228d7cf16dc47c1f30cd05dadab8b30","datavalue":{"value":{"amount":"+0.7208582758903503","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":"Q1264454$F04CE3A4-4AC2-4DE2-B4FC-F96AB8E243B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d9bceeb38c75ac0c2c8b3a4880c1a5b75b234e1","datavalue":{"value":{"entity-type":"item","numeric-id":4234214,"id":"Q4234214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"adbbff079f66e8750e4bcdc14a73c75c18c14f75","datavalue":{"value":{"amount":"+0.7004684209823608","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":"Q1264454$E9F55BC4-4E4E-48DD-9153-6CFF81EC578D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5170693c93c24984ca28825038f4d8d8a45a536","datavalue":{"value":{"entity-type":"item","numeric-id":311842,"id":"Q311842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0fe0b4ec198c17f171f6a38c6def565264197c1","datavalue":{"value":{"amount":"+0.6994947791099548","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":"Q1264454$83EF9F24-BFAA-4EE3-90D2-C36B41AA9E9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"790d3a00f49f482ef87506b1713b19b91ba0fe53","datavalue":{"value":{"entity-type":"item","numeric-id":3799597,"id":"Q3799597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e42201ac23a118cb588b35034b1fcf8803df7613","datavalue":{"value":{"amount":"+0.6987501978874207","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":"Q1264454$B1DB2129-1E11-4889-8941-A12A5E85C9FD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Generation and verfication of algorithms for symbolic-numeric processing","badges":[]}}}}}