scientific article; zbMATH DE number 1538012

zbMath0962.68152MaRDI QIDQ4518867

Volker Sorge

Publication date: 3 December 2000

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

symbolic computationsproof planning

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30)

Related Items

Computer supported mathematics with \(\Omega\)MEGA, Formal and efficient primality proofs by use of computer algebra oracles, Dealing with algebraic expressions over a field in Coq using Maple, Combined reasoning by automated cooperation, Constraint solving for proof planning, A Foundational View on Integration Problems, Canonical Forms in Interactive Exercise Assistants

Uses Software

• TPS
• PVS
• VSDITLU