RISC-Linz RISC-Linz Research Institute for Symbolic Computation  
about
|
people
|
publications
|
research
|
education
|
industry
|
conferences
|
media
|
projects
internal
  
search:
  
  • @inproceedings{RISC2912,
    author = {E. M. Clarke and A. S. Gavlovski and K. Sutner and W. Windsteiger},
    title = {{Analytica V: Towards the Mordell-Weil Theorem}},
    booktitle = {{Proceedings of Calculemus'06}},
    language = {english},
    abstract = {Analytica V is a theorem proving system that is built on top of the symbolic computation system Mathematica. It was originally designed by E. Clarke and X. Zhao in the early 1990's. We describe here a redesign of the system that extends its abilities to reasoning about some aspects of number theory.},
    pages = {?--?},
    isbn_issn = {?},
    year = {2006},
    editor = {A. Bigatti and S. Ranise},
    refereed = {yes},
    length = {16},
    conferencename = {Calculemus'06}
    }