188313 |
|
Milnor J., Husemoller D. |
Symmetric bilinear forms |
1973 | •• |
132487 |
|
Harald Upmeier |
Symmetric Banach Manifolds and Jordan C*-Algebras (North Holland Mathematics Studies, Vol 104) |
1985 | •• |
122658 |
|
Wadati M., Nishino A., Nishino H. |
Symmetric and Non-Symmetric Bases of Quantum Integrable Particle Systems with Long-Range Interactions |
2001 | •• |
171332 |
|
Pimm D. |
Symbols and Meanings in School Mathematics |
1995 | •• |
193961 |
|
Cobb P., Yackel E., McClain K. |
Symbolizing and Communicating in Mathematics Classrooms: Perspectives on Discourse, Tools, and Instructional Design |
2000 | •• |
108433 |
|
Tran Q. N. |
Symbolic-numerical solution of real algebraic equations |
1998 | •• |
104782 |
|
Roach K. |
Symbolic-Numeric Nonlinear Equation Solving |
1994 | •• |
30868 |
|
Wang D., Zhi L.-H. |
Symbolic-Numeric Computation |
2007 | •• |
106488 |
|
Ravenscroft R.A., Lamagna E.A. |
Symbolic summation with generating functions |
n/a | •• |
108389 |
|
De Jager B., Van Asch B. |
Symbolic Solutions for a Class of Partial Differential Equations |
1996 | •• |
135579 |
|
Chang S.-H., Jungert E. |
Symbolic Projection for Image Information Retrieval and Spatial Reasoning |
1996 | •• |
194888 |
|
MathWorks |
Symbolic math toolbox for use with MATLAB - user's guide |
1993 | •• |
176253 |
|
Chang C., Lee R. |
Symbolic logic and mechanical theorem proving |
1973 | •• |
125481 |
|
Venn J. |
Symbolic Logic |
1881 | •• |
109025 |
|
Moses J. |
Symbolic Integration: The Stormy Decade |
1971 | •• |
106224 |
|
Wolf T. |
Symbolic integration of exact PDEs |
2000 | •• |
143976 |
|
Bronstein M. |
Symbolic Integration I: Transcendental Functions, Second Edition (Algorithms and Computation in Mathematics) |
2004 • | •• |
130208 |
|
Bronstein M. |
Symbolic Integration I: Transcendental Functions |
2005 • | •• |
127789 |
|
Bronstein M. |
Symbolic Integration I |
1997 | •• |
8876 |
|
Bronstein M. |
Symbolic integration 1. Transcendental functions |
1997 | •• |
104677 |
|
Moses J. |
Symbolic integration |
1967 | •• |
4563 |
|
Kitchens B.P. |
Symbolic dynamics: one-sided, two-sided and countable state markov shifts. |
1998 | •• |
38601 |
|
Arioli G. |
Symbolic dynamics for the Henon-Heiles Hamiltonian on the critical level |
1999 | •• |
34479 |
|
Coornaert M., Papadopoulos A. |
Symbolic Dynamics and Hyperbolic Groups |
1993 | •• |
104678 |
|
Smith P.J. |
Symbolic derivatives without list processing, subroutines, or recursion |
1965 | •• |
136598 |
|
Grossman R. |
Symbolic computation: applications to scientific computing |
1987 | •• |
165704 |
|
Grossman R. |
Symbolic computation: applications to scientific computing |
1989 | •• |
179773 |
|
Grossman R. |
Symbolic Computation: Applications to Scientific Computing |
1989 | •• |
105458 |
|
Geddes K.O. |
Symbolic computation of Pade approximants |
1978 | •• |
106048 |
|
Kahan W., Fateman J. |
Symbolic computation of divided differences |
1999 | •• |
104645 |
|
Gusynin V.P., Kornyak V.V. |
Symbolic Computation of DeWitt-Seeley-Gilkey Coefficients on Curved Manifolds |
1994 | •• |
108950 |
|
Freire E. |
Symbolic computation of center manifolds |
1988 | •• |
75094 |
|
Dongming Wang |
Symbolic Computation And Education |
2007 | •• |
104536 |
|
Carminati J., Vu K. |
Symbolic Computation and Differential Equations: Lie Symmetries |
2000 | •• |
178446 |
|
Elvey J. |
Symbolic calculation and constructive mathematics |
1980 | •• |
197054 |
|
Kruse R., Siegel P. |
Symbolic and Quantitative Approaches to Uncertainty: European Conference ECSQAU, Marseille, France, October 15-17, 1991. Proceedings |
1991 | •• |
77973 |
|
Mellouli K. |
Symbolic and Quantitative Approaches to Reasoning with Uncertainty: 9th European Conference, ECSQARU 2007 Hammamet, Tunisia, October 31 - November 2, 2007 Proceedings |
2007 | •• |
85718 |
|
Godo L. |
Symbolic and Quantitative Approaches to Reasoning with Uncertainty: 8th European Conference, ECSQARU 2005, Barcelona, Spain, July 6-8, 2005, Proceedings |
2005 | •• |
150069 |
|
Sossai C., Chemello G. |
Symbolic and Quantitative Approaches to Reasoning with Uncertainty: 10th European Conference, ECSQARU 2009, Verona, Italy, July 1-3, 2009, Proceedings ... Lecture Notes in Artificial Intelligence) |
2009 | •• |
193887 |
|
Hunter A., Parsons S. |
Symbolic and Quantitative Approaches to Reasoning and Uncertainty: European Conference, ECSQARU'99, London, UK, July 5-9, 1999, Proceedings: European ... |
1999 | •• |
140951 |
|
Clarke M., Kruse R., Moral S. |
Symbolic and Quantitative Approaches to Reasoning and Uncertainty: European Conference ECSQARU '93, Granada, Spain, November 8-10, 1993. Proceedings |
1993 | •• |
192375 |
|
Winkler F., Langer U. |
Symbolic and Numerical Scientific Computation: Second International Conference, SNSC 2001, Hagenberg, Austria, September 10-11, 2001, Revised Papers (Lecture Notes in Computer Science) |
2003 | •• |
53569 |
|
Winkler F. (ed.), Langer U. (ed.) |
Symbolic and Numerical Scientific Computation: Second International Conference, SNSC 2001, Hagenberg, Austria, September 10-11, 2001 |
2003 | •• |
136522 |
|
Gianni P. |
Symbolic and Algebraic Computation: International Symposium ISSAC' 88, Rome, Italy, July 4-8, 1988. Proceedings |
1989 | •• |
198277 |
|
Haghighat M.R. |
Symbolic analysis for parallelizing compilers |
1995 • | •• |
115777 |
|
Levi P., Kernbach S. |
Symbiotic Multi-Robot Organisms: Reliability, Adaptability, Evolution (Cognitive Systems Monographs) |
2010 | •• |
182462 |
|
Aroca R. |
Symbiotic Endophytes. Volume 37 |
2013 | •• |
196483 |
|
J. Seckbach |
Symbiosis: Mechanisms and Model Systems (Cellular Origin, Life in Extreme Habitats and Astrobiology) |
2001 | •• |
143151 |
|
Paracer S., Ahmadjian V. |
Symbiosis: An Introduction to Biological Associations |
2000 • | •• |
132685 |
|
Yuichiro Anzai, Hirohiko Mori, Katsuhiko Ogawa |
Symbiosis of Human and Artifact: Proceedings of the Sixth International Conference on Human-Computer Interaction |
1995 | •• |