• Home
• fr.inria.wimmics
• corese
• 3.2.0
• source code
• leibniz.rq

×

Project download

Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $

You can buy this project and download/modify it how often you want.

query.leibniz.rq Maven / Gradle / Ivy

prefix ex: 
select (4 * ex:leibniz(?n) as ?pi)
where  {


function ex:leibniz(?n) {
    let (
        ?x = apply(kg:plus, maplist(ex:inv, xt:iota(1, ?n, 4))),
        ?y = apply(kg:plus, maplist(ex:inv, xt:iota(3, ?n, 4)))){
       ?x - ?y
    }
}

function ex:inv(?n) { 1 / ?n }


}
values ?n { 1000000 }