History


Please fill in your query. A complete syntax description you will find on the General Help page.
first | previous | 1 | next | last

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).
WorldCat.org
1
Supporting global numerical optimization of rational functions by generic symbolic convexity tests (English)
CASC, 205-219 (2010).
WorldCat.org
2
Employing computer algebra for classifying mathematical web content (English)
Algorithmic Algebra and Logic, 91-94 (2005).
WorldCat.org
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).
WorldCat.org
4
Classifying differential equations on the web (English)
MKM, 104-115 (2004).
WorldCat.org
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).
Classification: K.3.1 H.1.1
WorldCat.org
6
MATH-NET - the state of the art of a distributed information \& communication system in mathematics (English)
ELPUB (2002).
WorldCat.org
7
Math-net, a model for information and communication systems in sciences (English)
EUNIS, 140-145 (2001).
WorldCat.org
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).
Classification: I.1
WorldCat.org
9
Some examples for parallel computations using REDUCE. (Russian)
Fundam. Prikl. Mat. 5, No.3, 747-756 (1999).
WorldCat.org
10
Very large Gröbner basis calculations (English)
CAP, 89-99 (1990).
WorldCat.org
11
Symbolic solution of large stationary chemical kinetics problems. (English)
IMPACT Comput. Sci. Eng. 1, No.2, 138-167 (1989).
Reviewer: Shenquan Xie
WorldCat.org
12
Symbolic solution of large stationary chemical kinetics problems (English)
IMPACT Comput. Sci. Eng. 1, No. 2, 138-167 (1989).
WorldCat.org
13
Implementing and optimizing lisp for the cray. (English)
IEEE Software 04, No. 04, 74-83 (1987).
WorldCat.org
14
Implementing and optimizing lisp for the cray (English)
IEEE Software 4, No. 4, 74-83 (1987).
WorldCat.org
15
first | previous | 1 | next | last

Result 1 to 15 of 15 total

Valid XHTML 1.0 Transitional Valid CSS!