Computer supported mathematics with Ωmega

, &
Journal of Applied Logic 4 (4):533-559 (2006)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.jal.2005.10.008

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,349

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Jacques Herbrand: life, logic, and automated deduction.Claus-Peter Wirth, Jörg Siekmann, Christoph Benzmüller & Serge Autexier - 2009 - In Dov Gabbay (ed.), The Handbook of the History of Logic. Elsevier. pp. 195-254.
Towards computer aided mathematics.Christoph Benzmüller - 2006 - Journal of Applied Logic 4 (4):359-365.
Mathematics, The Computer Revolution and the Real World.James Franklin - 1988 - Philosophica 42:79-92.
Discrete Mathematics.S. K. Chakraborty & B. K. Sarkar - 2011 - Oxford University Press India.
O związkach informatyki z matematyką.Izabela Bondecka-Krzykowska - 2010 - Filozofia Nauki 18 (1).
Computer-supported resolution of measurement conflicts: A case-study in materials science. [REVIEW]Hidde de Jong, Nicolaas Mars & Paul van der Vet - 1999 - Foundations of Science 4 (4):427-461.
Experimental mathematics, computers and the a priori.Mark McEvoy - 2013 - Synthese 190 (3):397-412.
Abstraction in computer science.Timothy Colburn & Gary Shute - 2007 - Minds and Machines 17 (2):169-184.
Algorithms in modern mathematics and computer science: proceedings, Urgench, Uzbek SSR, September 16-22, 1979.A. P. Ershov & Donald Ervin Knuth (eds.) - 1981 - New York: Springer Verlag.
Deontic logic and computer-supported computer ethics.Jeroen Van Den Hoven & Gert-Jan Lokhorst - 2002 - In James Moor & Terrell Ward Bynum (eds.), Cyberphilosophy: The Intersection of Philosophy and Computing. Blackwell. pp. 376-386.
Software, Abstraction, and Ontology.Timothy R. Colburn - 1999 - The Monist 82 (1):3-19.
Computers and mathematics: The search for a discipline of computer science.Michael S. Mahoney - 1992 - In Javier Echeverria, Andoni Ibarra & Thomas Mormann (eds.), The Space of Mathematics: Philosophical, Epistemological, and Historical Explorations. De Gruyter. pp. 349--363.
Informatikai matematikai alapvetés.József Szabó - 2006 - Debrecen: Debreceni Egyetem Kossuth Egyetemi Kiadó.
Magic world of mathematics has found “common face”.V. P. Kazaryan - 2013 - Liberal Arts in Russia 2 (3):252.
Historical Mathematics in the French Eighteenth Century.Joan Richards - 2006 - Isis 97:700-713.

Analytics

Added to PP
2016-06-30

Downloads
18 (#808,169)

6 months
3 (#1,023,809)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Christoph Benzmueller
Freie Universität Berlin

Citations of this work

The Higher-Order Prover LEO-II.Christoph Benzmüller, Nik Sultana, Lawrence C. Paulson & Frank Theiß - 2015 - Journal of Automated Reasoning 55 (4):389-404.
Proof planning with multiple strategies.Erica Melis, Andreas Meier & Jörg Siekmann - 2008 - Artificial Intelligence 172 (6-7):656-684.
The curious inference of Boolos in MIZAR and OMEGA.Christoph Benzmüller & Chad Brown - 2007 - In Matuszewski Roman & Zalewska Anna (eds.), From Insight to Proof -- Festschrift in Honour of Andrzej Trybulec. The University of Bialystok, Polen. pp. 299-388.
Granularity Analysis for Mathematical Proofs.Marvin R. G. Schiller - 2013 - Topics in Cognitive Science 5 (2):251-269.

Add more citations

References found in this work

A Formulation of the Simple Theory of Types.Alonzo Church - 1940 - Journal of Symbolic Logic 5 (3):114-115.
Theory of Sets.Nicolas Bourbaki - 1975 - Journal of Symbolic Logic 40 (4):630-631.
Knowledge-based proof planning.Erica Melis & Jörg Siekmann - 1999 - Artificial Intelligence 115 (1):65-105.

View all 6 references / Add more references