Mixing
What happened to TituRel?
Clash Royale CLAN TAG#URR8PPP
up vote
3
down vote
favorite
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
mathematical-software
asked 4 hours ago
auxi
242
New contributor
auxi is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.
add a comment |Â
up vote
3
down vote
favorite
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
mathematical-software
asked 4 hours ago
auxi
242
New contributor
auxi is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.
2
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
3 hours ago
@arsmath, thanks for your input, the post was edited to reflect your suggestions
– auxi
3 hours ago
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
3 hours ago
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
1 hour ago
add a comment |Â
up vote
3
down vote
favorite
up vote
3
down vote
favorite
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
mathematical-software
asked 4 hours ago
auxi
242
New contributor
auxi is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.
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
mathematical-software
mathematical-software
asked 4 hours ago
auxi
242
New contributor
auxi is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.
asked 4 hours ago
auxi
242
New contributor
auxi is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.
edited 3 hours ago
asked 4 hours ago
auxi
242
New contributor
auxi is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.
asked 4 hours ago
auxi
242
asked 4 hours ago
auxi
242
242
New contributor
auxi is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.
New contributor
auxi is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.
auxi is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.
2
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
3 hours ago
@arsmath, thanks for your input, the post was edited to reflect your suggestions
– auxi
3 hours ago
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
3 hours ago
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
1 hour ago
add a comment |Â
2
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
3 hours ago
@arsmath, thanks for your input, the post was edited to reflect your suggestions
– auxi
3 hours ago
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
3 hours ago
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
1 hour ago
2
2
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
3 hours ago
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
3 hours ago
@arsmath, thanks for your input, the post was edited to reflect your suggestions
– auxi
3 hours ago
@arsmath, thanks for your input, the post was edited to reflect your suggestions
– auxi
3 hours ago
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
3 hours ago
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
3 hours ago
1
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
1 hour ago
@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
1 hour ago
add a comment |Â
1 Answer
1
active
oldest
votes
up vote
3
down vote
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.
answered 59 mins ago
Carlo Beenakker
70k8155262
add a comment |Â
1 Answer
1
active
oldest
votes
1 Answer
1
active
oldest
votes
active
oldest
votes
active
oldest
votes
up vote
3
down vote
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.
answered 59 mins ago
Carlo Beenakker
70k8155262
add a comment |Â
up vote
3
down vote
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.
answered 59 mins ago
Carlo Beenakker
70k8155262
add a comment |Â
up vote
3
down vote
up vote
3
down vote
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.
answered 59 mins ago
Carlo Beenakker
70k8155262
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.
answered 59 mins ago
Carlo Beenakker
70k8155262
edited 53 mins ago
answered 59 mins ago
Carlo Beenakker
70k8155262
answered 59 mins ago
Carlo Beenakker
70k8155262
answered 59 mins ago
Carlo Beenakker
70k8155262
70k8155262
add a comment |Â
add a comment |Â
auxi is a new contributor. Be nice, and check out our Code of Conduct.
auxi is a new contributor. Be nice, and check out our Code of Conduct.
auxi is a new contributor. Be nice, and check out our Code of Conduct.
auxi is a new contributor. Be nice, and check out our Code of Conduct.
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmathoverflow.net%2fquestions%2f313206%2fwhat-happened-to-titurel%23new-answer', 'question_page');
);
Post as a guest
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
2
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
3 hours ago
@arsmath, thanks for your input, the post was edited to reflect your suggestions
– auxi
3 hours ago
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
3 hours ago
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
1 hour ago