Commit 4083cbff authored by josd's avatar josd

added

parent 31a26af9
=== Bell function integral ===
=== Easter Date ===
=== Fibonacci Numbers ===
def fib(n, c={0:1, 1:1}):
if n not in c:
x = n // 2
c[n] = fib(x-1) * fib(n-x-1) + fib(x) * fib(n-x)
return c[n]
print(fib(91))
7540113804746346429
#!/bin/bash
python3 fib.py > fib.txt
-----------------------------
Transformer for wind turbines
-----------------------------
=== Transformer for wind turbines ===
This is about predicting wind turbine power from wind turbine observations.
......
PREFIX math: <http://www.w3.org/2000/10/swap/math#>
PREFIX : <try#>
PREFIX : <http://josd.github.io/eye/reasoning#>
{(?X) :fib ?Y} <= {(?X 0 1) :fib ?Y}.
{(?X) :fib ?Y} <= {(?X 1 1) :fib ?Y}.
{(1 ?A ?B) :fib ?B} <= {}.
{(?X ?A ?B) :fib ?Y} <= {?X math:greaterThan 1. ((?X 1)!math:difference ?B (?A ?B)!math:sum) :fib ?Y}.
......
This diff is collapsed.
PREFIX : <try#>
PREFIX : <http://josd.github.io/eye/reasoning#>
{(92) :fib ?Y} => {(92) :fib ?Y}.
{(91) :fib ?Y} => {(91) :fib ?Y}.
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment