Towards computer aided mathematics

Journal of Applied Logic 4 (4):359-365 (2006)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.jal.2005.10.001

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,197

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

Computer Aided Logical Design with Emphasis on VLSI.Frederick J. Hill & Gerald R. Peterson - 1993 - Wiley.
Systems of Computer-Aided Reasoning for Mathematics and Natural Language.Witold Marciszewski - 1987 - In Jan T. J. Srzednicki (ed.), Initiatives in Logic. M. Nijhoff. pp. 207--223.
Die Realität des Imaginären: Architektur Und Das Digitale Bild : 10. Internationales Bauhaus-Kolloquium Weimar 2007.Jörg H. Gleiter, Norbert Korrek & Gerd Zimmermann (eds.) - 2008 - Verlag der Bauhaus-Universität.
Toward computer-aided induction: a brief review of currently implemented AQVAL programs.Ryszard Stanisław Michalski - 1977 - Urbana: Dept. of Computer Science, University of Illinois at Urbana-Champaign.
Computer‐aided system for health economic evaluation.Wen-Chou Lin, Amy Ming-Fang Yen, Chi-Ming Chang, Chih-Hsung Chao & Tony Hsiu-Hsi Chen - 2009 - Journal of Evaluation in Clinical Practice 15 (5):797-803.
Computer supported mathematics with Ωmega.Jörg Siekmann, Christoph Benzmüller & Serge Autexier - 2006 - Journal of Applied Logic 4 (4):533-559.
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.
Computer‐aided disease prediction system: development of application software with SAS component language.Chi-Ming Chang, Hsu-Sung Kuo, Shu-Hui Chang, Hong-Jen Chang, Der-Ming Liou, Tabar Laszlo & Tony Hsiu-Hsi Chen - 2005 - Journal of Evaluation in Clinical Practice 11 (2):139-159.
O związkach informatyki z matematyką.Izabela Bondecka-Krzykowska - 2010 - Filozofia Nauki 18 (1).
Vision and Image Processing (I)-Computer Aided Classification of Mammographic Tissue Using Independent Component Analysis and Support Vector Machines.Athanasios Koutras, Ioanna Christoyianni, George Georgoulas & Evangelos Dermatas - 2006 - In O. Stock & M. Schaerf (eds.), Lecture Notes in Computer Science. Springer Verlag. pp. 568-577.
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.
Expressive Form: A Conceptual Approach to Computational Design.Kostas Terzidis - 2003 - Taylor & Francis.
Explicit graphs and computer-aided notation.Wolfram Kahl - 1999 - Semiotica 125 (1-3):143-154.

Analytics

Added to PP
2016-06-30

Downloads
11 (#1,141,924)

6 months
1 (#1,477,342)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Christoph Benzmueller
Freie Universität Berlin

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references