Skip to content.
|
Skip to navigation
Site Map
Accessibility
Contact
Search Site
only in current section
Advanced Search…
Sections
Bibliography
Bibliography
Home
Users
Axiom Computer Algebra System
News
Events
Refs
Personal tools
Log in
Register
You are here:
Home
→
Refs
→
AxiomBiblio
→
Automated theorem proving in support of computer algebra: symbolic definite integration as a case study
Log in
Login Name
Password
Cookies are not enabled. You must enable cookies before you can log in.
Forgot your password?
New user?
Navigation
Users
Axiom Computer Algebra System
News
Events
Refs
Articles
AxiomBiblio
AXIOM : the scientific computation system
SCRATCHPAD/1 — an interactive facility for symbolic mathematics
META\slash PLUS: The Syntax Extension Facility for SCRATCHPAD
Experience with an online symbolic math. system SCRATCHPAD
SCRATCHPAD: A capsule view
The SCRATCHPAD language
Computing with Formal Power Series
A pattern compiler
Ueberlegungen zur Implementierung eines Formelmanipulationssystemes
Ramanujan and SCRATCHPAD
Scratchpad
The New SCRATCHPAD Language and System for Computer Algebra
A primer: 11 keys to New Scratchpad
The Scratchpad II Computer Algebra Language and System
Buchberger's algorithm and staggered linear bases
Scratchpad II: an abstract datatype system for mathematical computation
A fast implementation of polynomial factorization
Applications of a software interconnection system in mathematical problem solving environments
Infinite Structures in SCRATCHPAD II
Scratchpad II: Présentation d'un nouveau langage de calcul formel
The Type Inference and Coercion Facilities in the Scratchpad II Interpreter
The type inference and coercion facilities in the Scratchpad II interpreter
The type inference and coercion facilities in the Scratchpad II interpreter
Application of Scratchpad to problems in special functions and combinatorics
Computer Algebra: Systems and Algorithms for Algebraic Computation
On an installation of Buchberger's algorithm
Scratchpad II: An Abstract Datatype System for Mathematical Computation
Programming with abstract data types: the symmetry package SPDE in Scratchpad
Using Gröbner bases to determine algebra membership, split surjective algebra homomorphisms determine birational equivalence
Scratchpad II: An abstract Datatype system for mathematical computation
Type inference in the presence of type abstraction
Simplification of real elementary functions
Infinite structures in Scratchpad II
Algebraic extensions and algebraic closure in Scratchpad II
Algebraic solution of systems of polynomial equations using Gröbner bases
Implementation of a geometry theorem proving package in SCRATCHPAD II
Symbolic computational algebra applied to Picard iteration
Inversibility of rational mappings and structural identifiability in automatics
Examples of automatic asymptotic expansions
A factorization algorithm for linear ordinary differential equations
On Goldman's algorithm for solving first-order multinomial autonomous systems
A program for computing the Liapunov functions and Liapunov constants in Scratchpad II
A fixed point method for power series computation
Scratchpad's View of Algebra I: Basic Commutative Algebra
Advances and trends in the design and construction of algebraic manipulation systems
Efficient type inference and coercion in computer algebra
Une Implantation de l'algorithme de Kovacic en Scratchpad
Teaching advantages of transparent computer software – MathCAD
The minimum distance of some binary codes via the Newton's identities
The Risch differential equation on an algebraic curve
Scratchpad and the Rogers-Ramanujan identities
Scratchpad's view of algebra. II. A categorical view of factorization
Using MathCAD in teaching material and energy balance concepts
Das Computeralgebra-System AXIOM bei kryptologischen und verkehrstheoretischen Untersuchungen des Forschungsinstituts der Deutschen Bundespost TELEKOM
Word games in free Lie algebras: several bases and formulas
Resolutions via homological perturbation
The use of MathCAD and Theorist in the ChE classroom
New quantum mechanical perturbation technique using an `electronic scratchpad' on an inexpensive computer
Examples of automatic asymptotic expansions
Monomial orderings and Gröbner bases
Mechanical manipulation for a class of differential systems
Programming Environments for High-Level Scientific Problem Solving. IFIP TC2\slash WG 2.5 Working Conference
Un problème combinatoire dans les graphes de Hamming et sa solution en Scratchpad. (English: A combinatorial problem in Hamming graphs and its solution in Scratchpad)
A polymorphic functional language applied to symbolic computation
The AXIOM System
How Does One Program in the AXIOM System?
Scratchpad's View of Algebra I: Basic Commutative Algebra
Scratchpad's View of Algebra II: A Categorical View of Factorization
Examples of problem solving using computer algebra
Computation of the Jordan canonical form of a square matrix (using the Axiom programming language)
Finite Fields in AXIOM
AXIOM: The Scientific Computation System
Real algebraic closure of an ordered field, implementation in Axiom
An algorithm for solving parametric linear systems
Using pictorial and object oriented programming for computer algebra
Gröbnerbasen für Differentialformen und ihre Implementierung in AXIOM
Full Partial Fraction Decomposition of Rational Functions
Primality Testing Revisited
An abstract data type development of graded rings
Gauss: a parameterized domain of computation system with support for signature functions
Experience with Axiom
On coherence in computer algebra
Double-track into the future: MathCAD will gain new users with Standard and Plus versions
Calculations with simplicial and cubical groups in AXIOM
Introduction to Gauss
How to make AXIOM into a Scratchpad
Production of Argument SubPrograms in the AXIOM — NAG link: examples involving nonlinear systems
Completion to involution in AXIOM
Pseudo differential operators and integrable systems in AXIOM
An algorithm for computing an integral basis in an algebraic function field
GAMM 94 Annual Meeting
Object oriented method for Axiom
On the Implementation of Dynamic Evaluation
Verified solutions for parameters of an exact solution for non-Newtonian liquids using computer algebra
Automated coercion for Axiom
Proceedings of the second symposium on Symbolic and Algebraic Manipulation, March 23 - 25, 1971, Los Angeles, California
Online 72: conference proceedings international conference on online interactive computing, Brunel University, Uxbridge, England, 4 - 7 September 1972
Proceedings of the 1984 MACSYMA Users' Conference: Schenectady, New York, July 23 - 25, 1984
EUROSAM '84: International Symposium on Symbolic and Algebraic Computation, Cambridge, England, July 9 - 11, 1984
EUROCAL '85: European Conference on Computer Algebra, Linz, Austria, April 1 - 3, 1985: proceedings
Proceedings of the SIGPLAN '87 Symposium on Interpreters and Interpretive Techniques, St. Paul, Minnesota, June 24 - 26, 1987
Trends in Computer Algebra, International Symposium Bad Neuenahr, May 19 - 21, 1987, Proceedings
Proceedings of the ACM-SIGSAM 1989 International Symposium on Symbolic and Algebraic Computation, ISSAC '89
Applied Algebra, Algebraic Algorithms and Error-Correcting Codes. 5th International Conference, AAECC-5 Proceedings
EUROCAL '87. European Conference on Computer Algebra Proceedings
Symbolic and Algebraic Computation. International Symposium ISSAC '88, Rome, Italy, July 4 - 8, 1988. Proceedings
Applied Algebra, Algebraic Algorithms and Error-Correcting Codes. 6th International Conference, AAECC-6, Rome, Italy, July 4 - 8, 1988. Proceedings
ISSAC '90. Proceedings of the International Symposium on Symbolic and Algebraic Computation
Design and Implementation of Symbolic Computation Systems, International Symposium DISCO '90, Capri, Italy, April 10 - 12, 1990, Proceedings
EUROCODE '90. International Symposium on Coding Theory and Applications Proceedings
Proceedings of the 1991 International Symposium on Symbolic and Algebraic Computation, ISSAC'91, July 15 - 17, 1991, Bonn, Germany
Proceedings 1991 Annual Conference, American Society for Engineering Education. Challenges of a Changing World
International System Symposium on Symbolic and Algebraic Computation 92
ISSAC'93: proceedings of the 1993 International Symposium on Symbolic and Algebraic Computation, July 6 - 8, 1993, Kiev, Ukraine
Design and Implementation of Symbolic Computation Systems International Symposium, DISCO '92 Proceedings
Proceedings SC 93. International IMACS Symposium on Symbolic Computation. New Trends and Developments
Design and Implementation of Symbolic Computation Systems International Symposium. DISCO '93 Gmunden, Austria, September 15 - 17, 1993: Proceedings
ISSAC'94. Proceedings of the International Symposium on Symbolic and Algebraic Computation
Rhine Workshop on Computer Algebra. Proceedings
ISSAC '95: Proceedings of the 1995 International Symposium on Symbolic and Algebraic Computation: July 10 - 12, 1995, Montreal, Canada
ISSAC 99: July 29 - 31, 1999, Simon Fraser University, Vancouver, BC, Canada: proceedings of the 1999 International Symposium on Symbolic and Algebraic Computation
Towards faster real algebraic numbers
Understanding expression simplification
Comparison of polynomial-oriented computer algebra systems
Pending Duplicate Bibliography Entries
Algorithms for type inference with coercions
Lightweight formal methods for computer algebra systems
Computer algebra in the life sciences
Automated theorem proving in support of computer algebra: symbolic definite integration as a case study
Modeling inheritance as coercion in a symbolic computation system
Finite field linear algebra subroutines
Computer algebra: the end of mathematics?
A small OpenMath type system
Automated coercion for axiom
Manipulating Fortran Code in AXIOM and the AXIOM-NAG Link
Prospects for Category Theory in Aldor
Does Axiom Solve Systems of O.D.E.'s Like Mathematica?
Axiom Volume 1: Tutorial
ReduceBiblio
Forgot your password?
New user?
Users
Axiom Computer Algebra System
AxiomBiblio
AXIOM : the scientific computation system
Pending Duplicate Bibliography Entries