- Info
Bill Page
Author's home page in this site…
Latest content created by this user
| Article Reference |
|
Computer Classification of the Integrable Coupled Kdv-like Systems with Unit Main Matrix
|
Sep 20, 2007 |
|
Scaling Property of Period-n-Tupling Sequences in One-Dimensional Mappings
|
Sep 20, 2007 |
|
The method of creative telescoping
|
Sep 20, 2007 |
|
A fast algorithm for proving terminating hypergeometric identities
|
Sep 20, 2007 |
|
Large Deformations of a Cylindrical Liquid-Filled Membrane by a Viscous Shear Flow
|
Sep 20, 2007 |
| Bibliography Folder |
|
ReduceBiblio
|
Sep 20, 2007 |
|
AxiomBiblio
|
Sep 20, 2007 |
| Book Reference |
|
Mechanical Theorem Proving in Geometries
|
Sep 20, 2007 |
|
Einführung in die Computeralgebra mit REDUCE
|
Sep 20, 2007 |
|
Quantum Mechanics using Computer Algebra
|
Sep 20, 2007 |
|
Chaos und Quantenchaos in dynamischen Systemen
|
Sep 20, 2007 |
|
Invertible Point Transformations and Nonlinear Differential Equations
|
Sep 20, 2007 |
| Page |
|
Axiom Computer Algebra System
|
Nov 28, 2007 |
| Duplicates Bibliography Folder |
|
Pending Duplicate Bibliography Entries
|
Sep 20, 2007 |
| File |
|
Discovery of Quantum Hidden Variable
|
Dec 13, 2007 |
|
The Unknown in Computer Algebra
|
Nov 07, 2007 |
|
AXIOM, Langage fonctionnel à développement objet.
|
Aug 29, 2007 |
|
The Type Inference and Coercion Facilities in the Scratchpad II Interpreter
|
Mar 03, 2006 |
|
A New Algebra System
|
Aug 29, 2007 |
| Folder |
|
physics
|
Dec 13, 2007 |
|
Articles
|
Sep 24, 2007 |
|
Refs
|
Sep 19, 2007 |
| Incollection Reference |
|
Some recent advances in mechanical theorem proving of geometry
|
Sep 20, 2007 |
|
On the decision problem and the mechanization of theorem-proving in elementary geometry
|
Sep 20, 2007 |
|
The computation of conservation laws for geodesic motion in curved spaces and for arbitrary PDE systems
|
Sep 20, 2007 |
|
The programm CRACK for solving PDEs in General Relativity
|
Sep 20, 2007 |
|
REDUCE for Beginners. Six Lectures on the Application of Computer Algebra
|
Sep 20, 2007 |
| Inproceedings Reference |
|
Involution Approach to Solving Systems of Algebraic Equations
|
Sep 20, 2007 |
|
REDUCE 3.2 on iAPX 86/286-based Personal Computers
|
Sep 20, 2007 |
|
Particle Tracking with Generating Functions of Magnetic Fringing Fields
|
Sep 20, 2007 |
|
Programs for Applying Symmetries of PDEs
|
Sep 20, 2007 |
|
An efficiency improved program LIEPDE for determining Lie-symmetries of PDEs
|
Sep 20, 2007 |
| Large Folder |
|
Events
|
Sep 19, 2007 |
|
News
|
Sep 19, 2007 |
|
Users
|
Sep 19, 2007 |
| Manual Reference |
|
Redlog User Manual
|
Sep 20, 2007 |
|
CALI - A Reduce package for commutative algebra. Version 2.2.1
|
Sep 20, 2007 |
|
Scratchpad
|
Sep 20, 2007 |
| Mastersthesis Reference |
|
Deformation of a Fluid-Filled Cylindrical Membrane by a Slow Viscous Shear Flow
|
Sep 20, 2007 |
|
Application of REDUCE 2 to the Construction of Recurrence Relations
|
Sep 20, 2007 |
|
Program Transformation in REDUCE Using Rule Sequencing
|
Sep 20, 2007 |
|
Gröbnerbasen für Differentialformen und ihre Implementierung in AXIOM
|
Sep 20, 2007 |
|
Ueberlegungen zur Implementierung eines Formelmanipulationssystemes
|
Sep 20, 2007 |
| Misc Reference |
|
International Mathematics Olympiad (IMO)
|
Sep 20, 2007 |
| News Item |
|
Sage in Axiom Wiki
|
Sep 20, 2007 |
| Phdthesis Reference |
|
Solutions Formelles D'Equations Differentielles, le Logiciel de Calcul Formel: DESIR Etude Theorique et Realisation
|
Sep 20, 2007 |
|
O Método de Supercampos para o Cálculo de Potencial Efetivo em Modelos com Supercampos Quirais: Os Modelos de Wess e Zumino e de O'Raifeartaigh
|
Sep 20, 2007 |
|
Application of a Digital Computer to Solve Analytically Special Classes of Linear and Nonlinear Differential Equations
|
Sep 20, 2007 |
|
An Analytical Investigation of Infinitesimal Spatial Motion Theory and its Application to Three-Dimensional Linkages
|
Sep 20, 2007 |
|
Nichtnumerische Verfahren und deren Anwendung in der Elementarteilchen-Physik
|
Sep 20, 2007 |
| Preprint Reference |
|
A REDUCE package for the integration of differential polynomials
|
Sep 20, 2007 |
| Proceedings Reference |
|
ISSAC 99: July 29 - 31, 1999, Simon Fraser University, Vancouver, BC, Canada: proceedings of the 1999 International Symposium on Symbolic and Algebraic Computation
|
Sep 20, 2007 |
|
ISSAC '95: Proceedings of the 1995 International Symposium on Symbolic and Algebraic Computation: July 10 - 12, 1995, Montreal, Canada
|
Sep 20, 2007 |
|
Rhine Workshop on Computer Algebra. Proceedings
|
Sep 20, 2007 |
|
ISSAC'94. Proceedings of the International Symposium on Symbolic and Algebraic Computation
|
Sep 20, 2007 |
|
Design and Implementation of Symbolic Computation Systems International Symposium. DISCO '93 Gmunden, Austria, September 15 - 17, 1993: Proceedings
|
Sep 20, 2007 |
| Techreport Reference |
|
On Applicability Limits of the Experimental Method for Investigating Strong Gravitational Fields
|
Sep 20, 2007 |
|
Towards an efficient computational treatment of heterogeneous polymer reactions
|
Sep 20, 2007 |
|
Explicit Iterative Algorithms to Reduce a Univariate Catastrophe to Normal Form
|
Sep 20, 2007 |
|
The program CRACK for solving PDEs in General Relativity, Lecture given at the 152. WE-Heraeus-Seminar on RELATIVITY AND SCIENTIFIC COMPUTING: Computer Algebra, Numerics, Visualization
|
Sep 20, 2007 |
|
Programs for Applying Symmetries of PDEs
|
Sep 20, 2007 |
| Collection |
|
Past Events
|
Sep 19, 2007 |
|
Events
|
Sep 19, 2007 |
|
News
|
Sep 19, 2007 |
| Unpublished Reference |
|
The Symbolic Integration of Exact PDEs
|
Sep 20, 2007 |
|
A linearization of PDEs based on conservation laws
|
Sep 20, 2007 |
|
Size reduction and partial decoupling of systems of equations
|
Sep 20, 2007 |
|
Recognizing overdetermined subsystems of systems of equations
|
Sep 20, 2007 |
|
Lecture Notes for an Introductory Minicourse on q-Series
|
Sep 20, 2007 |
| Webpublished Reference |
|
Prospects for Category Theory in Aldor
|
Sep 20, 2007 |
All content created by
Bill Page…
|
