×

Texts & Monographs in Symbolic Computation

A Series of the Research Institute for Symbolic Computation, Johannes Kepler University, Linz, Austria

Short Title: Texts Monogr. Symb. Comput.
Publisher: Springer, Cham
ISSN: 0943-853X; 2197-8409/e
Online: https://rd.springer.com/bookseries/3073
Comments: Book series
Documents Indexed: 23 Publications (since 1993)

Latest Volumes

(1993-2023)

Publications by Year

Citations contained in zbMATH Open

19 Publications have been cited 778 times in 746 Documents Cited by Year
Algorithms in invariant theory. Zbl 0802.13002
Sturmfels, Bernd
188
1993
Algorithms in invariant theory. 2nd ed. Zbl 1154.13003
Sturmfels, Bernd
127
2008
Elimination methods. Zbl 0964.13014
Wang, Dongming
97
2001
Polynomial algorithms in computer algebra. Zbl 0853.12003
Winkler, Franz
94
1996
The concrete tetrahedron. Symbolic sums, recurrence equations, generating functions, asymptotic estimates. Zbl 1225.00001
Kauers, Manuel; Paule, Peter
89
2011
Quantifier elimination and cylindrical algebraic decomposition. Proceedings of a symposium, Linz, Austria, October 6–8, 1993. Zbl 0906.03033
53
1998
Mechanical theorem proving in geometries. Basic principles. Transl. from the Chinese by Xiaofan Jin and Dongming Wang. Zbl 0831.03003
Wu, Wen-tsün
41
1994
The symbolic computation of integrability structures for partial differential equations. Zbl 1407.68015
Krasil’shchik, Joseph; Verbovetskiy, Alexander; Vitolo, Raffaele
31
2017
Computer algebra in quantum field theory. Integration, summation and special functions. Zbl 1276.81004
29
2013
An invitation to analytic combinatorics. From one to several variables. Zbl 1468.05002
Melczer, Stephen
12
2021
Loewy decomposition of linear differential equations. Zbl 1261.35002
Schwarz, Fritz
4
2012
Approximate commutative algebra. Zbl 1176.13001
4
2009
Numerical and symbolic scientific computing. Progress and prospects. Zbl 1234.65014
2
2012
Anti-differentiation and the calculation of Feynman amplitudes. Selected papers based on the presentations at the conference, Zeuthen, Germany, October 2020. Zbl 1475.81004
2
2021
Automated practical reasoning. Algebraic approaches. With a foreword by Jim Cunningham. Zbl 0816.00013
1
1995
Advances in the design of symbolic computation systems. Zbl 0864.00041
1
1997
Computer-supported calculus. Zbl 0993.68150
Ben-Israel, Adi; Gilbert, Robert P.
1
2002
Integration in finite terms: fundamental sources. Zbl 1490.26001
1
2022
Computer-human interaction in symbolic computation. With a foreword by D. S. Scott. Zbl 0894.00027
1
1998
Integration in finite terms: fundamental sources. Zbl 1490.26001
1
2022
An invitation to analytic combinatorics. From one to several variables. Zbl 1468.05002
Melczer, Stephen
12
2021
Anti-differentiation and the calculation of Feynman amplitudes. Selected papers based on the presentations at the conference, Zeuthen, Germany, October 2020. Zbl 1475.81004
2
2021
The symbolic computation of integrability structures for partial differential equations. Zbl 1407.68015
Krasil’shchik, Joseph; Verbovetskiy, Alexander; Vitolo, Raffaele
31
2017
Computer algebra in quantum field theory. Integration, summation and special functions. Zbl 1276.81004
29
2013
Loewy decomposition of linear differential equations. Zbl 1261.35002
Schwarz, Fritz
4
2012
Numerical and symbolic scientific computing. Progress and prospects. Zbl 1234.65014
2
2012
The concrete tetrahedron. Symbolic sums, recurrence equations, generating functions, asymptotic estimates. Zbl 1225.00001
Kauers, Manuel; Paule, Peter
89
2011
Approximate commutative algebra. Zbl 1176.13001
4
2009
Algorithms in invariant theory. 2nd ed. Zbl 1154.13003
Sturmfels, Bernd
127
2008
Computer-supported calculus. Zbl 0993.68150
Ben-Israel, Adi; Gilbert, Robert P.
1
2002
Elimination methods. Zbl 0964.13014
Wang, Dongming
97
2001
Quantifier elimination and cylindrical algebraic decomposition. Proceedings of a symposium, Linz, Austria, October 6–8, 1993. Zbl 0906.03033
53
1998
Computer-human interaction in symbolic computation. With a foreword by D. S. Scott. Zbl 0894.00027
1
1998
Advances in the design of symbolic computation systems. Zbl 0864.00041
1
1997
Polynomial algorithms in computer algebra. Zbl 0853.12003
Winkler, Franz
94
1996
Automated practical reasoning. Algebraic approaches. With a foreword by Jim Cunningham. Zbl 0816.00013
1
1995
Mechanical theorem proving in geometries. Basic principles. Transl. from the Chinese by Xiaofan Jin and Dongming Wang. Zbl 0831.03003
Wu, Wen-tsün
41
1994
Algorithms in invariant theory. Zbl 0802.13002
Sturmfels, Bernd
188
1993
all top 5

