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
→
ReduceBiblio
→
A -REDUCE-Interface
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
ReduceBiblio
A Remark on Factorisation
The Bath Algebraic Number Package
Polynomial Factorization: An Exploration of Lenstra's Algorithm
Integration: Solving the Risch Differential Equation
Factorisation of Polynomials over Algebraic Number Fields
A Remark on a Paper by Wang: Another Surprising Property of 42
Recovery of Algebraic Numbers from their p-Adic Approximations
A Remark on the Multiplication of Sparse Polynomials
Experiments with Quadtree Representation of Matrices
Clarification to the Symbolic Mode in REDUCE
Fast Algorithms to Search for the Rational Solutions of Linear Differential Equations with Polynomial Coefficients
Fast search of a certain type solutions of linear ordinary differential equations with polynomial coefficients
The Algorithm for calculating Integrals of Hypergeometric type functions and its realization in REDUCE System
Analytic Estimates for the Dynamic Aperture of Nonlinear Lattices
Analytic Evaluation of an O($\alpha$) Vertex Correction to the Rate of Orthopositronium
Rate for Positronium Decay to Five Photons
Inner-Vertex Contributions to the Decay Rate of Orthopositronium
Van der Waals Perturbation Theory for Fermion and Boson Ground-State Matter
Construction of a Lie algebra by a subset of generators and commutation relations
Photon-Photon Scattering Contribution to the Sixth Order Magnetic Moments of the Muon and Electron
Tensor Structure of Axial Gauge Polarization Operator in the Infrared Region
Tensor Structure of Gluon Polarization Operator in the Axial Gauge for Infra-Red Region
On Evaluation of Feynman Integrals in Axial Gauge
Fixed Point Iteration with Inexact Function Values
The Conditions of Bounding of the Oscillation Amplitudes of Charge Particle within the Resonance Vicinity Investigations
The Betatron Oscillations in the Vicinity of Nonlinear Resonance in Cyclic Accelerator Investigation
A -REDUCE-Interface
The Order $\alpha^2$ Electrodynamic Corrections to the Lamb Shift
Infrared Asymptotics of Gluonic Green Functions in Covariant Gauge
Coupling constructions for hypoelliptic diffusions: Two examples
Some Basic Hypergeometric Orthogonal Polynomials that Generalize Jacobi Polynomials
Numerical Simulation of Semidiurnal Atmospheric Tides
Use of Symbolic Computation to Generate Evolution Equations and Asymptotic Solutions to Elliptic Equations
Photoproduction of Hadrons at Large Transverse Momentum in Second Order QCD
Prompt Photon Production at Large $p\_$ in GCD Beyond the Leading Order
Symbolic Evaluation of Integrals Occurring in Accelerator Orbit Theory
A Charged Taub-NUT Metric with Torsion: A New Axially Symmetric Solution of the Poincaré Gauge Field Theory
On the Dynamics of the Torsion of Spacetime: Exact Solutions in a Gauge Theoretical Model of Gravity
Nonmetricity and Torsion: Facts and Fancies in Gauge Approaches to Gravity
Mass and Spin of Exact Solutions of the Poincaré Gauge Theory
Exact Solutions of the Poincaré Gauge Theory from Its Linearized Field Equations
Kinky Torsion in a Poincaré Gauge Model of Gravity Coupled to a Massless Scalar Field
Cylindrically Symmetric Solutions of Self-Consistently Coupled Dirac Fields in Gauge Theories of Gravity
The Exterior Gravitational Field of a Charged Spinning Source in the Poincaré Gauge Theory: A Kerr-Newman Metric with Dynamic Torsion
A New Method to Solve the Field Equations of Poincaré Gauge Theories
A New Tracking Routine for Particles in Undulator and Wiggler Fields
Canonical Particle Tracking in Undulator Fields
A Taylor-Expanded Generating Function for Particle Motion in Arbitrary Magnetic Fields
Inclusive quarkonium production in $e^+ e^-$ annihilation
Gluonic contributions to the exclusive amplitudes
Decay $B \to D l \bar\nu$ from QCD sum rules
The Orthogonalization Program of Polynomials in Two Variables in REDUCE-2 Language
Quartic Oscillator
Padé Approximants, Part I: Basic Theory
Hard-Core Square-Well Fermion
An error validation package for REDUCE
Automatic Generation of Mapping Functions for Infinite Elements using REDUCE
Investigation of a bound on the anomalous dimensions of four-quark operators
Finite field theories in three dimensions with and without supersymmetry
$Z\_2\timesS\_6$ symmetry of the two-loop diagram
Stability of Plane Poiseuille Flow of a Dilute Suspension of Slender Fibres
On Computer Generated Analytic Solutions to the Equations of Fluid Mechanics, The Case of Creeping Flows
Comment on Problem \\#2 - The Y(2n) Functions
GITA: A REDUCE program for the normalization of polynomial Hamiltonians
Direct Determination of Axisymmetric Magnetohydrodynamic Equilibrium in Hamada Coordinates
REDUCE Usage for Calculation of Low-Energy Process Amplitudes in Chiral QCD Model
Calculation of heat-kernel coefficients and usage of computer algebra
Solution of Some Equations in Biochemistry
Computer Algebra Techniques in Affinity Binding Equations: the Dimer Case
Single Bremsstrahlung Process in Gauge Theories
Second Order Reducible Linear Differential Equations
Computer algebra generating related 2nd order linear differential equation
Intermediate Boson Pair Production as a Means for Determining its Magnetic Moment
Application of Computer Algebra to Surface Lattice Dynamics
Closed-Form Expressions for the Dirac-Coulomb Radial $r^t$ Integrals
A REDUCE program for the integration of differential polynomials
The OZI Rule Violating Radiative Decays of the Heavy Pseudoscalars
Hadrochemistry in Relativistic Mean Fields
Microscopic Theory of Photon Production in Proton-Nucleus and Nucleus-Nucleus Collisions
The Application of Adiabatic Regularization to Calculations of Cosmological Interest
Neutrino Production in Stellar Matter by Photons in a Renormalizable Scalar-Boson-Exchange Model of Weak Interactions
Integrating Computer Algebra and Knowledge Representation
An Introduction to ODE's by CAS
EQSHELL - a REDUCE-based program for generation of equations of equilibrium for shell
Some Examples for Solving Systems of Algebraic Equations by Calculating Groebner Bases
A REDUCE Package for Exact Coulomb Interaction Matrix Elements
An Application of REDUCE to Industrial Mechanics
GENTRAN 90: a REDUCE package for the generation of Fortran 90 code
Applications of Computer Algebra in Solid Modelling
The Effects of Latitudinal Shear on Equatorial Waves, Part I: Theory and Methods
Chebyshev and Legendre Spectral Methods in Algebraic Manipulation Languages
Boundary Value Problems for the Laplacian in Euclidean Space Solved by Symbolic Computation
Clifford Algebra with REDUCE
On the Harmonic and Monogenic Decomposition of Polynomials
Computer Algebra with LISP and REDUCE
Enlarging the REDUCE Domain of Computation
Effective Tests for Cyclotomic Polynomials
A parallelization of the Buchberger Algorithm
The Computer Algebra Package CRACK for investigating PDEs
Heuristics for overdetermined systems of PDEs
Investigating DEs with CRACK and Related Programs
Approaches to solving nonlinear ODEs
Examples of the investigation of differential equations with modularized programs
Computer algebra algorithms and routines for the computation of conservation laws and fixing of gauge in differential expressions
Non-relativistic sum rules for $QCD\_2$, QED and $QCD\_4$
Can mass singularities be minimally subtracted?
Dimension-8 contributions to light-quark QCD sum rules
Evaluation of a Class of Feynman Diagrams for all Numbers of Loops and Dimensions
Exploiting the 1,440-fold symmetry of the master two-loop diagram
Two-loop negative-dimensional integration
The master two-loop diagram with masses
Two-loop renormalization of the effective field theory of a static quark
Operator product expansion in static-quark effective theory: large perturbative corrections
Gauge-invariant on-shell $Z\_2$ in QED, QCD and the effective field theory of a static quark
Operator product expansion in static-quark effective field theory: Large perturbative correction
Three-loop on-shell charge renormalization without integration: $\Lambda^ MS\_ QED$ to four loops
Large N expansion of QED: asymptotic photon propagator and contributions to the muon anomaly, for any number of loops
Two-loop two-point functions with masses: asymptotic expansions and Taylor series, in any dimension
Two-loop gluon-condensate contributions to heavy-quark current correlators: exact results and approximations
On the enumeration of irreducible $\kappa$-fold Euler sums and their roles in knot theory and field theory
Determination of the Real Part of the Compton Amplitude at a Nucleon Resonance
W-Boson Contribution to the Anomalous Magnetic Moment of the Muon
Status of Quantum Electrodynamics
Quantum Electrodynamic Theory: Its Relation to Precision Low Energy Experiments
Algebraic Computation Techniques in Quantum Electrodynamics
Atomic Physics and Quantum Electrodynamics in the Infinite Momentum Frame
Test for Fractionally Charged Partons from Deep-Inelastic Bremsstrahlung in the Scaling Region
Quantum Electrodynamics and Renormalization Theory in The Infinite Momentum Frame
Quantum Electrodynamics and Renormalization Theory in the Infinite-Momentum Frame
Symbolic Integration I: Transcendental Functions
Grad-Fokker-Planck Plasma Equations. Part 1. Collision Moments
Some Symbolic Computing Links to the NAG Numeric Library
Applications of Symbolic Algebraic Computation
A Tutorial in Computer Algebra for Statisticians
Locality in Class III Noncovariant Gauges
Computing the BRST operator
Computing the BRST Operator Used in Quantization of Gauge Theories
CALI - A Reduce package for commutative algebra. Version 2.2.1
Further Evaluation of the Sixth Order Corrections to the Anomalous Magnetic Moment of the Electron
A REDUCE Approach to the Calculation of Feynman Diagrams
Computer Recognition of Divergences in Feynman Graphs
Computer Algebra Applications
Algebraic Computation of Radiative Corrections for Electron-Positron Scattering
Astrophysical Consequences of the Existence of Charged Intermediate Vector Bosons
Symbolic Analysis of Feynman Diagrams by Computer
Low-T Theorems for Charged-Pion Photoproduction
Symbolic Computing and Its Relationship to Particle Physics
Explicit series formulae for the evaluation of integrals by the method of steepest descents
Description et Utilisation d'Une Extension du Programme REDUCE
A New Use of Operators in the Algebraic Mode of REDUCE
Description of an Extension of the Matrix Package of REDUCE
A Complete Simplification Package for the Absolute Value Function in REDUCE
Can EXCALC be Used to Investigate High-dimensional Cosmological Models with Non-Linear Lagrangians?
Les Théories des Champs dans le monde de REDUCE (in French)
Renormalization Group, Function Iterations and Computer Algebra
Power-law type solutions of fourth-order gravity for multidimensional Bianchi I Universes
Coordinate Free Relativity
The Anomalous Magnetic Moment of the Electron in the Mass Operator Formalism
Mass-Operator Calculation of the Electron g-Factor
Application of REDUCE-2 and Analytic Integration Program in the Theoretical Solid State Physics
An Application of REDUCE to the Approximation of $f(x,y)$
On the low-dimensional modelling of Stratonovich stochastic differential equations
Isothermal Interpretations of Oscillatory Ignition During Hydrogen Oxidation in an Open System. I. Analytical Predictions and Experimental Measurements of Periodicity
Proving elementary geometry theorems using Wu's algorithm
Mechanical geometry theorem proving
Automated reasoning in geometries using the characteristic set method and Gröbner basis method
Symbolic Computing in Engineering Design
The Use of Algebraic Computing in General Relativity
Perturbation Calculations for the Spin Up Problem Using REDUCE
Smooth Perturbations of the Schrödinger Equation with a Linear Potential Related to the Charmonium Models
Using CAMAL for Algebraic Calculations in General Relativity
Algebraic Computing in General Relativity
The Effective Use of Computer Algebra Systems
The Uniform Asymptotic Swallowtail Approximation: Practical Methods for Oscillating Integrals with Four Coalescing Saddle Points
The Uniform Asymptotic Swallowtail Approximation: Application to the Collinear $H+F\_2$
Resonant Spectra of Dielectric Sphere
Hashing - The Key to Rapid Pattern Matching
Centre manifolds of forced dynamical systems
deals, Varieties and Algorithms: An Introduction of Computational Algebraic Geometry and Commutative Algebra
The quasi-geostrophic slow manifold
Geometry revisted
Differential Cross Section of e+ + e- to e+ + $\mu-$ + $\_\mu$ + $\_e$
A Gluon Bremsstrahlung in Supersymmetry QCD
Gluon Bremsstrahlung in Supersymmetric QCD
Some Computer Realizations of the REDUCE-3 Calculations for Exclusive Processes
Analysis of the Differential Equations for the Exclusive Processes and Explanation for the ``Mystery'' of the Gamma-Distribution
Application of REDUCE to Algebraic Computations in General Relativity and Astrophysics
A Program Package in REDUCE 2 for Algebraic Computations in General Relativity
User's Guide to REDUCE Subroutines For Algebraic Computations in General Relativity
The Cosmological Problem as an Initial Value Problem on the Observer's Past Light Cone: Geometry
On the Integration of Algebraic Functions
Fast REDUCE: The trade-off between efficiency and generality
What do we want from a high-level language?
HEUGCD: How Elementary Upperbounds Generate Cheaper Data
The World of Computer Algebra
Computer Algebra, Systems and Algorithms for Algebraic Computation
Calcul Formel (in French)
Kompyuter Algebra (in Russian)
Solutions Formelles D'Equations Differentielles au Voisinage de Points Singuliers Reguliers
Homogeneous Linear Difference Equation (Frobenius-Boole Method)
About a New Method for Computing in Algebraic Number Fields
Ten-dimensional Lovelock-type Space-Times
Volterra's Series Solutions of Free Boundary Plasma Equilibria
A REDUCE Program for the Calculation of Geometrical Characteristics of Compactified Multidimensional Riemannian Space
Freund-Rubin Type Solutions for Different Compactifications of the Eleven-Dimensional Space
IRENA - An Integrated Symbolic and Numerical Computation Environment
Susceptibility of the Checkerboard Ising Model
Algebraic Computation on Algebraic Numbers
Waves in a Cold Plasma with a Spatially Rotating Magnetic Field
Proc. 8th Europhysics Conference on Computational Physics
Alfven Resonance Absorption in a Magnetofluid
Modelling Waves with Computer Algebra
Simplification of Quantifier-free formulas over ordered fields
REDLOG computer algebra meets computer logic
Redlog User Manual
Guarded Expressions in Practice
Redlog: Computer Algebra Meets Computer Logic
Simplification of Quantifier-free Formulae over Ordered Fields
Redlog User Manual
Simple Adaptive Grids for 1D Initial Value Problems
New integrable three dimensional quartic potentials
Forgot your password?
New user?
Users
Axiom Computer Algebra System
AxiomBiblio
A Remark on Factorisation