- #1
jordi
- 197
- 14
I am looking for a method to semi-automate mathematical proofs. Precisely, what I would like is that, if for example I define (sorry, I have never used latex in this forum, and I still do not know how to do it yet):
f[A] := {y|[tex]\exists[/tex]x[tex]\in[/tex]A (y=f(x))}
then, if I have
f[A[tex]\cup[/tex]B]
what I would like is to make a call to the definition above (something like F[f=f,A=A[tex]\cup[/tex]B]) and that the math editor (maybe Mathematica) just writes
f[A[tex]\cup[/tex]B] = {y|[tex]\exists[/tex]x[tex]\in[/tex]A[tex]\cup[/tex]B (y=f(x))}
where the = has a link (hyperlink) to the initial definition (ie, if I click on it, I go to the original definition).
How can I do that?
1. Is there in Mathematica functionality for that?
2. Is there a package that does that, not Mathematica?
3. If not, can I program in a programming language, using latex symbols?
f[A] := {y|[tex]\exists[/tex]x[tex]\in[/tex]A (y=f(x))}
then, if I have
f[A[tex]\cup[/tex]B]
what I would like is to make a call to the definition above (something like F[f=f,A=A[tex]\cup[/tex]B]) and that the math editor (maybe Mathematica) just writes
f[A[tex]\cup[/tex]B] = {y|[tex]\exists[/tex]x[tex]\in[/tex]A[tex]\cup[/tex]B (y=f(x))}
where the = has a link (hyperlink) to the initial definition (ie, if I click on it, I go to the original definition).
How can I do that?
1. Is there in Mathematica functionality for that?
2. Is there a package that does that, not Mathematica?
3. If not, can I program in a programming language, using latex symbols?