Cited by 1,017 Authors

22 Schneider, Carsten
22 Sendra, Juan Rafael
21 Blümlein, Johannes
18 Kauers, Manuel
18 Pérez-Díaz, Sonia
18 Wang, Dongming
15 Ablinger, Jakob
13 De Freitas, Abilio
12 Morozov, Oleg I.
12 Mou, Chenqi
11 Alcazar, Juan Gerardo
11 Chipalkatti, Jaydeep V.
9 Li, Hongbo
9 Romanovskiĭ, Valeriĭ Georgievich
8 Herbig, Hans-Christian
8 Kovács, Laura Ildikó
8 Niu, Wei
8 Olive, Marc
8 Safey El Din, Mohab
7 Chen, Shaoshi
7 Gerdt, Vladimir Petrovich
7 Koutschan, Christoph
7 Krasil’shchik, Iosif Semënovich
7 Paule, Peter
7 Pillwein, Veronika
7 Seaton, Christopher
7 Von Manteuffel, Andreas
6 Behring, Arnd
6 Herden, Daniel
6 Hou, Xiaorong
6 Huang, Bo
6 Jiménez-Pastor, Antonio
6 Melczer, Stephen
6 Robertz, Daniel
6 Schost, Éric
6 Sendra, Juana
5 Desmorat, Rodrigue
5 Domokos, Mátyás
5 Faugère, Jean-Charles
5 Fındık, Şehmus
5 Kolev, Boris
5 Lai, Yisheng
5 Lü, Dazhao
5 Palacián, Jesús F.
5 Roanes-Lozano, Eugenio
5 Schicho, Josef
5 Schönwald, Kay
5 Staic, Mihai D.
5 Winkler, Franz
5 Xia, Bican
5 Yanguas, Patricia
5 Zeilberger, Doron
5 Zhang, Jingzhong
4 Abdesselam, Abdelmalek
4 Bartocci, Ezio
4 Desmorat, Boris
4 Drensky, Vesselin
4 Fomin, Sergey Vladimirovich
4 Gao, Xiaoshan
4 Hubert, Evelyne
4 Jaroschek, Maximilian
4 Kotsireas, Ilias S.
4 Lairez, Pierre
4 Laita, Luis M.
4 Lávička, Miroslav
4 Li, Ziming
4 Manoel, Miriam
4 Ratschan, Stefan
4 Sagraloff, Michael
4 Sergyeyev, Artur
4 Shen, Liyong
4 Singer, Michael F.
4 Villarino, Carlos
4 Wigderson, Avi
3 Baptistelli, Patrícia H.
3 Baryshnikov, Yuliy M.
3 Beeson, Michael J.
3 Brown, Christopher W.
3 Caminata, Alessio
3 Cao, Zhong
3 Chen, Mao
3 Chen, William Yong-Chuan
3 Chen, Xiaoyu
3 Cui, YanYing
3 Dahan, Xavier
3 Dias, Ana Paula S.
3 Díaz-Toca, Gema María
3 Du, Hao
3 Emiris, Ioannis Z.
3 England, Matthew
3 Ferrara, Sergio
3 Garg, Ankit
3 Gatermann, Karin
3 Göbel, Manfred
3 Hasselhuhn, Alexander
3 Ikenmeyer, Christian
3 Ioakimidis, Nikolaos Ioakim
3 Kemper, Gregor
3 Kenison, George
3 Labahn, George
...and 917 more Authors
all top 5

