TituRel is built on Haskell. It has given substantial help in many explorative investigations: games, (bi-)simulations, topology, qualitative fuzzy considerations, theory extraction, social choice, decision support via interval orderings, etc. TituRel supports algebraic visualizations, proofs and transformations. Its generic construction of dependent types make it also a field of research in programming languages. Remarks: TituRel has a common source with the widely known RelView. It is far less efficient, strictly functional, and visualization-oriented. A formal deployment has not yet taken place; it exists as a one-man endeavour.
Keywords for this software
References in zbMATH (referenced in 8 articles )
Showing results 1 to 8 of 8.
- Berghammer, Rudolf; Fischer, Sebastian: Combining relation algebra and data refinement to develop rectangle-based functional programs for reflexive-transitive closures (2015)
- Berghammer, Rudolf; Winter, Michael: Gunther Schmidt’s life as a mathematician and computer scientist (2014)
- Schmidt, Gunther: A point-free relation-algebraic approach to general topology (2014)
- Berghammer, Rudolf; Fischer, Sebastian: Simple rectangle-based functional programs for computing reflexive-transitive closures (2012)
- Schmidt, Gunther: Relational concepts in social choice (2012)
- Berghammer, Rudolf: A functional, successor list based version of Warshall’s algorithm with applications (2011)
- Schmidt, Gunther; Berghammer, Rudolf: Relational measures and integration in preference modeling (2008)
- Berghammer, Rudolf; Fischer, Sebastian: Implementing relational specifications in a constraint functional logic language (2007)