Budget Amount *help 
¥1,700,000 (Direct Cost : ¥1,700,000)
Fiscal Year 2000 : ¥500,000 (Direct Cost : ¥500,000)
Fiscal Year 1999 : ¥500,000 (Direct Cost : ¥500,000)
Fiscal Year 1998 : ¥700,000 (Direct Cost : ¥700,000)

Research Abstract 
We have developed GRACE system, an automatic computation system in particle physics. In this system, the expressions of Feynman amplitudes using Dirac algebra are eliminated in the symbolic manipulation way, and the numerical result of these expressions will be computed. In the symbolic manipulation package (REDUCE), the straightforward eliminations don't work due to lack of memory. After the study of algorithm of Dirac algebra, many complicated and sophisticated techniques have been introduced, so that the calculations of tree level and oneloop lever becomes reliable in the framework of standard model and supersymmetric model. Thus it is shown that these calculation will be successfully done. This fact means that 1loop calculations will be automatically possible in principle. In order to check the symbolic calculation, two methods are studied and tested in the following way : ・ Comparison with another symbolic manipulation had been done. In general, the expressions produced by REDUCE are quite different from those of another system (FORM). Then numerical comparison had been successfully done. ・ The introduction of additional gauge parameters is very useful. The independency of gauge parameter is found. Both methods are quite important to confirm the correctness of algorithm of symbolic manipulation, because the algorithm is rather complicated. Concerning the physical application, several processes in standard model and supersymmetric model are calculated. We should try the physical processes such a e+ e → 4 fermion processes, which are important for the LEPII experiment at CERN (European Organization for Nuclear Research). As the next step, the study of algorithm for helicity amplitude and the symbolical optimization should be considered to reduce the computation time for the symbolic step and numerical step.