Cited in 218 Journals

87 Journal of Symbolic Computation
22 Computer Aided Geometric Design
17 Journal of Pure and Applied Algebra
16 Nuclear Physics. B
15 Journal of Algebra
11 Applied Mathematics and Computation
11 Journal of Systems Science and Complexity
10 Advances in Mathematics
10 Theoretical Computer Science
10 Mathematics in Computer Science
9 Proceedings of the American Mathematical Society
9 Advances in Applied Mathematics
8 Computers & Mathematics with Applications
8 Journal of Geometry and Physics
8 Journal of Computational and Applied Mathematics
8 Experimental Mathematics
8 Journal of High Energy Physics
7 Journal of Mathematical Physics
7 Mathematics of Computation
7 Journal of Differential Equations
7 Journal of Mathematical Sciences (New York)
6 Transactions of the American Mathematical Society
6 Discrete & Computational Geometry
6 Journal of Automated Reasoning
6 Linear Algebra and its Applications
5 Communications in Algebra
5 Chaos, Solitons and Fractals
5 Mathematics and Computers in Simulation
5 Science in China. Series A
5 International Journal of Algebra and Computation
5 Annals of Mathematics and Artificial Intelligence
5 Qualitative Theory of Dynamical Systems
4 Computer Physics Communications
4 Discrete Applied Mathematics
4 Israel Journal of Mathematics
4 Journal of Combinatorial Theory. Series A
4 European Journal of Combinatorics
4 Computational Geometry
4 Applicable Algebra in Engineering, Communication and Computing
4 International Journal of Bifurcation and Chaos in Applied Sciences and Engineering
4 Journal of Algebraic Combinatorics
4 Journal of Difference Equations and Applications
4 Journal of Mathematical Chemistry
4 Séminaire Lotharingien de Combinatoire
4 Annals of Combinatorics
4 Foundations of Computational Mathematics
4 Journal of Algebra and its Applications
4 Analysis and Mathematical Physics
3 Journal of Mathematical Analysis and Applications
3 Mathematische Zeitschrift
3 Acta Applicandae Mathematicae
3 Physica D
3 Journal of the American Mathematical Society
3 The Electronic Journal of Combinatorics
3 Selecta Mathematica. New Series
3 Journal of Discrete Mathematical Sciences & Cryptography
3 Journal of Integer Sequences
3 Communications in Nonlinear Science and Numerical Simulation
2 International Journal of Modern Physics A
2 Discrete Mathematics
2 Journal of the Mechanics and Physics of Solids
2 Physics Letters. A
2 Physics Reports
2 Reports on Mathematical Physics
2 Theoretical and Mathematical Physics
2 The Mathematical Intelligencer
2 Bulletin of the London Mathematical Society
2 Duke Mathematical Journal
2 Glasgow Mathematical Journal
2 Mathematische Annalen
2 Michigan Mathematical Journal
2 Nonlinear Analysis. Theory, Methods & Applications. Series A: Theory and Methods
2 Proceedings of the London Mathematical Society. Third Series
2 Programming and Computer Software
2 Studies in Applied Mathematics
2 Applied Mathematics Letters
2 Differential Geometry and its Applications
2 Bulletin of the American Mathematical Society. New Series
2 Journal of Mathematical Imaging and Vision
2 Formal Methods in System Design
2 Applied and Computational Harmonic Analysis
2 Turkish Journal of Mathematics
2 Mathematical Problems in Engineering
2 The Ramanujan Journal
2 Regular and Chaotic Dynamics
2 Lobachevskii Journal of Mathematics
2 Advances in Geometry
2 Journal of Applied Mathematics
2 Mediterranean Journal of Mathematics
2 International Journal of Number Theory
2 Journal of Physics A: Mathematical and Theoretical
2 \(p\)-Adic Numbers, Ultrametric Analysis, and Applications
2 Revista de la Real Academia de Ciencias Exactas, Físicas y Naturales. Serie A: Matemáticas. RACSAM
2 SIAM Journal on Applied Algebra and Geometry
2 Enumerative Combinatorics and Applications
1 Modern Physics Letters A
1 Acta Mechanica
1 American Mathematical Monthly
1 Archive for History of Exact Sciences
1 Archive for Rational Mechanics and Analysis
...and 118 more Journals
all top 5

