The following pages link to Theorema (Q13705):
Displaying 45 items.
- (Q4433984) (← links)
- (Q4447245) (← links)
- (Q4459895) (← links)
- (Q4471536) (← links)
- (Q4484347) (← links)
- (Q4499156) (← links)
- (Q4499158) (← links)
- (Q4499159) (← links)
- (Q4499163) (← links)
- (Q4780208) (← links)
- (Q4790649) (← links)
- (Q4801917) (← links)
- (Q4808732) (← links)
- (Q4815327) (← links)
- (Q4815329) (← links)
- (Q4938416) (← links)
- A symbolic framework for general polynomial domains in theorema (Q5175318) (← links)
- (Q5188222) (← links)
- QED Reloaded: Towards a Pluralistic Formal Library of Mathematical Knowledge (Q5195275) (← links)
- Translating between Language and Logic: What Is Easy and What Is Difficult (Q5200012) (← links)
- Using Theorema in the Formalization of Theoretical Economics (Q5200108) (← links)
- Towards a Symbolic Computational Philosophy (and Methodology!) for Mathematics (Q5261839) (← links)
- Mathematical Knowledge Management (Q5313058) (← links)
- Mathematical Knowledge Management (Q5313060) (← links)
- Mathematical Knowledge Management (Q5313080) (← links)
- Quick specifications for the busy programmer (Q5371995) (← links)
- The Theorema Environment for Interactive Proof Development (Q5387844) (← links)
- Reasoning Algebraically About P-Solvable Loops (Q5458331) (← links)
- Automated Deduction in Geometry (Q5493317) (← links)
- Hipster: Integrating Theory Exploration in a Proof Assistant (Q5495917) (← links)
- Combining Isabelle and QEPCAD-B in the Prover’s Palette (Q5505513) (← links)
- On Correctness of Mathematical Texts from a Logical and Practical Point of View (Q5505538) (← links)
- (Q5699466) (← links)
- (Q5699474) (← links)
- (Q5699476) (← links)
- (Q5699483) (← links)
- GCLC — A Tool for Constructive Euclidean Geometry and More Than That (Q5747799) (← links)
- An Automated Confluence Proof for an Infinite Rewrite System Parametrized over an Integro-Differential Algebra (Q5747888) (← links)
- Calculational relation-algebraic proofs in the teaching tool \textsc{CalcCheck} (Q5919026) (← links)
- Finite differences/elements in classical beam problems: Derivation of feasibility conditions under parametric inequality constraints with the help of Reduce and REDLOG (Q5937893) (← links)
- The control layer in open mechanized reasoning systems: Annotations and tactics (Q5950930) (← links)
- On the role of OpenMath in interactive mathematical documents (Q5950932) (← links)
- Computer aided systems theory - EUROCAST 2001. A selection of papers from the 8th international workshop, Las Palmas de Gran Canaria, Spain, February 19--23, 2001. Revised papers (Q5951859) (← links)
- Gröbner bases and systems theory (Q5955547) (← links)
- Proceedings of the mathematical knowledge management symposium, Edinburgh, UKNEWLINENovember 25--29, 2003 (Q5965553) (← links)
