TituRel is a language developed in conjunction with the book Relational Mathematics by Gunther Schmidt from Universität der Bundeswehr München.

My problem is that I can't find any info related to downloading this software.

Do you know where the TituRel software can be downloaded from? The home page does not seem to show any download links.

Taken directly from the home page: TituRel is a software system to work with relations. It offers various tools written in the functional programming language Haskell allowing to

  • input/output relations from/to several forms of delivery
  • formulate relational terms to be applied to such relations in a newly developed multilevel relational reference language
  • analyze relations, decompose, permute, and partition them so as to obtain better information
  • support proofs of relation-algebraic theorems with transformation capabilities and TeX printing
  • switch between point-free form and component form with system support
  • generate programs for the RelView system
  • 4
    This seems obviously on-topic for this site, so I don't understand the close votes or downvote. The question could be improved, though: You could offer more details of what Titurel is, and it makes more sense to ask a more general question like "What happened to Titurel?" – arsmath Oct 19 at 6:58
  • @arsmath, thanks for your input, the post was edited to reflect your suggestions – auxi Oct 19 at 7:34
  • Have you tried contacting Gunther Schmidt directly, or one of his co-authors on work with TituRel, e.g. Wolfram Kahl? Their contact details are on their homepages, unibw.de/inf2/personen/professoren/schmidt , cas.mcmaster.ca/~kahl (Schmidt seems to be the main person, but co-authors could be a fallback if Schmidt doesn’t respond.) – Peter LeFanu Lumsdaine Oct 19 at 7:52
  • 1
    @Peter, thanks for the suggestion, i just contacted professor Schmidt and now waiting for an answer, i'll post back if i receive any info – auxi Oct 19 at 9:05
  • I received a reply from professor Schmidt, unfortunately TituRel is not available as a downloadable software due to not much interest from outside world. – auxi Oct 20 at 7:00
up vote 6 down vote accepted

The swMATH description says that: 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.

So I guess this explains why the software is not publicly available. The alternative RelView can be downloaded from here.

You might also want to check out Ampersand, which applies relational methods to information systems:

Code: https://github.com/AmpersandTarski/Ampersand

Documentation: https://ampersandtarski.gitbook.io/documentation/

Your Answer

 
discard

By clicking "Post Your Answer", you acknowledge that you have read our updated terms of service, privacy policy and cookie policy, and that your continued use of the website is subject to these policies.

Not the answer you're looking for? Browse other questions tagged or ask your own question.