Result 1 to 15 of 15 total
Supporting global numerical optimization of rational functions by generic symbolic convexity tests. (English)
Gerdt, Vladimir P. (ed.) et al., Computer algebra in scientific computing. 12th international workshop, CASC 2010, Tsakhkadzor, Armenia, September 6‒12, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15273-3/pbk). Lecture Notes in Computer Science 6244, 205-219 (2010).
1
Supporting global numerical optimization of rational functions by generic symbolic convexity tests (English)
CASC, 205-219 (2010).
2
Employing computer algebra for classifying mathematical web content (English)
Algorithmic Algebra and Logic, 91-94 (2005).
3
Classifying differential equations on the web. (English)
Asperti, Andrea (ed.) et al., Mathematical knowledge management. Third international conference, MKM 2004, Białowieża, Poland, September 19‒21, 2004. Proceedings. Berlin: Springer (ISBN 3-540-23029-7/pbk). Lecture Notes in Computer Science 3119, 104-115 (2004).
4
Classifying differential equations on the web (English)
MKM, 104-115 (2004).
5
Math-net, a model for information and communication systems in sciences. (English)
Von Knop, Jan et al., The changing universities - the role of technology, the 7th international conference of European university information systems, March 28-30, 2001, Berlin, Germany, proceedings. Bonner Köllen Verlag (ISBN 3-88579-339-3). GI-Edition - Lecture Notes in Informatics (LNI), P-13, 140-145 (2002).
6
MATH-NET - the state of the art of a distributed information \& communication system in mathematics (English)
ELPUB (2002).
7
Math-net, a model for information and communication systems in sciences (English)
EUNIS, 140-145 (2001).
8
Realization of an OpenMath server for REDUCE. (English)
J. Math. Sci., New York 108, No.6, 1152-1159 (2002) and Zap. Nauchn. Semin. POMI 258, 335-344 (1999).
9
Some examples for parallel computations using REDUCE. (Russian)
Fundam. Prikl. Mat. 5, No.3, 747-756 (1999).
10
Very large Gröbner basis calculations (English)
CAP, 89-99 (1990).
11
Symbolic solution of large stationary chemical kinetics problems. (English)
IMPACT Comput. Sci. Eng. 1, No.2, 138-167 (1989).
12
Symbolic solution of large stationary chemical kinetics problems (English)
IMPACT Comput. Sci. Eng. 1, No. 2, 138-167 (1989).
13
Implementing and optimizing lisp for the cray. (English)
IEEE Software 04, No. 04, 74-83 (1987).
14
Implementing and optimizing lisp for the cray (English)
IEEE Software 4, No. 4, 74-83 (1987).
15
Result 1 to 15 of 15 total