scientific article
From MaRDI portal
Publication:2751543
zbMath1017.68110MaRDI QIDQ2751543
Bruno Buchberger, Tudor Jebelean, Wolfgang Windsteiger, Claudio Dupré, Koji Nakagawa, Franz Kriftner, Daniela Văsaru
Publication date: 3 July 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (8)
\textit{Theorema}: Towards computer-aided mathematical theory exploration ⋮ Solving equations with sequence variables and sequence functions ⋮ Synthesis of list algorithms by mechanical proving ⋮ Formalizing polygonal knot origami ⋮ Synthesis of sorting algorithms using multisets in \textit{Theorema} ⋮ Combining logical and algebraic techniques for natural style proving in elementary analysis ⋮ Proof Documents for Automated Origami Theorem Proving ⋮ Pattern Unification with Sequence Variables and Flexible Arity Symbols
Uses Software
This page was built for publication:
