Texts and monographs in symbolic computation

Material type: 図書

Author: -

Publisher: Springer-Verlag

Publication date: -

Material Format: Paper

Capacity, size, etc.: -

NDC: -

View All

Related materials as well as pre- and post-revision versions

Computer-human interaction in symbolic computation Algorithms in invariant theory Elimination methods Mechanical theorem proving in geometries : basic principles Algorithms in invariant theory Loewy Decomposition of Linear Differential Equations Anti-differentiation and the calculation of Feynman amplitudes Approximate commutative algebra Computer-supported calculus Automated practical reasoning : algebraic approaches Polynomial algorithms in computer algebra The concrete tetrahedron : symbolic sums, recurrence equations, generating functions, asymptotic estimates Computer algebra in quantum field theory : integration, summation and special functions Numerical and symbolic scientific computing : progress and prospects Quantifier elimination and cylindrical algebraic decomposition The symbolic computation of integrability structures for partial differential equations Advances in the design of symbolic computation systems Elliptic integrals, elliptic functions and modular forms in quantum field theory An Invitation to analytic combinatorics : from one to several variables Algorithmic combinatorics : enumerative combinatorics, special functions and computer algebra : in honour of Peter Paule on his 60th Birthday An introduction to computational origami

Search by Bookstore

Holdings of Libraries in Japan

This page shows libraries in Japan other than the National Diet Library that hold the material.

List of Cooperating Institutions and Databases

Please contact your local library for information on how to use materials or whether it is possible to request materials from the holding libraries.

other

CiNii Research
Search Service
Paper
You can check the holdings of institutions and databases with which CiNii Research is linked at the site of CiNii Research.
Check the holdings of this book

Search by Bookstore

Bibliographic Record

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Paper

Material Type: 図書
Title: Texts and monographs in symbolic computation
Publication, Distribution, etc.: Springer-Verlag
Place of Publication (Country Code): au
Target Audience: 一般
Related Material: Computer-human interaction in symbolic computation
https://cir.nii.ac.jp/crid/1130000795630354432
Algorithms in invariant theory
https://cir.nii.ac.jp/crid/1130000795890598528
Elimination methods
https://cir.nii.ac.jp/crid/1130000795971627776
Mechanical theorem proving in geometries : basic principles
https://cir.nii.ac.jp/crid/1130000797015988864
Algorithms in invariant theory
https://cir.nii.ac.jp/crid/1130000797062620928
Loewy Decomposition of Linear Differential Equations
https://cir.nii.ac.jp/crid/1130000798008452736
Anti-differentiation and the calculation of Feynman amplitudes
https://cir.nii.ac.jp/crid/1130010600041808906
Approximate commutative algebra
https://cir.nii.ac.jp/crid/1130282268827828224
Computer-supported calculus
https://cir.nii.ac.jp/crid/1130282269239874816
Automated practical reasoning : algebraic approaches
https://cir.nii.ac.jp/crid/1130282269327973632
Polynomial algorithms in computer algebra
https://cir.nii.ac.jp/crid/1130282270230626176
The concrete tetrahedron : symbolic sums, recurrence equations, generating functions, asymptotic estimates
https://cir.nii.ac.jp/crid/1130282270245522816
Computer algebra in quantum field theory : integration, summation and special functions
https://cir.nii.ac.jp/crid/1130282270312002304
Numerical and symbolic scientific computing : progress and prospects
https://cir.nii.ac.jp/crid/1130282270348718336
Quantifier elimination and cylindrical algebraic decomposition
https://cir.nii.ac.jp/crid/1130282271384144512
The symbolic computation of integrability structures for partial differential equations
https://cir.nii.ac.jp/crid/1130282271660685312
Advances in the design of symbolic computation systems
https://cir.nii.ac.jp/crid/1130282272609333120
Elliptic integrals, elliptic functions and modular forms in quantum field theory
https://cir.nii.ac.jp/crid/1130282272955228544
An Invitation to analytic combinatorics : from one to several variables
https://cir.nii.ac.jp/crid/1130287428966462875
Algorithmic combinatorics : enumerative combinatorics, special functions and computer algebra : in honour of Peter Paule on his 60th Birthday
https://cir.nii.ac.jp/crid/1131412329121535616
An introduction to computational origami
https://cir.nii.ac.jp/crid/1131412329602877696
Related Material (URI): https://ci.nii.ac.jp/ncid/BA20803475#entity
Data Provider (Database): 国立情報学研究所 : CiNii Research
Original Data Provider (Database): CiNii Books
https://ci.nii.ac.jp/books
NCID: https://ci.nii.ac.jp/ncid/BA20803475 : BA20803475