Computer algebra in physical research of jinr

  • R. N. Fedorova
  • V. P. Gerdt
  • N. N. Govorun
  • V. P. Shirikov
Invited Papers
Part of the Lecture Notes in Computer Science book series (LNCS, volume 378)


Computer Algebra High Energy Physic Computer Algebra System Special Processor Feynman Diagram Technique 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Kahrimanian H.G. (1953). Analytical Differentiation by a Digital Computer. MA Thesis, Temple University, Philadelphia.Google Scholar
  2. 1a.
    Nolan J. (1953). Analytical Differentiation on a Digital Computer. MA Thesis, MIT, Cambridge, Massachusetts.Google Scholar
  3. 2.
    Kantorovich L.V. (1957). On one mathematical symbolism suited for computations by computer. DAN SSSR,V. 113,p. 738 (in Russian).Google Scholar
  4. 3.
    Shurygin V.A.,Yanenko N.N. (1961). On Computer Realization of Algebraic Differential Algorithms.In: problems of Cybernetics,No.6 Fizmatgiz,Moscow,p.33 (in Russian).Google Scholar
  5. 4.
    Barton D.,Fitch J.P. (1972). A Review of Algebraic Manipulative Programs in Physics. Rep. Prog. Phys.,v. 35,p. 235.CrossRefGoogle Scholar
  6. 5.
    Gerdt V.P.,Tarasov O.V.,Shirkov D.V. (1980). Analytic Calculations on Digital Computers for Applications in Physics and Mathematics. Sov. Phys. Usp. 23 (1),p.59.Google Scholar
  7. 6.
    Grosheva M.V. et al. (1983). Computer Algebra Systems (Analytic Application Packages). Informator No.1, Keldysh Inst. of Appl. Math. Moscow (in Russian).Google Scholar
  8. 7.
    Calmet J., van Hulzen J.A. (1983). Computer Algebra Systems & Computer Algebra Applications. In: Computer Algebra. Symbolic and algebraic Computation (eds. Buchberger B., Collins G.E., Loos R.), 2-nd ed., Springer-Verlag, Vienna, p.221.Google Scholar
  9. 8.
    Strubbe H. (1974). Manual for SCHOONSHIP a CDC 600/7000 Program for Symbolic Evaluation of Algebraic Expressions. Comp. Phys. Comm.,v. 8,p. 1.CrossRefGoogle Scholar
  10. 9.
    Computational Mathematics and Techniques. No. III (1972), Krarkov (in Russian).Google Scholar
  11. 10.
    Proceedings of the International Conference on Computer Algebra and its Application in Theoretical physics (1980). JINR, D11-80-13, Dubna.Google Scholar
  12. 11.
    All-Union Conference on Compilation Methods. Theses of Reports (1981). Novosibirsk (in Russian).Google Scholar
  13. 12.
    Proceedings of the (2nd) International Conference on Computer Algebra and its Application in Theoretical Physics (1983). JINR, D11-83-511, Dubna.Google Scholar
  14. 13.
    Theory and Practice of Automatized Computer Algebra Systems. Theses of Reports (1984), Vilnius (in Russian).Google Scholar
  15. 14.
    Computer Algebra Systems and Mechanics. Theses of Reports. (1984), Gorky (in Russian).Google Scholar
  16. 15.
    Proceedings of the (3-nd) International Conference on Computer Algebra and its Application in Theoretical Physics (1985). JINR, D11-85-791, Dubna.Google Scholar
  17. 16.
    Arais E.A.,Yakovlev N.E. (1985). Automation of Analytic Computations in Scientific Research. Nauka, Novosibirsk (in Russian).Google Scholar
  18. 17.
    Akselrod I.R.,Belous L.F. (1981). SIRIUS-SPUTNIK — New Version of Computer Algebra System. In Ref.[11],p. 160 (in Russian).Google Scholar
  19. 18.
    Kalinina N.A.,Pottosin I.V.,Semenov A.L. (1983). Universal Computer Algebra System AUM. In Ref. [12],p. 7 (in Russian).Google Scholar
  20. 19.
    Klimenko V.P.,Pogrebinsky S.B.,Fishman Yu.S. (1983). Software Development of MIR Computers for Solving of Mathematical and Applied Problems by Analytic Methods. In: Ref. [12],p. 132 (in Russian).Google Scholar
  21. 20.
    Eisymont L.K.,Platonova L.N. (1983). Choice and Estimation of Basic Language for Symbolic Processor. In: Ref. [12],p. 19 (in Russian).Google Scholar
  22. 21.
    Kaiser H.J. (1963).Trace Calculation on Electronic Computer. Nucl. Phys., v. 43,p. 620.CrossRefGoogle Scholar
  23. 22.
    Sharonov V.I. (1964). An Algorithmic Language for Manipulation of Words Based on ALGOL-60. JINR, No. 1668, Dubna (in Russian).Google Scholar
  24. 23.
    Tarasov O.V.,Vladimirov A.A. (1976). Two-loop Renormalization of the Yang-Mills Theory in an Arbitrary Gauge. JINR, E2-10079, Dubna.Google Scholar
  25. 24.
    Bardin D.Yu.,Fedorenko O.M.,Shumejko N.M. (1976). Exact Calculation of the Lowest Order Electromagnetic Correction to the Elastic Scattering of Particles with Spin 0 and 1/2. JINR, P2-10114, Dubna (in Russian).Google Scholar
  26. 25.
    Kim Khon Sen,Kruglova L.Yu,Rostovsev V.A.,Fedorova R.N. (1985). Computer Algebra Systems in JINR, Experience of their Installation, Development and Usage. In: ref. [15], p. 13 (in Russian).Google Scholar
  27. 26.
    Bobyleva L.V.,Fedorova R.N.,Shirikov V.P. (1978). Computer algebra system SCHOONSCHIP for CDC-6500 Computer and Experience of its Exploitation in JINR. In Proceedings of the International Meting on Programming and Mathematical Methods for Solving the Physical Problems. JINR, D10,11-11264, Dubna (in Russian).Google Scholar
  28. 27.
    Rostovsev V.A. (1983). Utilization of Secondary Memory in Computer Algebra Systems. In: Ref. [12], p. 107 (in Russian).Google Scholar
  29. 28.
    Gerdt V.P.,Zharkov A.Yu. (1983). REDUCE — Package for Solving Ordinary Differential Equation. In: ref [12], p. 171 (in Russian).Google Scholar
  30. 29.
    Fedorova R.N.,Kornyak V.V. (1986). Determination of Lie-Backlund Symmetries of Differential Equations Using FORMAC.Comp. Phys. Comm. v.39, p. 93.CrossRefGoogle Scholar
  31. 30.
    Fedorova R.N.,Kornyak V.V. (1987). A REDUCE Program for Calculation of Determining Equations of Lie-Backlund Symmetries of Differential Equations. JINR, R11-87-19, Dubna (in Russian).Google Scholar
  32. 31.
    Eliseev V.P.,Fedorova R.N.,Kornyak V.V. (1985).A REDUCE Program for Determining Point and Contact Lie Symmetries of Differential Equation. Comp. Phys. Comm. v.36,p. 383.CrossRefGoogle Scholar
  33. 32.
    Gerdt V.P.,Shvachka A.b.,Zharkov A.Yu. (1985). FORMINT — a Program for Clasification of Integrable Nonlinear Evolution Equations. Comp. Phys. Comm. v.34,p. 303.CrossRefGoogle Scholar
  34. 32a.
    Gerdt V.P.,Shvachka A.B.,Zharkov A.Yu. (1985). Computer Algebra Application for Classification of Integrable Nonlinear Evolution Equations. J. Symb. Comp.,v. 1,p. 101.Google Scholar
  35. 33.
    Gerdt V.P.,Shabat A.B.,Svinolupov S.I.,Zharkov A.Yu.(1987).Computer Algebra Application for Investigating Integrability of Nonlinear Evolution Systems. JINR, E5-87-40, Dubna. See also this volume.Google Scholar
  36. 34.
    Bogolubskaya A.A.,Gerdt V.P.,Tarasov O.V. (1985). About Library Complectation of SCHOONSCHIP and REDUCE Systems. In: ref.[15], p.82 (in Russian).Google Scholar
  37. 35.
    Tarasov O.V. (1978). The Construction of Renormalized Coeffitient Functions of Feynman Diagrams by Computer, JINR,E2-11573, Dubna.Google Scholar
  38. 36.
    Raportirenko A.M. (1985). VIRTON — a Problem Oriented LISP-Package. In: Ref. [15],p. 72 (in Russian).Google Scholar
  39. 37.
    Tarasov O.V.,Vladimirov A.A.,Zharkov A.Yu. (1980). The Gell-Mann-Low Function of QCD in the Three-Loop Approximation.Phys. Lett. v.93B,p. 429.Google Scholar
  40. 38.
    Vladimirov A.A.,Tarasov O.V. (1980). Three-Loop Calculations in Non-Abelian Gauge Theories. JINR, E2-80-483, Dubna, 1980.Google Scholar
  41. 39.
    Tarasov O.V. (1980).A Program for Computation of One-, Two-and Three-Loop Feynman Diagrams in Gauge Theories. In: Ref.[10],p. 150 (in Russian).Google Scholar
  42. 40.
    Tarasov O.V. (1983). An Effective Program for Computation of Three-Loop Complanar and Non-Complanar Feynman Diagrams. In: Ref. [12],p. 214 (in Russian).Google Scholar
  43. 41.
    Akhundov A.A.,Baranov S.P.,Bardin D.Yu.,Rimann T. (1985). Computer Algebra Systems Application to Exact Calculations in the Theory of Electroweak Interactions.In: Ref. [15],p. 382 (in Russian).Google Scholar
  44. 42.
    Amirkhanov I.V.,Zhidkov E.P.,Zhidkova I.E. (1983). On Investigation by the Method of Averaging of the Resonance 2v Zv X=1 and its Influence on Motion of Particles in Cyclic Accelerators. In: Ref. [12],p. 223 (in Russian).Google Scholar
  45. 43.
    Amirkhanov I.V.,Zhidkov E.P.,Zhidkova I.E. (1985). Research of Non-Linear Resonance Effect on Stability of Charge Particle Motion Using Computer Algebra System REDUCE. In: Ref. [15],p. 361 (in Russian).Google Scholar
  46. 44.
    Gerdt V.P. (1980).Local Construction of the General Solution of the Chew-Low Equations by Computer. In: Ref. [10],p. 159 (in Russian).Google Scholar
  47. 44a.
    Gerdt V.P.,Zharkov A.Yu. (1983).An Interation Sheme for Constracting the General Solution of the Chew-Low Equations using REDUCE-2. In: Ref. [12],p. 232 (in Russian).Google Scholar
  48. 45.
    Gerdt V.P.,Shvachka A.B.,Zharkov A.Yu. (1984). Classification of Integrable Hight-Ordeer KdV-Like Equations. JINR, P5-84-489, Dubna (in Russian).Google Scholar
  49. 45a.
    Gerdt V.P.,Zharkov A.Yu. (1986). Computer Classification of Integrable Seventh Order MKdV Like Equations. JINR,P5-86-371, Dubna (in Russian).Google Scholar
  50. 46.
    Gaidamaka R.I.,Nikityuk N.M.,Shirikov V.P. (1983). Computer Algebra and Complex of Programs for Constructing of Data Compression and Transformation Devices in Nuclear-Physical Experiments. In: Ref. [12], p. 246 (in Russian).Google Scholar
  51. 46a.
    Alexandrov I.N.,Gaidamaka R.I.,Nikityuk N.M. (1985).Computer Algebra Application to Computation of Logical Schemes and Special Processors In: Ref. [15],p. 295 (in Russian).Google Scholar
  52. 47.
    Nikityuk N.M.,Radzhabov P.S.,Shafranov M.D. (1978). A New Method of Information Registration from Multiwire Proportional Chambers.Nucl. Instr. and Meth.,v. 155,p. 485.CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1989

Authors and Affiliations

  • R. N. Fedorova
    • 1
  • V. P. Gerdt
    • 1
  • N. N. Govorun
    • 1
  • V. P. Shirikov
    • 1
  1. 1.Laboratory of Computing Techniques and AutomationJoint Institute for Nuclear ResearchMoscowUSSR

Personalised recommendations