Search Results

Your Search for SYMBOLIC AND ALGEBRAIC MANIPULATION returned 65 Items

Sort Preference Search Result Page: . 1 NNN 2 . . Top Next . . Page: 1 of 2
SELECT THE TITLE TO ACCESS THE AVAILABILITY INFORMATION

Display results in shelf format.

Search Results
Result	Title	Author	Year	Holding Information
1	Select this title Algebra, Geometry and Software Systems [Ebook]		2003	Shelf Location: Online resource: Springer.
2	Select this title Applications of Computer Algebra [Ebook]		1985	Shelf Location: Online resource: Springer.
3	Select this title Approximation and Online Algorithms: 17th International Workshop, WAOA 2019, Munich, Germany, September 12-13, 2019, Revised Selected Papers [Ebook] Series:Theoretical Computer Science and General IssuesVolume:11926		2020	Shelf Location: Online resource: Springer.
4	Select this title Automated Deduction — A Basis for Applications: Volume III Applications / [Ebook] Series:Applied Logic Series,Volume:10		1998	Shelf Location: Online resource: Springer.
5	Select this title Automated Deduction — A Basis for Applications: Volume II: Systems and Implementation Techniques / [Ebook] Series:Applied Logic Series,Volume:9		1998	Shelf Location: Online resource: Springer.
6	Select this title Cellular Automata: A Parallel Model / [Ebook] Series:Mathematics and Its Applications ;Volume:460		1999	Shelf Location: Online resource: Springer.
7	Select this title Computational Algebra and Number Theory [Ebook] Series:Mathematics and Its Applications ;Volume:325		1995	Shelf Location: Online resource: Springer.
8	Select this title Computational Methods and Function Theory: Proceedings of a Conference, held in Valparaíso, Chile, March 13–18, 1989 / [Ebook] Series:Lecture Notes in Mathematics,Volume:1435		1990	Shelf Location: Online resource: Springer.
9	Select this title Computations in Algebraic Geometry with Macaulay 2 [Ebook] Series:Algorithms and Computation in Mathematics,Volume:8		2002	Shelf Location: Online resource: Springer.
10	Select this title Computer Algebra Handbook: Foundations · Applications · Systems / [Ebook]		2003	Shelf Location: Online resource: Springer.
11	Select this title Discovering Mathematics with Magma: Reducing the Abstract to the Concrete [Ebook] Series:Algorithms and computation in mathematicsVolume:19		2006	Shelf Location: Online Resource: Springer.
12	Select this title Frontiers of Combining Systems: First International Workshop, Munich, March 1996 / [Ebook] Series:Applied Logic Series,Volume:3		1996	Shelf Location: Online resource: Springer.
13	Select this title Logic, Language and Reasoning: Essays in Honour of Dov Gabbay / [Ebook] Series:Trends in Logic, Studia Logica Library,Volume:5		1999	Shelf Location: Online resource: Springer.
14	Select this title Mathematical Modelling Courses for Engineering Education [Ebook] Series:Nato ASI Series, Series F: Computer and Systems Sciences ;Volume:132		1994	Shelf Location: Online resource: Springer.
15	Select this title Modeling Languages in Mathematical Optimization [Ebook] Series:Applied Optimization,Volume:88		2004	Shelf Location: Online resource: Springer.
16	Select this title Models for Parallel and Distributed Computation: Theory, Algorithmic Techniques and Applications / [Ebook] Series:Applied Optimization,Volume:67		2002	Shelf Location: Online resource: Springer.
17	Select this title Probabilistic Methods for Algorithmic Discrete Mathematics [Ebook] Series:Algorithms and Combinatorics,Volume:16		1998	Shelf Location: Online resource: Springer.
18	Select this title Some Tapas of Computer Algebra [Ebook] Series:Algorithms and Computation in Mathematics,Volume:4		1999	Shelf Location: Online resource: Springer.
19	Select this title Symbolic Algebraic Methods and Verification Methods [Ebook]		2001	Shelf Location: Online resource: Springer.
20	Select this title Thirty Five Years of Automating Mathematics [Ebook] Series:Applied Logic Series,Volume:28		2003	Shelf Location: Online resource: Springer.
21	Select this title Algorithms in Real Algebraic Geometry [Ebook] Series:Algorithms and Computation in Mathematics,Volume:10	Basu, Saugata	2003	Shelf Location: Online resource: Springer.
22	Select this title Computational Excursions in Analysis and Number Theory [Ebook] Series:CMS Books in Mathematics / Ouvrages de mathématiques de la SMC,	Borwein, Peter	2002	Shelf Location: Online resource: Springer.
23	Select this title Computer Algebra with LISP and REDUCE: An Introduction to Computer-aided Pure Mathematics [Ebook] Series:Mathematics and its applicationsVolume:72	Brackx, Fred	1991	Shelf Location: Online resource: Springer.
24	Select this title Symbolic Integration I: Transcendental Functions [Ebook] Series:Algorithms and computation in mathematicsVolume:v.1	Bronstein, Manuel	2005	Shelf Location: Online Resource: Springer.
25	Select this title Symbolic Integration I: Transcendental Functions / [Ebook] Series:Algorithms and Computation in Mathematics,Volume:1	Bronstein, Manuel	1997	Shelf Location: Online resource: Springer.
26	Select this title Elimination Methods in Polynomial Computer Algebra [Ebook] Series:Mathematics and Its Applications ;Volume:448	Bykov, Valery	1998	Shelf Location: Online resource: Springer.
27	Select this title Advanced Relational Programming [Ebook] Series:Mathematics and Its Applications ;Volume:371	Cacace, Filippo	1996	Shelf Location: Online resource: Springer.
28	Select this title A Course in Computational Algebraic Number Theory [Ebook] Series:Graduate texts in mathematicsVolume:138	Cohen, Henri 1947-	1993	Shelf Location: Online resource: Springer.
29	Select this title Cut Elimination in Categories [Ebook] Series:Trends in Logic, Studia Logica Library,Volume:6	Došen, Kosta	1999	Shelf Location: Online resource: Springer.
30	Select this title Bilinear Control Systems: Matrices in Action [Ebook] Series:Applied mathematical sciencesVolume:169	Elliott, David	2009	Shelf Location: Online Resource : Springer.
31	Select this title Computer Algebra Recipes: An Advanced Guide to Scientific Modeling [Ebook]	Enns, Richard H.	2007	Shelf Location: Online Resource : Springer.
32	Select this title Optimization - Theory and Practice [Ebook] Series:Springer Undergraduate Texts in Mathematics and Technology	Forst, Wilhelm	2010	Shelf Location: Online Resource: Springer.
33	Select this title Algorithms for Computer Algebra [Ebook]	Geddes, K. O. (Keith O.) 1947-	1992	Shelf Location: Online resource: Springer.
34	Select this title Applied Laplace Transforms and z-Transforms for Scientists and Engineers: A Computational Approach using a Mathematica Package / [Ebook]	Graf, Urs	2004	Shelf Location: Online resource: Springer.
35	Select this title A Singular Introduction to Commutative Algebra [Ebook]	Greuel, Gert-Martin	2008	Shelf Location: Online Resource: Springer.
36	Select this title A Singular Introduction to Commutative Algebra [Ebook]	Greuel, Gert-Martin	2002	Shelf Location: Online resource: Springer.
37	Select this title Mathematica®: A Problem-Centered Approach [Ebook] Series:Springer undergraduate mathematics seriesVolume:53	Hazrat, Roozbeh	2010	Shelf Location: Online Resource : Springer.
38	Select this title Mathematica®: A Problem-Centered Approach [Ebook] Series:Springer Undergraduate Mathematics Series,	Hazrat, Roozbeh	2015	Shelf Location: Online resource: Springer.
39	Select this title Maple V: Learning Guide / [Ebook]	Heal, K. M.	1998	Shelf Location: Online resource: Springer.
40	Select this title Introduction to Maple [Ebook]	Heck, André	1996	Shelf Location: Online resource: Springer.
41	Select this title D-Finite Functions [Ebook] Series:Algorithms and Computation in Mathematics ;Volume:30	Kauers, Manuel	2023	Shelf Location: Online resource: Springer.
42	Select this title Computer Algebra: An Algorithm-Oriented Introduction / [Ebook] Series:Springer Undergraduate Texts in Mathematics and Technology,	Koepf, Wolfram	2021	Shelf Location: Online resource: Springer.
43	Select this title Global Analysis in Linear Differential Equations [Ebook] Series:Mathematics and Its Applications ;Volume:471	Kohno, Mitsuhiko	1999	Shelf Location: Online resource: Springer.
44	Select this title Advances in Combinatorial Mathematics: Proceedings of the Waterloo Workshop in Computer Algebra 2008 [Ebook]	Kotsireas, Ilias S.	2010	Shelf Location: Online Resource: Springer.
45	Select this title Computational Commutative Algebra 1 [Ebook]	Kreuzer, Martin	2000	Shelf Location: Online resource: Springer.
46	Select this title Computational Commutative Algebra 2 [Ebook]	Kreuzer, Martin	2005	Shelf Location: Online Resource: Springer.
47	Select this title Problems in Set Theory, Mathematical Logic and the Theory of Algorithms [Ebook] Series:The University Series in Mathematics	Lavrov, Igor	2003	Shelf Location: Online resource: Springer.
48	Select this title Global optimization: From Theory to Implementation [Ebook] Series:Nonconvex Optimization and Its ApplicationsVolume:84	Liberti, Leo	2006	Shelf Location: Online Resource: Springer.
49	Select this title Exploring Formalisation: A Primer in Human-Readable Mathematics in Lean 3 with Examples from Simplicial Topology / [Ebook] Series:Surveys and Tutorials in the Applied Mathematical Sciences,Volume:11	Löh, Clara	2022	Shelf Location: Online resource: Springer.
50	Select this title Commutative Algebra: Constructive Methods: Finite Projective Modules [Ebook] Series:Algebra and ApplicationsVolume:20	Lombardi, Henri	2015	Shelf Location: Online resource: Springer.