about
welcome!
the castle of hagenberg
sponsors
partners
how to reach us
contact
certificates
|
people
members
visitors
|
publications
|
research
algebraic geometry
description
members
seminar
publications
software
algorithm theory
description
members
seminar
publications
algorithmic combinatorics
description
members
seminar
publications
software
events
links
computer algebra
description
members
seminar
publications
software
formal methods
description
members
activities
seminar
publications
software
parallel/distributed computing
description
members
seminar
projects
publications
software
theorema
description
members
seminar
publications
software
gb bibliography
|
education
courses
phd program
theses
risc moodle
|
industry
|
conferences
|
media
press archive
image archive
|
projects
internal
my risc
my mail
my personal data
my publications
my library
my visitors
my allocations
my teaching
forum talks
risc portal
risc community
risc wiki
risc mailing lists
sysadmin user info
quick guide
complete guide
system administration
equipment
rooms
media
press archive
image archive
> research
> theorema
>
description
|
members
|
seminar
|
publications
|
software
|
gb bibliography
search:
sitemap
Short Theorema Demo
What is
THEOREMA
?
Mathematical Texts
The PCS Prover
The Set Theory Prover
An Induction Prover and the Cascade
S-Decomposition
Booleans of Equalities by Groebner Bases
Calling External Provers
Combinatorial Identities by Zeilberger-Paule
Computing within
Theorema