

Click the serial number on the left to view the details of the item. 
# 
Author  Title  Accn#  Year  Item Type  Claims 
1 
??chsner, Andreas 
Plane Finite Elements for TwoDimensional Problems 
I11938 
2021 
eBook 

2 
Niemann, Philipp 
Compact Representations for the Design of Quantum Logic 
I09934 
2017 
eBook 

3 
Enns, Richard 
Computer Algebra Recipes 
I11043 
2001 
eBook 

4 
Seidelmann, P. Kenneth 
Applications of Computer Technology to Dynamical Astronomy 
I05046 
1989 
eBook 


1.


Title  Plane Finite Elements for TwoDimensional Problems : Application of the Computer Algebra System Maxima 
Author(s)  ??chsner, Andreas;Makvandi, Resam 
Publication  Cham, Springer International Publishing, 2021. 
Description  XIII, 248 p. 51 illus., 30 illus. in color : online resource 
Abstract Note  This book is intended as a study aid for the finite element method. Based on the free computer algebra system Maxima, we offer routines to symbolically or numerically solve problems from the context of twodimensional problems. For this rather advanced topic, classical ???hand calculations??? are difficult to perform and the incorporation of a computer algebra system is a convenient approach to handle, for example, larger matrix operations. The mechanical theories focus on the classical twodimensional structural elements, i.e., plane elements, thin or classical plates, and thick or shear deformable plate elements. The use of a computer algebra system and the incorporated functions, e.g., for matrix operations, allows to focus more on the methodology of the finite element method and not on standard procedures. Furthermore, we offer a graphical user interface (GUI) to facilitate the model definition. Thus, the user may enter the required definitions in a source code manner directly in wxMaxima or use the GUI which is able to execute wxMaxime to perform the calculations 
ISBN,Price  9783030895501 
Keyword(s)  1. Computer Modelling
2. Computer science???Mathematics
3. COMPUTER SIMULATION
4. CONTINUUM MECHANICS
5. EBOOK
6. EBOOK  SPRINGER
7. ENGINEERING MECHANICS
8. Mechanics, Applied
9. NUMERICAL ANALYSIS
10. Symbolic and Algebraic Manipulation

Item Type  eBook 
MultiMedia Links
Please Click here for eBook
Circulation Data
Accession#  
Call#  Status  Issued To  Return Due On  Physical Location 
I11938 


On Shelf 




2.


Title  Compact Representations for the Design of Quantum Logic 
Author(s)  Niemann, Philipp;Wille, Robert 
Publication  Cham, Springer International Publishing, 2017. 
Description  VIII, 125 p. 43 illus., 1 illus. in color : online resource 
Abstract Note  This book discusses modern approaches and challenges of computeraided design (CAD) of quantum circuits with a view to providing compact representations of quantum functionality. Focusing on the issue of quantum functionality, it presents Quantum MultipleValued Decision Diagrams (QMDDs ??? a means of compactly and efficiently representing and manipulating quantum logic. For future quantum computers, going well beyond the size of presentday prototypes, the manual design of quantum circuits that realize a given (quantum) functionality on these devices is no longer an option. In order to keep up with the technological advances, methods need to be provided which, similar to the design and synthesis of conventional circuits, automatically generate a circuit description of the desired functionality. To this end, an efficient representation of the desired quantum functionality is of the essence. While straightforward representations are restricted due to their (exponentially) large matrix descriptions and other decision diagramlike structures for quantum logic suffer from not comprehensively supporting typical characteristics, QMDDs employ a decomposition scheme that more naturally models quantum systems. As a result, QMDDs explicitly support quantummechanical effects like phase shifts and are able to take more advantage of corresponding redundancies, thereby allowing a very compact representation of relevant quantum functionality composed of dozens of qubits. This provides the basis for the development of sophisticated design methods as shown for quantum circuit synthesis and verification 
ISBN,Price  9783319637242 
Keyword(s)  1. Computer science???Mathematics
2. EBOOK
3. EBOOK  SPRINGER
4. QUANTUM COMPUTERS
5. Quantum computing
6. Quantum Information Technology, Spintronics
7. QUANTUM PHYSICS
8. SPINTRONICS
9. Symbolic and Algebraic Manipulation

Item Type  eBook 
MultiMedia Links
Please Click here for eBook
Circulation Data
Accession#  
Call#  Status  Issued To  Return Due On  Physical Location 
I09934 


On Shelf 




3.


Title  Computer Algebra Recipes : A Gourmet???s Guide to the Mathematical Models of Science 
Author(s)  Enns, Richard;McGuire, George C 
Publication  New York, NY, Springer New York, 2001. 
Description  XIV, 778 p : online resource 
Abstract Note  Computer algebra systems have the potential to revolutionize the teaching of and learning of science. Not only can students work thorough mathematical models much more efficiently and with fewer errors than with pencil and paper, they can also work with much more complex and computationally intensive models. Thus, for example, in studying the flight of a golf ball, students can begin with the simple parabolic trajectory, but then add the effects of lift and drag, of winds, and of spin. Not only can the program provide analytic solutions in some cases, it can also produce numerical solutions and graphic displays. Aimed at undergraduates in their second or third year, this book is filled with examples from a wide variety of disciplines, including biology, economics, medicine, engineering, game theory, physics, chemistry. The text is organized along a spiral, revisiting general topics such as graphics, symbolic computation, and numerical simulation in greater detail and more depth at each turn of the spiral. The heart of the text is a large number of computer algebra recipes. These have been designed not only to provide tools for problem solving, but also to stimulate the reader's imagination. Associated with each recipe is a scientific model or method and a story that leads the reader through steps of the recipe.??Each section of recipes is followed by a set of problems that readers can use to check their understanding or to develop the topic further 
ISBN,Price  9781461301714 
Keyword(s)  1. ALGEBRA
2. Applications of Mathematics
3. APPLIED MATHEMATICS
4. Computational Intelligence
5. Computer science???Mathematics
6. EBOOK
7. EBOOK  SPRINGER
8. ENGINEERING MATHEMATICS
9. Mathematical and Computational Engineering
10. PHYSICS
11. Physics, general
12. Symbolic and Algebraic Manipulation

Item Type  eBook 
MultiMedia Links
Please Click here for eBook
Circulation Data
Accession#  
Call#  Status  Issued To  Return Due On  Physical Location 
I11043 


On Shelf 




4.
 
Title  Applications of Computer Technology to Dynamical Astronomy : Proceedings of the 109th Colloquium of the International Astronomical Union, held in Gaithersburg, Maryland, 27???29 July 1988 
Author(s)  Seidelmann, P. Kenneth;Kovalevsky, Jean 
Publication  Dordrecht, Springer Netherlands, 1989. 
Description  X, 341 p : online resource 
ISBN,Price  9789400909854 
Keyword(s)  1. Astronomy, Observations and Techniques
2. Astronomy???Observations
3. ASTROPHYSICS
4. Astrophysics and Astroparticles
5. Computer science???Mathematics
6. EBOOK
7. EBOOK  SPRINGER
8. IAU COLLOQUIUM; 109
9. Observations, Astronomical
10. Statistics for Engineering, Physics, Computer Science, Chemistry and Earth Sciences
11. Statistics??
12. Symbolic and Algebraic Manipulation

Item Type  eBook 
MultiMedia Links
Please Click here for eBook
Circulation Data
Accession#  
Call#  Status  Issued To  Return Due On  Physical Location 
I05046 


On Shelf 



 