Cited in 55 Fields

255 Computer science (68-XX)
177 Commutative algebra (13-XX)
158 Algebraic geometry (14-XX)
99 Combinatorics (05-XX)
75 Numerical analysis (65-XX)
56 Quantum theory (81-XX)
54 Ordinary differential equations (34-XX)
52 Number theory (11-XX)
52 Partial differential equations (35-XX)
45 Dynamical systems and ergodic theory (37-XX)
41 Linear and multilinear algebra; matrix theory (15-XX)
39 Field theory and polynomials (12-XX)
36 Special functions (33-XX)
32 Mathematical logic and foundations (03-XX)
29 Nonassociative rings and algebras (17-XX)
28 Associative rings and algebras (16-XX)
27 Group theory and generalizations (20-XX)
27 Geometry (51-XX)
20 Differential geometry (53-XX)
18 Topological groups, Lie groups (22-XX)
17 Convex and discrete geometry (52-XX)
16 Operations research, mathematical programming (90-XX)
15 Difference and functional equations (39-XX)
15 Information and communication theory, circuits (94-XX)
13 Real functions (26-XX)
13 Systems theory; control (93-XX)
11 Several complex variables and analytic spaces (32-XX)
11 Probability theory and stochastic processes (60-XX)
11 Statistics (62-XX)
11 Mechanics of particles and systems (70-XX)
11 Biology and other natural sciences (92-XX)
10 Functions of a complex variable (30-XX)
10 Mechanics of deformable solids (74-XX)
9 Relativity and gravitational theory (83-XX)
8 Approximations and expansions (41-XX)
8 Harmonic analysis on Euclidean spaces (42-XX)
8 Global analysis, analysis on manifolds (58-XX)
7 Operator theory (47-XX)
6 History and biography (01-XX)
6 Functional analysis (46-XX)
6 Manifolds and cell complexes (57-XX)
4 Integral transforms, operational calculus (44-XX)
4 Algebraic topology (55-XX)
4 Statistical mechanics, structure of matter (82-XX)
3 General and overarching topics; collections (00-XX)
3 Order, lattices, ordered algebraic structures (06-XX)
3 Fluid mechanics (76-XX)
3 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
3 Mathematics education (97-XX)
2 \(K\)-theory (19-XX)
2 Sequences, series, summability (40-XX)
1 General algebraic systems (08-XX)
1 Category theory; homological algebra (18-XX)
1 Calculus of variations and optimal control; optimization (49-XX)
1 Optics, electromagnetic theory (78-XX)

Citations by Year