{"@context":{"@vocab":"https://cir.nii.ac.jp/schema/1.0/","rdfs":"http://www.w3.org/2000/01/rdf-schema#","dc":"http://purl.org/dc/elements/1.1/","dcterms":"http://purl.org/dc/terms/","foaf":"http://xmlns.com/foaf/0.1/","prism":"http://prismstandard.org/namespaces/basic/2.0/","cinii":"http://ci.nii.ac.jp/ns/1.0/","datacite":"https://schema.datacite.org/meta/kernel-4/","ndl":"http://ndl.go.jp/dcndl/terms/","jpcoar":"https://github.com/JPCOAR/schema/blob/master/2.0/"},"@id":"https://cir.nii.ac.jp/crid/1573387449805867520.json","@type":"Article","productIdentifier":[{"identifier":{"@type":"NAID","@value":"10029443488"}}],"dc:title":[{"@language":"en","@value":"Affine Arithmetic"}],"creator":[{"@id":"https://cir.nii.ac.jp/crid/1583387449805867520","@type":"Researcher","foaf:name":[{"@language":"en","@value":"MARCUS VINI'CIUS A. Andrade"}]}],"publication":{"prism:publicationName":[{"@language":"en","@value":"INTERVAL'94, March"}],"prism:publicationDate":"1994","prism:startingPage":"5","prism:endingPage":"10"},"relatedProduct":[{"@id":"https://cir.nii.ac.jp/crid/1390001205767427456","@type":"Article","relationType":["isCitedBy"],"jpcoar:relatedTitle":[{"@language":"ja","@value":"平均値形式とアフィン演算を用いた常微分方程式の精度保証法(理論)"},{"@language":"en","@value":"Numerical Verification of ordinary differential equations using Affine Arithmetic and Mean Value Form(Theory)"},{"@value":"平均値形式とアフィン演算を用いた常微分方程式の精度保証法"},{"@language":"ja-Kana","@value":"ヘイキンチ ケイシキ ト アフィン エンザン オ モチイタ ジョウ ビブン ホウテイシキ ノ セイド ホショウホウ"}]}],"dataSourceIdentifier":[{"@type":"CIA","@value":"10029443488"}]}