Hi Tim,
Is this what you're looking for?
http://www.cse.ogi.edu/~hallgren/Programatica/tools/property/Plogic.html
http://citeseer.ist.psu.edu/kieburtz02plogic.html
That looks very interesting and I'll certainly come back to that
later, but I couldn't see a predicate simplifier amongst that stu
I'm trying to manipulate predicates in Haskell, and was wondering if
there was a predicate library available that I could use?
Is this what you're looking for?
http://www.cse.ogi.edu/~hallgren/Programatica/tools/property/Plogic.html
http://citeseer.ist.psu.edu/kieburtz02plogic.html
Neil
Tim
Gerhard Navratil wrote:
> I need a library that provides partial derivatives for functions. The
> solution I came up with is based on a datatype using reversed polish
> notation to store the function:
I like Oleg Kiselyov's "Typeful symbolic differentiation of compiled
functions"...
http:
Hi,
Jerzy Karczmarczuk has a nice paper about "Functional Differentiation of
Computer Programs", see http://users.info.unicaen.fr/~karczma/arpap/
regards,
Arjen
Gerhard Navratil wrote:
Hi,
I need a library that provides partial derivatives for functions. The
solution I came up with
Gerhard Navratil wrote:
> I need a library that provides partial derivatives for functions. The
> solution I came up with is based on a datatype using reversed polish
> notation to store the function:
>
> <>
>
> The solution works but is not very elegant. The complete module is
> appended to the m
Hi,
I need a library that provides partial derivatives for functions. The
solution I came up with is based on a datatype using reversed polish
notation to store the function:
Type VarName = String
data Fkt a = Val a |
Var VarName |
Add (FktElem a) (FktElem a) |
Hi,
I'm trying to manipulate predicates in Haskell, and was wondering if
there was a predicate library available that I could use?
My predicates consist of `and` and `or` over some constraints. I have
various rules which can be used to collapse certain constraints.
Currently I have written my ow
noteed:
> Hi all,
>
> the problem is simple but i can't do it :
>
> I want to generate some values and 'accumulate' them. The meaning of
> 'accumulating' is not so important. The only point is that to
> 'accumulate' the values, I only have to know one value and the
> accumulator (and not all the