Generating author description...
| Action | Title | Year | Authors |
|---|---|---|---|
| + | Towards an automated proof of the Basic Perturbation Lemma | 2002 |
Jesús María Aransay Azofra Julio Rubio Clemens Ballarin |
| + | Theorems and algorithms | 1995 |
Clemens Ballarin Karsten Homann Jacques Calmet |
| Coauthor | Papers Together |
|---|---|
| Karsten Homann | 1 |
| Julio Rubio | 1 |
| Jacques Calmet | 1 |
| Jesús María Aransay Azofra | 1 |
| Action | Title | Year | Authors | # of times referenced |
|---|---|---|---|---|
| + PDF Chat | A higher-order implementation of rewriting | 1983 |
Lawrence C. Paulson |
1 |
| + PDF Chat | Combining symbolic computation and theorem proving: Some problems of Ramanujan | 1994 |
Edmund Clarke Xudong Zhao |
1 |
| + | Mathematica: a system for doing mathematics by computer (2nd ed.) | 1991 |
Stephen Wolfram |
1 |