scientific article; zbMATH DE number 1822263
From MaRDI portal
Publication:4780208
zbMath1004.68589MaRDI QIDQ4780208
Publication date: 31 October 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Symbolic computation and algebraic computation (68W30) Computing methodologies and applications (68U99)
Related Items
\textit{AlCons}: deductive synthesis of sorting algorithms in \textit{Theorema} ⋮ Theory exploration powered by deductive synthesis ⋮ Mechanical synthesis of sorting algorithms for binary trees by logic and combinatorial techniques ⋮ \textit{Theorema}: Towards computer-aided mathematical theory exploration ⋮ Automated theory exploration for interactive theorem proving: an introduction to the Hipster system ⋮ Into the Infinite - Theory Exploration for Coinduction ⋮ Building Mathematics-Based Software Systems to Advance Science and Create Knowledge ⋮ Hipster: Integrating Theory Exploration in a Proof Assistant ⋮ Automatic Synthesis of Merging and Inserting Algorithms on Binary Trees Using Multisets in Theorema
Uses Software
