On the Role of Formalization in Computational Mathematics

Julio Rubio

doi:10.36045/bbms/1378314504

Password Forgot your password?

Show

Remember Email on this computer

Remember Password

Please wait...

No Project Euclid account? Create an account
or Sign in with your institutional credentials

We can help you reset your password using the email address linked to your Project Euclid account.

Registered users receive a variety of benefits including the ability to customize email alerts, create favorite journals list, and save searches. Please note that a Project Euclid web account does not automatically grant access to full-text content. An institutional or society member subscription is required to view non-Open Access content. Contact customer_support@projecteuclid.org with any questions.
View Project Euclid Privacy Policy

All Fields are Required

* First Name

* Last/Family Name

* Email

* Password

Password Requirements: Minimum 8 characters, must include as least one uppercase, one lowercase letter, and one number or permitted symbol Valid Symbols for password:
~ Tilde
! Exclamation Mark
@ At sign
$ Dollar sign
^ Caret
( Opening Parenthesis
) Closing Parenthesis
_ Underscore
. Period

* Confirm Password

Please wait...

Web Account created successfully

Browse
Resources
About

Advanced Search

Home > Journals > Bull. Belg. Math. Soc. Simon Stevin > Volume 20 > Issue 3 > Article

august 2013 On the Role of Formalization in Computational Mathematics

Julio Rubio

Bull. Belg. Math. Soc. Simon Stevin 20(3): 385-403 (august 2013). DOI: 10.36045/bbms/1378314504

ABOUT
FIRST PAGE
CITED BY
DOWNLOAD PAPER SAVE TO MY LIBRARY

PERSONAL SIGN IN
Full access may be available with your subscription

Password Forgot your password?

Show

Remember Email on this computer

Remember Password

No Project Euclid account? Create an account
or Sign in with your institutional credentials

PURCHASE SINGLE ARTICLE

This article is only available to subscribers. It is not available for individual sale.

This will count as one of your downloads.

You will have access to both the presentation and article (if available).

DOWNLOAD NOW

This content is available for download via your institution's subscription. To access this item, please sign in to your personal account.

Password Forgot your password?

Show

Remember Email on this computer

Remember Password

No Project Euclid account? Create an account

My Library

You currently do not have any folders to save your paper to! Create a new folder below.

Abstract

In this paper, we will report on the developments carried out in Isabelle/HOL, ACL2 and Coq/SSReflect on Computational Algebraic Topology, in the frame of the ForMath European project. The aim is to illustrate, trough concrete examples, the role of formalization technologies in Computational Mathematics in general.

Citation

Download Citation

Julio Rubio. "On the Role of Formalization in Computational Mathematics." Bull. Belg. Math. Soc. Simon Stevin 20 (3) 385 - 403, august 2013. https://doi.org/10.36045/bbms/1378314504

Information

Published: august 2013

First available in Project Euclid: 4 September 2013

zbMATH: 1274.68415

MathSciNet: MR3129047

Digital Object Identifier: 10.36045/bbms/1378314504

Subjects:

Primary: 03B70 , 55-04 , 68N30 , 68U10 , 68U10

Keywords: Algebraic Topology , biomedical imaging , computer algebra , Formalization of Mathematics , verification

JOURNAL ARTICLE
19 PAGES

DOWNLOAD PDF + SAVE TO MY LIBRARY

GET CITATION

My Library

You currently do not have any folders to save your paper to! Create a new folder below.

Folder Name

Folder Description

< Previous Article

Next Article >

Bull. Belg. Math. Soc. Simon Stevin

Vol.20 • No. 3 • august 2013

The Belgian Mathematical Society

Subscribe to Project Euclid

Receive erratum alerts for this article

Julio Rubio "On the Role of Formalization in Computational Mathematics," Bulletin of the Belgian Mathematical Society - Simon Stevin, Bull. Belg. Math. Soc. Simon Stevin 20(3), 385-403, (august 2013)

Include:

Citation Only

Citation & Abstract

Format:

RIS

EndNote

BibTex

Print Friendly Version (PDF)

Quick Links

Browse
Search
About
Accessibility
Sign in

Information for Librarians

Manage my account
Subscriptions and Access
Librarian tools
More Help

Information for Publishers

Manage my account

Contact & Support

Business Office
905 W. Main Street
Suite 18B
Durham, NC 27701 USA
Help | Contact Us

Connect

Browse
Resources
About

Help | Advanced Search

KEYWORDS/PHRASES

Keywords

Remove

+ Add another field

PUBLICATION TITLE:

All Titles

Choose Title(s)

PUBLICATION YEARS

Range

Single Year

Clear Form