The following pages link to Theorema (Q13705):
Displaying 50 items.
- Mathematical software -- ICMS 2014. 4th international congress, Seoul, South Korea, August 5--9, 2014. Proceedings (Q2512544) (← links)
- Solution lifting method for handling meta-variables in TH\(\exists\)OREM\(\forall\) (Q2577589) (← links)
- Mathematical software -- ICMS 2016. 5th international conference, Berlin, Germany, July 11--14, 2016. Proceedings (Q2630690) (← links)
- Geometry constructions language (Q2655329) (← links)
- A bi-directional extensible interface between Lean and Mathematica (Q2673306) (← links)
- Theorem proving for and with Gröbner bases theory (Q2702494) (← links)
- Symbolic computation and automated reasoning. The CALCULEMUS-2000 symposium. 8th symposium on the integration of symbolic computation and mechanized reasoning, St. Andrews, Scotland, GB, August 6--7, 2000 (Q2716041) (← links)
- The TH\(\exists\)OREM\(\forall\) project: A progress report (Q2751543) (← links)
- Using meta-variables for natural deduction in \textit{Theorema} (Q2751547) (← links)
- Defining power series and polynomials in Mizar (Q2751549) (← links)
- Generation and presentation of formal mathematical documents (Q2760868) (← links)
- (Q2762111) (← links)
- Automatted geometry theorem proving (Q2765707) (← links)
- Two tools for mathematical knowledge management in theorema (Q2767913) (← links)
- Mathematical knowledge management using theorema (Q2767914) (← links)
- Certified and portable mathematical documents from formal contexts (Q2767915) (← links)
- A formal framework for managing mathematics (Q2767940) (← links)
- Proof–Based Synthesis of Sorting Algorithms for Trees (Q2798749) (← links)
- Mathematical Theory Exploration in Theorema: Reduction Rings (Q2817288) (← links)
- Interactive Proving, Higher-Order Rewriting, and Theory Analysis in Theorema 2.0 (Q2819200) (← links)
- The GDML and EuKIM Projects: Short Report on the Initiative (Q2819256) (← links)
- Pattern unification with sequence variables and flexible arity symbols (Q2842594) (← links)
- A Qualitative Comparison of the Suitability of Four Theorem Provers for Basic Auction Theory (Q2843015) (← links)
- The ForMaRE Project – Formal Mathematical Reasoning in Economics (Q2843033) (← links)
- Algorithm synthesis by lazy thinking: examples and implementation in Theorema (Q2847391) (← links)
- Deduction and presentation in \(\rho\)Log (Q2847399) (← links)
- GeoThms -- a web system for Euclidean constructive geometry (Q2867934) (← links)
- \textsc{Plat}{\(\Omega\)}: a mediator between text-editors and proof assistance systems (Q2867939) (← links)
- Complexity Analysis of the Bivariate Buchberger Algorithm in Theorema (Q2879096) (← links)
- A synthesis of the procedural and declarative styles of interactive theorem proving (Q2881098) (← links)
- Symbolic Analysis for Boundary Problems: From Rewriting to Parametrized Gröbner Bases (Q2912125) (← links)
- (Q3021905) (← links)
- Dynamic Rippling, Middle-Out Reasoning and Lemma Discovery (Q3058453) (← links)
- Proof Documents for Automated Origami Theorem Proving (Q3102737) (← links)
- Thousands of Geometric Problems for Geometric Theorem Provers (TGTP) (Q3102742) (← links)
- A Coherent Logic Based Geometry Theorem Prover Capable of Producing Formal and Readable Proofs (Q3102745) (← links)
- (Q3122078) (← links)
- (Q3416371) (← links)
- (Q3416386) (← links)
- (Q3416408) (← links)
- Enabling Symbolic and Numerical Computations in HOL Light (Q3453133) (← links)
- Automated Reasoning in Reduction Rings Using the Theorema System (Q3454553) (← links)
- Two-Point Boundary Problems with One Mild Singularity and an Application to Graded Kirchhoff Plates (Q3454560) (← links)
- (Q3539358) (← links)
- MathLang Translation to Isabelle Syntax (Q3637293) (← links)
- A Symbolic Framework for Operations on Linear Boundary Problems (Q3644106) (← links)
- Building Mathematics-Based Software Systems to Advance Science and Create Knowledge (Q3644710) (← links)
- (Q4223149) (← links)
- (Q4413894) (← links)
- (Q4433979) (← links)
