Computer supported mathematics with \(\Omega\)MEGA (Q865650): Difference between revisions

@@ Property / describes a project that uses @@
+VAMPIRE
@@ Property / describes a project that uses: VAMPIRE / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+OTTER
@@ Property / describes a project that uses: OTTER / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Isabelle/HOL
@@ Property / describes a project that uses: Isabelle/HOL / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+HOL
@@ Property / describes a project that uses: HOL / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Nuprl
@@ Property / describes a project that uses: Nuprl / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MBase
@@ Property / describes a project that uses: MBase / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MathWeb
@@ Property / describes a project that uses: MathWeb / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Omega-ANTS
@@ Property / describes a project that uses: Omega-ANTS / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+LOUI
@@ Property / describes a project that uses: LOUI / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Oyster
@@ Property / describes a project that uses: Oyster / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+PROTEIN
@@ Property / describes a project that uses: PROTEIN / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+TRAMP
@@ Property / describes a project that uses: TRAMP / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Coq
@@ Property / describes a project that uses: Coq / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Isabelle
@@ Property / describes a project that uses: Isabelle / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+P.rex
@@ Property / describes a project that uses: P.rex / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+TPS
@@ Property / describes a project that uses: TPS / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+PVS
@@ Property / describes a project that uses: PVS / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+TeXmacs
@@ Property / describes a project that uses: TeXmacs / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SATCHMO
@@ Property / describes a project that uses: SATCHMO / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Waldmeister
@@ Property / describes a project that uses: Waldmeister / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Bliksem
@@ Property / describes a project that uses: Bliksem / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Multi
@@ Property / describes a project that uses: Multi / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ActiveMath
@@ Property / describes a project that uses: ActiveMath / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ML
@@ Property / describes a project that uses: ML / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SPASS
@@ Property / describes a project that uses: SPASS / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+TPTP
@@ Property / describes a project that uses: TPTP / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Leo
@@ Property / describes a project that uses: Leo / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Lambda-Clam
@@ Property / describes a project that uses: Lambda-Clam / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.jal.2005.10.008
+Normal rank
@@ Property / OpenAlex ID @@
+W2141290989
@@ Property / OpenAlex ID: W2141290989 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2723417
@@ Property / cites work: Q2723417 / rank @@
+Normal rank
@@ Property / cites work @@
+TPS: A theorem-proving system for classical type theory
+Normal rank
@@ Property / cites work @@
+Automated Deduction – CADE-20
@@ Property / cites work: Automated Deduction – CADE-20 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2847390
@@ Property / cites work: Q2847390 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4428290
@@ Property / cites work: Q4428290 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4737121
@@ Property / cites work: Q4737121 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3957169
@@ Property / cites work: Q3957169 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4797443
@@ Property / cites work: Q4797443 / rank @@
+Normal rank
@@ Property / cites work @@
+Mechanizing Mathematical Reasoning
@@ Property / cites work: Mechanizing Mathematical Reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Logic for Programming, Artificial Intelligence, and Reasoning
+Normal rank
@@ Property / cites work @@
+Challenge problems in elementary calculus
@@ Property / cites work: Challenge problems in elementary calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Q5565097
@@ Property / cites work: Q5565097 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3804239
@@ Property / cites work: Q3804239 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4297316
@@ Property / cites work: Q4297316 / rank @@
+Normal rank
@@ Property / cites work @@
+Automated deduction -- CADE-12. 12th international conference, Nancy, France, June 26 -- July 1, 1994. Proceedings
+Normal rank
@@ Property / cites work @@
+Q4707764
@@ Property / cites work: Q4707764 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4004141
@@ Property / cites work: Q4004141 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4247688
@@ Property / cites work: Q4247688 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2751352
@@ Property / cites work: Q2751352 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4830809
@@ Property / cites work: Q4830809 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4539626
@@ Property / cites work: Q4539626 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2723443
@@ Property / cites work: Q2723443 / rank @@
+Normal rank
@@ Property / cites work @@
+Automated deduction - CADE-16. 16th international conference, Trento, Italy, July 7--10, 1999. Proceedings
+Normal rank
@@ Property / cites work @@
+Artificial intelligence: methodology, systems, and applications. 8th international conference, AIMSA '98. Sozopol, Bulgaria, September 21--23, 1998. Proceedings
+Normal rank
@@ Property / cites work @@
+Q5287513
@@ Property / cites work: Q5287513 / rank @@
+Normal rank
@@ Property / cites work @@
+Automated reasoning. 1st international joint conference, IJCAR 2001, Siena, Italy, June 18-22, 2001. Proceedings
+Normal rank
@@ Property / cites work @@
+Q5844404
@@ Property / cites work: Q5844404 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2716041
@@ Property / cites work: Q2716041 / rank @@
+Normal rank
@@ Property / cites work @@
+Automated deduction - CADE-15. 15th international conference, Lindau, Germany, July 5--10, 1998. Proceedings
+Normal rank
@@ Property / cites work @@
+Frontiers of combining systems. 3rd international workshop, FroCoS 2000, Nancy, France, March 22--24, 2000. Proceedings
+Normal rank
@@ Property / cites work @@
+MBase: Representing knowledge and context for the integration of mathematical software systems
+Normal rank
@@ Property / cites work @@
+th international conference on automated deduction (CADE-9), Argonne, Illinois, USA, May 23-26, 1988. Proceedings
+Normal rank
@@ Property / cites work @@
+Q3821629
@@ Property / cites work: Q3821629 / rank @@
+Normal rank
@@ Property / cites work @@
+Automated deduction - CADE-17. 17th international conference, Pittsburgh, PA, USA, June 17--20, 2000. Proceedings
+Normal rank
@@ Property / cites work @@
+Solution of the Robbins problem
@@ Property / cites work: Solution of the Robbins problem / rank @@
+Normal rank
@@ Property / cites work @@
+Q2723444
@@ Property / cites work: Q2723444 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2767093
@@ Property / cites work: Q2767093 / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Deduction – CADE-20
@@ Property / cites work: Automated Deduction – CADE-20 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4433981
@@ Property / cites work: Q4433981 / rank @@
+Normal rank
@@ Property / cites work @@
+Comparing approaches to the exploration of the domain of residue classes.
+Normal rank
@@ Property / cites work @@
+Q2751548
@@ Property / cites work: Q2751548 / rank @@
+Normal rank
@@ Property / cites work @@
+Proof planning with multiple strategies
@@ Property / cites work: Proof planning with multiple strategies / rank @@
+Normal rank
@@ Property / cites work @@
+Knowledge-based proof planning
@@ Property / cites work: Knowledge-based proof planning / rank @@
+Normal rank
@@ Property / cites work @@
+Artificial Intelligence and Soft Computing - ICAISC 2004
+Normal rank
@@ Property / cites work @@
+Q4518862
@@ Property / cites work: Q4518862 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2764131
@@ Property / cites work: Q2764131 / rank @@
+Normal rank
@@ Property / cites work @@
+Isabelle/HOL. A proof assistant for higher-order logic
+Normal rank
@@ Property / cites work @@
+Isabelle. A generic theorem prover
@@ Property / cites work: Isabelle. A generic theorem prover / rank @@
+Normal rank
@@ Property / cites work @@
+Q3998374
@@ Property / cites work: Q3998374 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4539622
@@ Property / cites work: Q4539622 / rank @@
+Normal rank
@@ Property / cites work @@
+A Machine-Oriented Logic Based on the Resolution Principle
+Normal rank
@@ Property / cites work @@
+Theoretical studies of sea animal locomotion, part 2
+Normal rank
@@ Property / cites work @@
+Q4664927
@@ Property / cites work: Q4664927 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4428312
@@ Property / cites work: Q4428312 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4518867
@@ Property / cites work: Q4518867 / rank @@
+Normal rank
@@ Property / cites work @@
+The TPTP problem library. CNF release v1. 2. 1
@@ Property / cites work: The TPTP problem library. CNF release v1. 2. 1 / rank @@
+Normal rank
@@ Property / cites work @@
+The seventeen provers of the world. Foreword by Dana S. Scott..
+Normal rank
@@ Property / cites work @@
+Q4809049
@@ Property / cites work: Q4809049 / rank @@
+Normal rank
@@ Property / cites work @@
+Constraint solving for proof planning
@@ Property / cites work: Constraint solving for proof planning / rank @@
+Normal rank