Analytica V: Towards the Mordell-Weil Theorem

E. M. Clarke; Wolfgang Windsteiger; K. Sutner; A. S. Gavalovski

Analytica V: Towards the Mordell-Weil Theorem

E. M. Clarke
, Wolfgang Windsteiger
, K. Sutner
, A. S. Gavalovski

Research Institute for Symbolic Computation

Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review

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.

Original language	English
Title of host publication	Proceedings of Calculemus'06
Editors	A. Bigatti and S. Ranise
Number of pages	16
Publication status	Published - 2006

Fields of science

101 Mathematics
101001 Algebra
101005 Computer algebra
101009 Geometry
101012 Combinatorics
101013 Mathematical logic
101020 Technical mathematics

Cite this

@inproceedings{300d71ae479a458fa59096bd3875d165,

title = "Analytica V: Towards the Mordell-Weil Theorem",

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.",

author = "Clarke, \{E. M.\} and Wolfgang Windsteiger and K. Sutner and Gavalovski, \{A. S.\}",

year = "2006",

language = "English",

editor = "\{A. Bigatti and S. Ranise\}",

booktitle = "Proceedings of Calculemus'06",

}

TY - GEN

T1 - Analytica V: Towards the Mordell-Weil Theorem

AU - Clarke, E. M.

AU - Windsteiger, Wolfgang

AU - Sutner, K.

AU - Gavalovski, A. S.

PY - 2006

Y1 - 2006

N2 - 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.

AB - 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.

M3 - Conference proceedings

BT - Proceedings of Calculemus'06

A2 - A. Bigatti and S. Ranise, null

ER -