Theorema 2.0: Theorem Proving in Mathematica

Activity: Talk or presentation › Contributed talk › unknown

Description

Theorema 2.0 stands for a re-design including a complete re-implementation of the Theorema system, which was originally designed, developed, and implemented by Bruno Buchberger and his Theorema group at RISC. In this talk, we want to present the current status of the new implementation with an emphasis on the new user interface of the system, which is making heavy use of dynamic interactive features introduced in the more recent Mathematica releases.
Period23 Oct 2014
Event titleWolfram Technology Conference (WTC'2014)
Event typeConference
LocationUnited StatesShow on map

Fields of science

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

JKU Focus areas

  • Computation in Informatics and Mathematics

Documents & Links