A. A. Adams  Home/Search
Context
Related
| risc.unilinz.ac.at/conferen...adams.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: risc.unilinz.ac.at/conference... (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We consider the utility of digital look up tables, as adjuncts/helpers to computer algebra systems. The requirements for dealing with logical side conditions raised by such tables are considered and proposals for using theorem proving technology as black box aids are considered. In addition, the use of real number theorem proving libraries to support validation of table entries is also presented. (Update)
Active bibliography (related documents): More All
0.7: Definite Integration of Parametric Rational Functions: Applying a.. - Adams (2000) (Correct)
0.7: VSDITLU: a verifiable symbolic definite integral table.. - Adams, Gottliebsen.. (1999) (Correct)
0.7: Automated Theorem Proving in Support of Computer.. - Adams.. (Correct)
Similar documents based on text: More All
0.1: Approaches to Formal Meta-Theory - Adams (1997) (Correct)
0.1: VSDITLU: a verified symbolic definite integral table.. - Adams, Gottliebsen.. (1999) (Correct)
0.1: Implementation of Dynamic Look-up Tables - Clarke, Cantoni (1994) (Correct)
BibTeX entry: (Update)
@article{ adams01digital,
author = "Anne Adams and Ann Blandford",
title = "Digital Libraries in a Clinical Setting: Friend or Foe?",
journal = "Lecture Notes in Computer Science",
volume = "2163",
pages = "213--??",
year = "2001",
url = "citeseer.ist.psu.edu/adams01digital.html" }
Citations (may not include all citations):166 Series and Products (context) - Gradshteyn, Ryzhik et al. - 1996
166 Series and Products (context) - Gradshteyn, Ryzhik et al. - 1996
166 Series and Products (context) - Gradshteyn, Ryzhik et al. - 1965
166 Series and Products (context) - Gradshteyn, Ryzhik et al. - 2000
36 CRC Standard Mathematical Tables (context) - Beyer - 1987
13 Optical Character Recognition and Parsing of Typeset Mathema.. - Fateman, Tokuyasu et al. - 1996
10 Design and Implementation of Symbolic Computation Systems (context) - Calmet, Limongelli - 1996
9 Automated theorem proving in support of computer algebra: sy.. - Adams, Gottliebsen et al.
9 Searching techniques for Integral Tables - Einwohner, Fateman
7 Transcendental Functions and Continuity Checking in PVS - Gottliebsen
6 A Deductive Database for Mathematical Formulas (context) - Dalmas, Ga et al.
4 Springer-Verlag LNAI (context) - Ganzinger, Deduction - 1999
3 Special Issue on OPENMATH (context) - Dewar - 2000
3 Error Rates in Tables of Inde nite Integrals (context) - Klerer, Grossman - 1968
2 A Veri able Symbolic De nite Integral Table Look-Up (context) - Adams, Gottliebsen et al. - 1999
1 Handbook of Mathematical Tables (context) - Chemical, editor - 1964
1 Uni cation (context) - Kirchner - 1990
1 Theorem Proving in Support of Computer Algebra | DITLU: A De.. (context) - Adams
1 Standard four- gure mathematical (context) - Milne-Thomson, Comrie
1 VSDITLU: a veri able symbolic de nite integral table look-up (context) - Adams, Gottliebsen et al.
1 ees pour les relations mathematiques (context) - Huchet - 1997
1 Springer-Verlag LNAI (context) - Harrison, Aagaard et al. - 2000
www.maplesoft.com
http://torte.cs.berkeley.edu:8010/tilu
Documents on the same site (http://www.risc.uni-linz.ac.at/conferences/MKM2001/Proceedings/): More
Mathematical Knowledge Management in Foc - Hardin (2001) (Correct)
Designing Mathematical Libraries based on Minimal Requirements .. - Schwarzweller (2001) (Correct)
Mathematical Knowledge Management in MIZAR - Rudnicki, Trybulec (2001) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC