Jump to main content

yr 〜
yr

Search results 4

Symbolic computation and automated reasoning : the CALCULEMUS-2000 Symposium

Symbolic computation and automated reasoning : the CALCULEMUS-2000 Symposium
Paper図書
edited by Manfred Kerber, Michael KohlhaseA K Petersc2001
Other Libraries in Japan
  • Subject HeadingAlgebra -- Data processing Congresses Automatic theorem proving Con...
  • Subject Heading (ID)Algebra -- Data processing Congresses Automatic theorem proving Con...

Computer algebra in scientific computing : CASC 2000 : Proceedings of the third workshop on Computer Algebra in Scientific Computing, Samarkand, October 5-9, 2000

Computer algebra in scientific computing : CASC 2000 : Proceedings of the third workshop on Computer Algebra in Scientific Computing, Samarkand, October 5-9, 2000
Paper図書
Victor G. Ganzha, Ernst W. Mayr, Evgenii V. Vorozhtsov (eds.)Springerc2000
Other Libraries in Japan
  • Subject HeadingAlgebra -- Data processing Congresses Science -- Data processing Co...
  • Subject Heading (ID)Algebra -- Data processing Congresses Science -- Data processing Co...

Computer algebra in scientific computing : CASC '99 : Proceedings of the second workshop on Computer Algebra in Scientific Computing, Munich, May 31-June 4, 1999

Computer algebra in scientific computing : CASC '99 : Proceedings of the second workshop on Computer Algebra in Scientific Computing, Munich, May 31-June 4, 1999
Paper図書
V.G. Ganzha, E. Mayr, E.V. Vorozhtsov (eds.)Springer1999
Other Libraries in Japan
  • Subject HeadingAlgebra -- Data processing Congresses Science -- Data processing Co...
  • Subject Heading (ID)Algebra -- Data processing Congresses Science -- Data processing Co...

Computational methods for representations of groups and algebras : Euroconference in Essen (Germany), April 1-5, 1997 : us : sz

Computational methods for representations of groups and algebras : Euroconference in Essen (Germany), April 1-5, 1997 : us : sz
Paper図書
P. Dräxler, G.O. Michler, C.M. Ringel, editorsBirkhäuserc1999
Other Libraries in Japan

Reached to the end of result.

RSS