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

Institut für Symbolisches Rechnen

Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

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.

Originalsprache	Englisch
Titel	Proceedings of Calculemus'06
Herausgeber*innen	A. Bigatti and S. Ranise
Seitenumfang	16
Publikationsstatus	Veröffentlicht - 2006

Wissenschaftszweige

101 Mathematik
101001 Algebra
101005 Computeralgebra
101009 Geometrie
101012 Kombinatorik
101013 Mathematische Logik
101020 Technische Mathematik

Dieses zitieren

@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 -