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):(adsbygoogle = window.adsbygoogle || []).push({});

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?

**Physics Forums | Science Articles, Homework Help, Discussion**

Dismiss Notice

Join Physics Forums Today!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# How to semi-automate proofs?

**Physics Forums | Science Articles, Homework Help, Discussion**