Mathematics in Computer Science Short Title: Math. Comput. Sci. Publisher: Springer (Birkhäuser), Basel ISSN: 1661-8270; 1661-8289/e Online: https://link.springer.com/journal/11786/volumes-and-issues Comments: Journal; Indexed cover-to-cover Documents Indexed: 603 Publications (since 2007) References Indexed: 496 Publications with 12,770 References. all top 5 Latest Issues 17, No. 3-4 (2023) 17, No. 2 (2023) 17, No. 1 (2023) 16, No. 4 (2022) 16, No. 2-3 (2022) 16, No. 1 (2022) 15, No. 4 (2021) 15, No. 3 (2021) 15, No. 2 (2021) 15, No. 1 (2021) 14, No. 4 (2020) 14, No. 3 (2020) 14, No. 2 (2020) 14, No. 1 (2020) 13, No. 4 (2019) 13, No. 3 (2019) 13, No. 1-2 (2019) 12, No. 4 (2018) 12, No. 3 (2018) 12, No. 2 (2018) 12, No. 1 (2018) 11, No. 3-4 (2017) 11, No. 2 (2017) 11, No. 1 (2017) 10, No. 4 (2016) 10, No. 3 (2016) 10, No. 2 (2016) 10, No. 1 (2016) 9, No. 4 (2015) 9, No. 3 (2015) 9, No. 2 (2015) 9, No. 1 (2015) 8, No. 3-4 (2014) 8, No. 2 (2014) 8, No. 1 (2014) 7, No. 4 (2013) 7, No. 3 (2013) 7, No. 2 (2013) 7, No. 1 (2013) 6, No. 4 (2012) 6, No. 3 (2012) 6, No. 2 (2012) 6, No. 1 (2012) 5, No. 4 (2011) 5, No. 3 (2011) 5, No. 2 (2011) 5, No. 1 (2011) 4, No. 4 (2010) 4, No. 2-3 (2010) 4, No. 1 (2010) 3, No. 4 (2010) 3, No. 3 (2010) 3, No. 2 (2010) 3, No. 1 (2010) 2, No. 4 (2009) 2, No. 3 (2009) 2, No. 2 (2008) 2, No. 1 (2008) 1, No. 4 (2008) 1, No. 3 (2008) 1, No. 2 (2007) 1, No. 1 (2007) all top 5 Authors 11 Marcolli, Matilde 11 Sturm, Thomas 9 Dana-Picard, Thierry Noah 9 Miller, Mirka 9 Seiler, Werner M. 8 Kotsireas, Ilias S. 8 Roanes-Lozano, Eugenio 8 Stadler, Peter F. 8 Wang, Dongming 7 Boulier, François 7 Tajima, Shinichi 6 Davenport, James Harold 6 England, Matthew 6 Levin, Alexander Borisovich 6 Li, Hongbo 6 Nabeshima, Katsusuke 6 Ryan, Joe 5 Bača, Martin 5 Hashemi, Amir 5 Hellmuth, Marc 5 Iliopoulos, Costas S. 5 Jaulin, Luc 5 Koutschan, Christoph 5 Mansour, Toufik 5 Prokopenya, Alexander N. 5 Rajan, Bharati 5 Rajasingh, Indra 5 Vasconcelos, Paulo Beleza 4 Anai, Hirokazu 4 Bavula, Vladimir V. 4 Chen, Xiaoyu 4 Conceição, Ana C. 4 Galán-García, José Luis 4 Jüttler, Bert 4 Koepf, Wolfram A. 4 Kovács, Zoltán 4 Lemaire, François 4 Núñez-Valdés, Juan 4 Peters, James Francis III 4 Rahman, Mohammad Sohel 4 Robertz, Daniel 4 Sadykov, Timur Mradovich 4 Sendra, Juan Rafael 4 Simos, Dimitris E. 3 Akram, Muhammad 3 Botana, Francisco 3 Ceria, Michela 3 Corless, Robert Malcolm 3 El Kahoui, M’hammed 3 Escobar, José María 3 Gutnik, Sergey A. 3 Kaliszyk, Cezary 3 Kohlhase, Michael 3 Krupa, Jan 3 Loja, Amélia 3 Manin, Yuriĭ Ivanovich 3 Martínez-Moro, Edgar 3 Matos, José M. A. 3 Ohara, Katsuyoshi 3 Pérez-Fernández, Pedro 3 Phanalasy, Oudone 3 Port, Alexander 3 Puglisi, Simon J. 3 Quadras, Jasintha 3 Ramanna, Sheela 3 Recio, Tomas 3 Rodrigues, José Alberto 3 Sarychev, Vasily A. 3 Siddiqui, Muhammad Kamran 3 Sit, William Yu 3 Solano-Macías, Carmen 3 Suzuki, Masakazu 3 Torres, Delfim Fernando Marado 3 Urban, Josef 3 Wojas, Włodzimierz 3 Zhang, Lixian 2 Aguilera-Venegas, Gabriel 2 Armario, José ándrés 2 Arockiaraj, Micheal 2 Aschemann, Harald 2 Autexier, Serge 2 Aydogan, Seher Melike 2 Barbosa, Joaquim Infante 2 Beltrametti, Mauro C. 2 Berberich, Eric 2 Berkemer, Sarah J. 2 Berwick, Robert C. 2 Blecher, Aubrey 2 Boldo, Sylvie 2 Brennan, Charlotte Alix 2 Brickenstein, Michael 2 Çengellenmiş, Yasemin 2 Cinque, Luigi 2 Cohen, Arjeh Marcel 2 Conceição Pereira, José 2 Crnković, Dean 2 da Rocha, Zélia 2 Daykin, Jacqueline W. 2 De Agostino, Sergio 2 Dertli, Abdullah ...and 965 more Authors all top 5 Fields 291 Computer science (68-XX) 124 Combinatorics (05-XX) 88 Numerical analysis (65-XX) 60 Commutative algebra (13-XX) 47 Algebraic geometry (14-XX) 39 General and overarching topics; collections (00-XX) 38 Information and communication theory, circuits (94-XX) 31 Ordinary differential equations (34-XX) 30 Biology and other natural sciences (92-XX) 28 Number theory (11-XX) 25 Mathematical logic and foundations (03-XX) 23 Field theory and polynomials (12-XX) 23 Mathematics education (97-XX) 19 Geometry (51-XX) 18 Dynamical systems and ergodic theory (37-XX) 18 Mechanics of particles and systems (70-XX) 18 Operations research, mathematical programming (90-XX) 16 Systems theory; control (93-XX) 13 Special functions (33-XX) 13 General topology (54-XX) 13 Statistics (62-XX) 12 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 11 Associative rings and algebras (16-XX) 11 Partial differential equations (35-XX) 11 Difference and functional equations (39-XX) 10 Linear and multilinear algebra; matrix theory (15-XX) 9 History and biography (01-XX) 9 Real functions (26-XX) 9 Functions of a complex variable (30-XX) 9 Operator theory (47-XX) 7 Several complex variables and analytic spaces (32-XX) 7 Calculus of variations and optimal control; optimization (49-XX) 6 Measure and integration (28-XX) 6 Approximations and expansions (41-XX) 6 Harmonic analysis on Euclidean spaces (42-XX) 6 Convex and discrete geometry (52-XX) 6 Differential geometry (53-XX) 6 Quantum theory (81-XX) 5 Order, lattices, ordered algebraic structures (06-XX) 5 Probability theory and stochastic processes (60-XX) 5 Fluid mechanics (76-XX) 4 Nonassociative rings and algebras (17-XX) 4 Integral equations (45-XX) 4 Algebraic topology (55-XX) 3 Category theory; homological algebra (18-XX) 3 Group theory and generalizations (20-XX) 3 Integral transforms, operational calculus (44-XX) 3 Statistical mechanics, structure of matter (82-XX) 2 General algebraic systems (08-XX) 2 Functional analysis (46-XX) 2 Global analysis, analysis on manifolds (58-XX) 2 Mechanics of deformable solids (74-XX) 2 Optics, electromagnetic theory (78-XX) 2 Classical thermodynamics, heat transfer (80-XX) 2 Astronomy and astrophysics (85-XX) 1 Manifolds and cell complexes (57-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 373 Publications have been cited 1,544 times in 1,341 Documents Cited by ▼ Year ▼ HOL(y)Hammer: online ATP service for HOL Light. Zbl 1322.68177 Kaliszyk, Cezary; Urban, Josef 32 2015 A fast approach to creative telescoping. Zbl 1218.68205 Koutschan, Christoph 32 2010 Semi-local string comparison: algorithmic techniques and applications. Zbl 1158.68054 Tiskin, Alexander 26 2008 Testing sign conditions on a multivariate polynomial and applications. Zbl 1126.14068 El Din, Mohab Safey 26 2007 Coquelicot: a user-friendly library of real analysis for Coq. Zbl 1322.68176 Boldo, Sylvie; Lelay, Catherine; Melquiond, Guillaume 24 2015 Dynamics and optimal control of Ebola transmission. Zbl 1352.49042 Rachah, Amira; Torres, Delfim F. M. 20 2016 Investigating algebraic and logical algorithms to solve Hopf bifurcation problems in algebraic biology. Zbl 1205.37062 Sturm, Thomas; Weber, Andreas; Abdel-Rahman, Essam O.; El Kahoui, M’hammed 20 2009 Algebraic approaches to stability analysis of biological systems. Zbl 1138.68668 Niu, Wei; Wang, Dongming 20 2008 Stability analysis for discrete biological models using algebraic methods. Zbl 1270.92023 Li, Xiaoliang; Mou, Chenqi; Niu, Wei; Wang, Dongming 19 2011 Symbolic computation of local symmetries of nonlinear and linear partial and ordinary differential equations. Zbl 1218.68203 Cheviakov, Alexei F. 19 2010 Computing numerically with functions instead of numbers. Zbl 1145.41302 Trefethen, Lloyd N. 18 2007 On the topology of real algebraic plane curves. Zbl 1205.14038 Cheng, Jinsan; Lazard, Sylvain; Peñaranda, Luis; Pouget, Marc; Rouillier, Fabrice 17 2010 Serre’s reduction of linear functional systems. Zbl 1275.16003 Boudellioua, M. S.; Quadrat, A. 16 2010 Near sets: an introduction. Zbl 1266.54068 Peters, James F. 16 2013 Lempel-Ziv factorization using less time & space. Zbl 1181.68315 Chen, Gang; Puglisi, Simon J.; Smyth, W. F. 15 2008 The non-Archimedean theory of discrete systems. Zbl 1267.37006 Anashin, Vladimir 15 2012 A graph library for Isabelle. Zbl 1308.05055 Noschinski, Lars 14 2015 Cryptanalysis of two McEliece cryptosystems based on quasi-cyclic codes. Zbl 1205.94095 Otmani, Ayoub; Tillich, Jean-Pierre; Dallot, Léonard 14 2010 A new approach to pattern matching in degenerate DNA/RNA sequences and distributed pattern matching. Zbl 1160.68684 Iliopoulos, Costas S.; Mouchard, Laurent; Rahman, M. Sohel 14 2008 Descriptive proximities: properties and interplay between classical proximities and overlap. Zbl 1403.54017 Di Concilio, A.; Guadagni, C.; Peters, J. F.; Ramanna, S. 13 2018 Analysis and optimal control of an intracellular delayed HIV model with CTL immune response. Zbl 1403.34057 Allali, Karam; Harroudi, Sanaa; Torres, Delfim F. M. 13 2018 Linear wirelength of folded hypercubes. Zbl 1254.05133 Rajasingh, Indra; Arockiaraj, Micheal 13 2011 Using LaTEXas a semantic markup format. Zbl 1176.68230 Kohlhase, Michael 12 2008 Dichotomy results for fixed-point existence problems for Boolean dynamical systems. Zbl 1138.68034 Kosub, Sven 12 2008 \(m\)-polar fuzzy labeling graphs with application. Zbl 1357.05127 Akram, Muhammad; Adeel, Arooj 11 2016 Tropicalization of classical moduli spaces. Zbl 1305.14031 Ren, Qingchun; Sam, Steven V.; Sturmfels, Bernd 11 2014 Secure restrained domination in graphs. Zbl 1317.05141 Roushini Leely Pushpam, P.; Suseendran, Chitra 11 2015 Wadge reducibility and infinite computations. Zbl 1157.03018 Selivanov, Victor 11 2008 On effective analytic continuation. Zbl 1154.68574 van der Hoeven, Joris 11 2007 A survey on hypergraph products. Zbl 1262.05110 Hellmuth, Marc; Ostermeier, Lydia; Stadler, Peter F. 11 2012 Persistent topology of syntax. Zbl 1417.91428 Port, Alexander; Gheorghita, Iulia; Guth, Daniel; Clark, John M.; Liang, Crystal; Dasu, Shival; Marcolli, Matilde 10 2018 Some types of filters in BE-algebras. Zbl 1305.06019 Borumand Saeid, Arsham; Rezaei, Akbar; Borzooei, Rajab Ali 10 2013 Using machine learning to improve cylindrical algebraic decomposition. Zbl 1474.68464 Huang, Zongyan; England, Matthew; Wilson, David J.; Bridge, James; Davenport, James H.; Paulson, Lawrence C. 10 2019 Superposition as a decision procedure for timed automata. Zbl 1262.68159 Fietzke, Arnaud; Weidenbach, Christoph 10 2012 Error-correcting codes and phase transitions. Zbl 1278.94097 Manin, Yuri I.; Marcolli, Matilde 10 2011 Quiver generalized Weyl algebras, skew category algebras and diskew polynomial rings. Zbl 1381.16014 Bavula, V. V. 9 2017 A survey of some methods for real quantifier elimination, decision, and satisfiability and their applications. Zbl 1425.68380 Sturm, Thomas 9 2017 Formal analysis of optical systems. Zbl 1302.68245 Khan-Afshar, Sanaz; Siddique, Umair; Mahmoud, Mohamed Yousri; Aravantinos, Vincent; Seddiki, Ons; Hasan, Osman; Tahar, Sofiène 9 2014 Cylindrical algebraic sub-decompositions. Zbl 1309.68232 Wilson, D. J.; Bradford, R. J.; Davenport, J. H.; England, M. 9 2014 Fundamentals of computational conformal geometry. Zbl 1229.53010 Gu, David Xianfeng; Luo, Feng; Yau, Shing-Tung 9 2010 Triangulating smooth submanifolds with light scaffolding. Zbl 1229.68077 Boissonnat, Jean-Daniel; Ghosh, Arijit 9 2010 ATP-based cross-verification of Mizar proofs: method, systems, and first experiments. Zbl 1178.68532 Urban, Josef; Sutcliffe, Geoff 9 2008 Deriving behavior of Boolean bioregulatory networks from subnetwork dynamics. Zbl 1205.37097 Siebert, Heike 9 2009 Dynamic multi-level overlay graphs for shortest paths. Zbl 1158.68053 Bruera, Francesco; Cicerone, Serafino; D’Angelo, Gianlorenzo; Di Stefano, Gabriele; Frigioni, Daniele 9 2008 Structural properties of word representable graphs. Zbl 1344.68178 Bera, Somnath; Mahalingam, Kalpana 8 2016 On the connection between Ritt characteristic sets and Buchberger-Gröbner bases. Zbl 1388.13058 Wang, Dongming 8 2016 The simplified Tikhonov regularization method for solving a Riesz-Feller space-fractional backward diffusion problem. Zbl 1516.35544 Yang, Fan; Li, Xiao-Xiao; Li, Dun-Gang; Wang, Lan 8 2017 Sixty years of network reliability. Zbl 1432.68045 Pérez-Rosés, Hebert 8 2018 On the discriminant scheme of homogeneous polynomials. Zbl 1302.13028 Busé, Laurent; Jouanolou, Jean-Pierre 8 2014 Isotypeness of models and knowledge bases equivalence. Zbl 1319.68213 Aladova, Elena; Plotkin, Eugene; Plotkin, Tatjana 8 2013 Model reduction of chemical reaction systems using elimination. Zbl 1270.92025 Boulier, François; Lefranc, Marc; Lemaire, François; Morant, Pierre-Emmanuel 8 2011 Constructive \(D\)-module theory with Singular. Zbl 1217.13011 Andres, Daniel; Brickenstein, Michael; Levandovskyy, Viktor; Martín-Morales, Jorge; Schönemann, Hans 8 2010 An algorithm for computing a Gröbner basis of a polynomial ideal over a ring with zero divisors. Zbl 1205.13032 Kapur, Deepak; Cai, Yongyang 8 2009 Local algorithms for the prime factorization of strong product graphs. Zbl 1205.05222 Hellmuth, Marc; Imrich, Wilfried; Klöckl, Werner; Stadler, Peter F. 8 2009 Local near sets: pattern discovery in proximity spaces. Zbl 1400.54040 Peters, James F. 8 2013 Efficient and secure delegation of exponentiation in general groups to a single malicious server. Zbl 1488.94083 Di Crescenzo, Giovanni; Khodjaeva, Matluba; Kahrobaei, Delaram; Shpilrain, Vladimir 8 2020 Recycling proof patterns in Coq: case studies. Zbl 1302.68243 Heras, Jónathan; Komendantskaya, Ekaterina 7 2014 Sliding mode techniques for robust trajectory tracking as well as state and parameter estimation. Zbl 1301.93041 Senkel, Luise; Rauh, Andreas; Aschemann, Harald 7 2014 A math query language with an expanded set of wildcards. Zbl 1176.68053 Altamimi, Moody Ebrahem; Youssef, Abdou 7 2008 \(L(2, 1)\)-labeling of permutation and bipartite permutation graphs. Zbl 1310.05204 Paul, Satyabrata; Pal, Madhumangal; Pal, Anita 7 2015 Fast, practical algorithms for computing all the repeats in a string. Zbl 1205.68496 Puglisi, Simon J.; Smyth, W. F.; Yusufu, Munina 7 2010 Unambiguous automata. Zbl 1158.68019 Béal, Marie-Pierre; Czeizler, Eugen; Kari, Jarkko; Perrin, Dominique 7 2008 Pseudospectra of matrix polynomials that are expressed in alternative bases. Zbl 1136.15012 Corless, Robert M.; Rezvani, Nargol; Amiraslani, Amirhossein 7 2007 TASS: the toolkit for accurate scientific software. Zbl 1264.68113 Siegel, Stephen F.; Zirkel, Timothy K. 7 2011 A validated real function calculus. Zbl 1266.65074 Collins, Pieter; Niqui, Milad; Revol, Nathalie 7 2011 Engineering a lightweight external memory suffix array construction algorithm. Zbl 1377.68328 Kärkkäinen, Juha; Kempa, Dominik 6 2017 Semantic spaces. Zbl 1409.68302 Manin, Yuri I.; Marcolli, Matilde 6 2016 Newton polytopes and witness sets. Zbl 1304.14077 Hauenstein, Jonathan D.; Sottile, Frank 6 2014 Partial star products: a local covering approach for the recognition of approximate Cartesian product graphs. Zbl 1319.68157 Hellmuth, Marc; Imrich, Wilfried; Kupka, Tomas 6 2013 Improved agreeing-gluing algorithm. Zbl 1343.94080 Semaev, Igor 6 2013 Intuitionistic fuzzy soft \(K\)-algebras. Zbl 1311.06017 Akram, Muhammad; Davvaz, Bijan; Feng, Feng 6 2013 The construction of 3D conformal motions. Zbl 1341.65006 Dorst, Leo 6 2016 Computing zeta functions of superelliptic curves in larger characteristic. Zbl 1205.11072 Minzlaff, Moritz 6 2010 The Newton polygon of a rational plane curve. Zbl 1205.14039 D’Andrea, Carlos; Sombra, Martín 6 2010 Computing the Newton polygon of the implicit equation. Zbl 1205.14040 Emiris, Ioannis Z.; Konaxis, Christos; Palios, Leonidas 6 2010 Zero tests for constants in simple scientific computation. Zbl 1145.26001 Richardson, Daniel 6 2007 \( m\)-fold hypergeometric solutions of linear recurrence equations revisited. Zbl 1262.68190 Horn, Peter; Koepf, Wolfram; Sprenger, Torsten 6 2012 Automatically discovering relaxed Lyapunov functions for polynomial dynamical systems. Zbl 1261.93063 Liu, Jiang; Zhan, Naijun; Zhao, Hengjun 6 2012 All arbitrarily fixed generalized banana trees are graceful. Zbl 1254.05174 Jesintha, J. Jeba; Sethuraman, G. 6 2011 Optimal eighth order iterative methods. Zbl 1256.65041 Khattri, Sanjay Kumar 6 2011 Three-body problem with variable masses that change anisotropically at different rates. Zbl 1387.70010 Minglibayev, M. Zh.; Prokopenya, A. N.; Mayemerova, G. M.; Imanova, Zh. U. 5 2017 Motion of a swinging Atwood’s machine: simulation and analysis with Mathematica. Zbl 1416.70015 Prokopenya, Alexander N. 5 2017 Towards a Lanczos’ \(\tau \)-method toolkit for differential problems. Zbl 1353.65083 Trindade, Marcelo; Matos, J.; Vasconcelos, P. B. 5 2016 On representations of ternary order relations in numeric strings. Zbl 1369.68364 Kim, Jinil; Amir, Amihood; Na, Joong Chae; Park, Kunsoo; Sim, Jeong Seop 5 2017 Solving the minimum common string partition problem with the help of ants. Zbl 1409.68270 Ferdous, S. M.; Rahman, M. Sohel 5 2017 Usage of modular techniques for efficient computation of ideal operations. Zbl 1402.13026 Noro, Masayuki; Yokoyama, Kazuhiro 5 2018 An efficient design and implementation of the in-parameter-order algorithm. Zbl 1398.05046 Kleine, Kristoffer; Simos, Dimitris E. 5 2018 A modified Hermite interpolation with exponential parameterization. Zbl 1474.65030 Kozera, R.; Wilkołazka, M. 5 2019 Bounds on the dimension of trivariate spline spaces: a homological approach. Zbl 1317.13035 Mourrain, Bernard; Villamizar, Nelly 5 2014 Interval methods for real-time capable robust control of solid oxide fuel cell systems. Zbl 1302.65120 Rauh, Andreas; Senkel, Luise; Auer, Ekaterina; Aschemann, Harald 5 2014 On total edge irregularity strength of generalized web graphs and related graphs. Zbl 1317.05171 Indriati, Diari; Widodo; Wijayanti, Indah E.; Sugeng, Kiki A.; Bača, Martin 5 2015 Berge-Fulkerson conjecture on certain snarks. Zbl 1317.05153 Manuel, Paul; Shanthi, A. S. 5 2015 Total edge irregularity strength of toroidal fullerene. Zbl 1306.05213 Bača, Martin; Lascsáková, Marcela; Siddiqui, Muhammad Kamran 5 2013 Wadge degrees of infinitary rational relations. Zbl 1157.03017 Finkel, Olivier 5 2008 Spurious disambiguation errors and how to get rid of them. Zbl 1176.68221 Sacerdoti Coen, Claudio; Zacchiroli, Stefano 5 2008 Counting lattice points on bargraphs of Catalan words. Zbl 07465798 Mansour, Toufik; Ramírez, José L.; Toquica, Diana A. 5 2021 Algebraic, rational and Puiseux series solutions of systems of autonomous algebraic ODEs of dimension one. Zbl 1500.34075 Cano, José; Falkensteiner, Sebastian; Sendra, J. Rafael 5 2021 Efficiently and effectively recognizing toricity of steady state varieties. Zbl 1495.14095 Grigoriev, Dima; Iosif, Alexandru; Rahkooy, Hamid; Sturm, Thomas; Weber, Andreas 5 2021 Enumeration and generating functions of Rota-Baxter words. Zbl 1218.16030 Guo, Li; Sit, William Y. 5 2010 Stability of disease free equilibria in epidemiological models. Zbl 1205.34054 El Kahoui, M’hammed; Otto, Adamou 5 2009 Using semicontinuity for standard bases computations. Zbl 07632792 Greuel, Gert-Martin; Pfister, Gerhard; Schönemann, Hans 2 2022 Computing elements of certain form in ideals to prove properties of operators. Zbl 07646553 Hofstadler, Clemens; Raab, Clemens G.; Regensburger, Georg 2 2022 Applications of bar code to involutive divisions and a “greedy” algorithm for complete sets. Zbl 07700010 Ceria, Michela 2 2022 Topological analysis of syntactic structures. Zbl 07498613 Port, Alexander; Karidi, Taelin; Marcolli, Matilde 2 2022 A new type of difference dimension polynomials. Zbl 07632791 Levin, Alexander 1 2022 Computer algebra methods for searching the stationary motions of the connected bodies system moving in gravitational field. Zbl 1514.70033 Gutnik, Sergey A.; Sarychev, Vasily A. 1 2022 Factoring multivariate polynomials represented by black boxes: a Maple + C implementation. Zbl 1511.68345 Chen, Tian; Monagan, Michael 1 2022 A decomposition of column-convex polyominoes and two vertex statistics. Zbl 07557141 Cakić, Nenad; Mansour, Toufik; Yıldırım, Gökhan 1 2022 Localizations of a ring at localizable sets, their groups of units and saturations. Zbl 07557142 Bavula, V. V. 1 2022 Enumerating solutions to grid-based puzzles with a fixed number of rows. Zbl 07570271 Spahn, George 1 2022 Is computer algebra ready for conjecturing and proving geometric inequalities in the classroom? Zbl 07700011 Brown, Christopher W.; Kovács, Zoltán; Recio, Tomás; Vajda, Róbert; Vélez, M. Pilar 1 2022 A time-splitting tau method for PDE’s: a contribution for the spectral Tau Toolbox library. Zbl 07538974 Lima, N.; Matos, J. A. O.; Matos, J. M. A.; Vasconcelos, P. B. 1 2022 Counting lattice points on bargraphs of Catalan words. Zbl 07465798 Mansour, Toufik; Ramírez, José L.; Toquica, Diana A. 5 2021 Algebraic, rational and Puiseux series solutions of systems of autonomous algebraic ODEs of dimension one. Zbl 1500.34075 Cano, José; Falkensteiner, Sebastian; Sendra, J. Rafael 5 2021 Efficiently and effectively recognizing toricity of steady state varieties. Zbl 1495.14095 Grigoriev, Dima; Iosif, Alexandru; Rahkooy, Hamid; Sturm, Thomas; Weber, Andreas 5 2021 High-order methods for systems of fractional ordinary differential equations and their application to time-fractional diffusion equations. Zbl 07465789 Ferrás, Luís L.; Ford, Neville; Morgado, Maria Luísa; Rebelo, Magda 4 2021 Symbolic computations of the equilibrium orientations of a system of two connected bodies moving on a circular orbit around the Earth. Zbl 07433041 Gutnik, Sergey A.; Sarychev, Vasily A. 4 2021 Algorithmic reduction of biological networks with multiple time scales. Zbl 1484.13058 Kruff, Niclas; Lüders, Christoph; Radulescu, Ovidiu; Sturm, Thomas; Walcher, Sebastian 4 2021 Global stability of a Caputo fractional SIRS model with general incidence rate. Zbl 1492.92114 Sidi Ammi, Moulay Rchid; Tahiri, Mostafa; Torres, Delfim F. M. 4 2021 On the \({H}^1\) conforming virtual element method for time dependent Stokes equation. Zbl 1490.65187 Adak, Dibyendu; Natarajan, Sundararajan 4 2021 Tropical differential Gröbner bases. Zbl 1482.14066 Hu, Youren; Gao, Xiao-Shan 4 2021 Phylogenetics of Indo-European language families via an algebro-geometric analysis of their syntactic structures. Zbl 07465805 Shu, Kevin; Ortegaray, Andrew; Berwick, Robert C.; Marcolli, Matilde 3 2021 Testing zero-dimensionality of varieties at a point. Zbl 1492.13037 Nabeshima, Katsusuke; Tajima, Shinichi 3 2021 A mechanical geometer. Zbl 07465794 Botana, Francisco; Kovács, Zoltán; Recio, Tomás 2 2021 Heat kernel analysis of syntactic structures. Zbl 07465795 Ortegaray, Andrew; Berwick, Robert C.; Marcolli, Matilde 2 2021 Synchronization and self-organization in complex networks for a tuberculosis model. Zbl 1500.34044 Silva, Cristiana J.; Cantin, Guillaume 2 2021 Estimating the employment band of inaction with multiple breaks due to labor market reforms. Zbl 1493.62617 Mota, P. R.; Vasconcelos, P. B. 2 2021 A logic based approach to finding real singularities of implicit ordinary differential equations. Zbl 1500.34015 Seiler, Werner M.; Seiß, Matthias; Sturm, Thomas 2 2021 The absent-minded passengers problem: a motivating challenge solved by computer algebra. Zbl 07465791 Schneider, Carsten 1 2021 Compositional properties of alignments. Zbl 07465793 Berkemer, Sarah J.; Höner zu Siederdissen, Christian; Stadler, Peter F. 1 2021 Self-paced, instructor-assisted approach to teaching linear algebra. Zbl 07465796 Solin, Pavel 1 2021 Factorials experiments, covering arrays, and combinatorial testing. Zbl 07465799 Kacker, Raghu N.; Kuhn, D. Richard; Lei, Yu; Simos, Dimitris E. 1 2021 On column-convex and convex Carlitz polyominoes. Zbl 07465808 Mansour, Toufik; Rastegar, Reza; Shabani, Armend Sh. 1 2021 Relative Gröbner and involutive bases for ideals in quotient rings. Zbl 1489.13044 Hashemi, Amir; Orth, Matthias; Seiler, Werner M. 1 2021 Creative telescoping on multiple sums. Zbl 1494.33017 Koutschan, Christoph; Wong, Elaine 1 2021 On a 2-orthogonal polynomial sequence via quadratic decomposition. Zbl 1506.42035 Mesquita, Teresa Augusta 1 2021 Explicit formulae for integro-differential operational matrices. Zbl 1506.42034 Matos, José M. A.; Rodrigues, Maria João; Carrilho de Matos, João 1 2021 Degree upper bounds for involutive bases. Zbl 1491.13038 Hashemi, Amir; Parnian, Hossein; Seiler, Werner M. 1 2021 Clustering complex zeros of triangular systems of polynomials. Zbl 1492.65136 Imbach, Rémi; Pouget, Marc; Yap, Chee 1 2021 An algorithm for computing torsion differential forms associated with an isolated hypersurface singularity. Zbl 1476.14008 Tajima, Shinichi; Nabeshima, Katsusuke 1 2021 Efficient and secure delegation of exponentiation in general groups to a single malicious server. Zbl 1488.94083 Di Crescenzo, Giovanni; Khodjaeva, Matluba; Kahrobaei, Delaram; Shpilrain, Vladimir 8 2020 Solving first order autonomous algebraic ordinary differential equations by places. Zbl 1445.12003 Falkensteiner, Sebastian; Sendra, J. Rafael 5 2020 Coxeter triangulations have good quality. Zbl 1488.51006 Choudhary, Aruni; Kachanovich, Siargey; Wintraecken, Mathijs 4 2020 Exploring the isoptics of Fermat curves in the affine plane using DGS and CAS. Zbl 1474.53013 Dana-Picard, Thierry; Naiman, Aharon; Mozgawa, Witold; Cieślak, Waldemar 3 2020 Nori diagrams and persistent homology. Zbl 1464.18002 Manin, Yuri I.; Marcolli, Matilde 3 2020 Classification of simple modules of the Ore extension \(K[X][Y; f\frac{d}{dX}]\). Zbl 1462.16027 Bavula, V. V. 3 2020 Bar code: a visual representation for finite sets of terms and its applications. Zbl 1456.05182 Ceria, Michela 3 2020 Numerical software to compute Newton polytopes and tropical membership. Zbl 1474.14002 Brysiewicz, Taylor 3 2020 Calculation and properties of zonal polynomials. Zbl 1462.05350 Jiu, Lin; Koutschan, Christoph 3 2020 A different construction for some classes of quantum MDS codes. Zbl 1454.94130 Sarı, Mustafa; Kolotoğlu, Emre 2 2020 A symbolic dynamic geometry system using the analytical geometry method. Zbl 1474.68454 Todd, Philip 2 2020 Computing perturbations in the two-planetary three-body problem with masses varying non-isotropically at different rates. Zbl 1456.70025 Minglibayev, Mukhtar; Prokopenya, Alexander; Shomshekova, Saule 2 2020 Using a CAS/DGS to analyze computationally the configuration of planar bar linkage mechanisms based on partial Latin squares. Zbl 1455.05014 Falcón, Raúl M. 2 2020 An algorithm for computing Grothendieck local residues. II: General case. Zbl 1457.32006 Ohara, Katsuyoshi; Tajima, Shinichi 2 2020 Efficient safety enforcement for Maude programs via program specialization in the ÁTAME system. Zbl 1471.68051 Alpuente, M.; Ballis, D.; Sapiña, J. 2 2020 Modular techniques for noncommutative Gröbner bases. Zbl 1460.16053 Decker, Wolfram; Eder, Christian; Levandovskyy, Viktor; Tiwari, Sharwan K. 1 2020 On the extension of Adams-Bashforth-Moulton methods for numerical integration of delay differential equations and application to the Moon’s orbit. Zbl 07205388 Aksim, Dan; Pavlov, Dmitry 1 2020 Testing hyperbolicity of real polynomials. Zbl 1474.13052 Dey, Papri; Plaumann, Daniel 1 2020 A note on modified Hermite interpolation. Zbl 1481.65032 Kozera, R.; Wilkołazka, M. 1 2020 On the numerical analysis and visualisation of implicit ordinary differential equations. Zbl 1461.34017 Braun, Elishan; Seiler, Werner M.; Seiß, Matthias 1 2020 Quantum codes obtained from some constacyclic codes over a family of finite rings \(F_p+uF_p+vF_p\). Zbl 1455.81017 Dertli, Abdullah; Cengellenmis, Yasemin 1 2020 Self-dual codes over chain rings. Zbl 1456.94132 Eisenbarth, Simon; Nebe, Gabriele 1 2020 Computer algebra tales on Goppa codes and McEliece cryptography. Zbl 1456.94139 Sayols, Narcís; Xambó-Descamps, Sebastià 1 2020 A signature-based algorithm for computing Gröbner bases over principal ideal domains. Zbl 1454.13047 Francis, Maria; Verron, Thibaut 1 2020 DiscreteZOO: a fingerprint database of discrete objects. Zbl 1474.68457 Berčič, Katja; Vidali, Janoš 1 2020 Using machine learning to improve cylindrical algebraic decomposition. Zbl 1474.68464 Huang, Zongyan; England, Matthew; Wilson, David J.; Bridge, James; Davenport, James H.; Paulson, Lawrence C. 10 2019 A modified Hermite interpolation with exponential parameterization. Zbl 1474.65030 Kozera, R.; Wilkołazka, M. 5 2019 Hamiltonian dynamical systems: symbolical, numerical and graphical study. Zbl 1488.70002 Takato, Setsuo; Vallejo, José A. 4 2019 A physics perspective on the resistance distance for graphs. Zbl 1474.94102 Kagan, Mikhail; Mata, Brian 3 2019 Solving parametric ideal membership problems and computing integral numbers in a ring of convergent power series via comprehensive Gröbner systems. Zbl 1474.13057 Nabeshima, Katsusuke; Tajima, Shinichi 3 2019 An algorithm for computing Grothendieck local residues. I: Shape basis case. Zbl 1474.32015 Ohara, Katsuyoshi; Tajima, Shinichi 3 2019 Modelling Atwood’s machine with three degrees of freedom. Zbl 1459.70043 Prokopenya, Alexander N. 3 2019 Locus computation in dynamic geometry environment. Zbl 1474.97015 Blažek, Jiří; Pech, Pavel 2 2019 Minimal height companion matrices for Euclid polynomials. Zbl 1474.11069 Chan, E. Y. S.; Corless, R. M. 2 2019 On multivariate Hermitian quadratic forms. Zbl 07095829 Fukasaku, Ryoya; Iwane, Hidenao; Sato, Yosuke 2 2019 Permutation patterns and cell decompositions. Zbl 1462.05023 Mansour, Toufik; Schork, Matthias 2 2019 An implementation of the Lê-Teissier method for computing local Euler obstructions. Zbl 1474.32048 Tajima, Shinichi; Nabeshima, Katsusuke 2 2019 Some reflections about the success and impact of the computer algebra system DERIVE with a 10-year time perspective. Zbl 1493.68403 Roanes-Lozano, Eugenio; Galán-García, Jose Luis; Solano-Macías, Carmen 2 2019 Fractal topological analysis for 2D binary digital images. Zbl 1464.68428 Blanco-Trejo, S.; Alemán-Morillo, C.; Díaz-del-Río, F.; Real, P. 1 2019 Divisive cover. Zbl 1469.55004 Blaser, Nello; Brun, Morten 1 2019 On the usage of different coordinate systems for 3D plots of functions of two real variables. Zbl 1499.26041 Zeitoun, David G.; Dana-Picard, Thierry 1 2019 Half-explicit exponential Runge-Kutta methods for index-1 DAEs in helicopter simulation. Zbl 1474.65260 Kohlwey, Elena; Röhrig-Zöllner, Melven 1 2019 On convex functions with complex order through bounded boundary rotation. Zbl 1474.30054 Aydoğan, S. Melike; Sakar, F. Müge 1 2019 An algebraic approach to DC railway electrification verification. Zbl 1474.90497 Roanes-Lozano, Eugenio; González-Martín, Rubén; Montero, Javier 1 2019 Approximate polynomial GCD by approximate syzygies. Zbl 1474.13053 Lichtblau, Daniel 1 2019 Optimal symmetry breaking for graph problems. Zbl 1474.68225 Heule, Marijn J. H. 1 2019 Descriptive proximities: properties and interplay between classical proximities and overlap. Zbl 1403.54017 Di Concilio, A.; Guadagni, C.; Peters, J. F.; Ramanna, S. 13 2018 Analysis and optimal control of an intracellular delayed HIV model with CTL immune response. Zbl 1403.34057 Allali, Karam; Harroudi, Sanaa; Torres, Delfim F. M. 13 2018 Persistent topology of syntax. Zbl 1417.91428 Port, Alexander; Gheorghita, Iulia; Guth, Daniel; Clark, John M.; Liang, Crystal; Dasu, Shival; Marcolli, Matilde 10 2018 Sixty years of network reliability. Zbl 1432.68045 Pérez-Rosés, Hebert 8 2018 Usage of modular techniques for efficient computation of ideal operations. Zbl 1402.13026 Noro, Masayuki; Yokoyama, Kazuhiro 5 2018 An efficient design and implementation of the in-parameter-order algorithm. Zbl 1398.05046 Kleine, Kristoffer; Simos, Dimitris E. 5 2018 Robust Hadamard matrices, unistochastic rays in Birkhoff polytope and equi-entangled bases in composite spaces. Zbl 1444.05033 Rajchel, Grzegorz; Gąsiorowski, Adam; Życzkowski, Karol 4 2018 Goethals-Seidel difference families with symmetric or skew base blocks. Zbl 1444.05028 Đoković, Dragomir Ž.; Kotsireas, Ilias S. 3 2018 On a combinatorial framework for fault characterization. Zbl 1433.68268 Colbourn, Charles J.; Syrotiuk, Violet R. 3 2018 PageRank computation with MAAOR and lumping methods. Zbl 1453.65077 Mendes, I. R.; Vasconcelos, P. B. 2 2018 Solving differential and integral equations with tau method. Zbl 1402.65078 Matos, J. C.; Matos, J. M. A.; Rodrigues, M. J. 2 2018 Non-existence of some nearly perfect sequences, near Butson-Hadamard matrices, and near conference matrices. Zbl 1419.94029 Winterhof, Arne; Yayla, Oğuz; Ziegler, Volker 2 2018 Antimagic labeling of the lexicographic product graph \(K_{m,n}[P_k]\). Zbl 1402.05185 Lu, Yingyu; Dong, Guanghua; Ma, Wenhui; Wang, Ning 1 2018 A new one-parameter invariant function for algebras. Zbl 1451.17004 Escobar, J. M.; Núñez, J.; Pérez-Fernández, P. 1 2018 ...and 273 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 2,196 Authors 18 Kaliszyk, Cezary 17 Sturm, Thomas 14 Davenport, James Harold 14 Urban, Josef 13 England, Matthew 13 Kohlhase, Michael 13 Nabeshima, Katsusuke 12 Marcolli, Matilde 11 Tajima, Shinichi 10 Hellmuth, Marc 10 Pal, Madhumangal 10 Sendra, Juan Rafael 10 Wang, Dongming 9 Akram, Muhammad 9 Arockiaraj, Micheal 9 Peters, James Francis III 9 Prokopenya, Alexander N. 8 Lemaire, François 8 Niu, Wei 8 Ozturk, Mehmet Ali 8 Paulson, Lawrence Charles 8 Rabe, Florian 8 Seiler, Werner M. 8 Tahar, Sofiène 8 Torres, Delfim Fernando Marado 7 Aladova, Elena V. 7 Bavula, Vladimir V. 7 Boissonnat, Jean-Daniel 7 Boulier, François 7 Corless, Robert Malcolm 7 D’Angelo, Gianlorenzo 7 Finkel, Olivier 7 Li, Dongmei 7 Liu, Jinwang 7 Rauh, Andreas 7 Safey El Din, Mohab 7 Smyth, William F. 7 Uchizawa, Kei 7 Weber, Andreas Günter 7 Yau, Shing-Tung 6 Abraham, Jessie 6 Aschemann, Harald 6 Blanchette, Jasmin Christian 6 Cheviakov, Alexei F. 6 D’Emidio, Mattia 6 Frigioni, Daniele 6 Guo, Li 6 Inenaga, Shunsuke 6 Mou, Chenqi 6 Ogihara, Mitsunori 6 Plavka, Ján 6 Sagraloff, Michael 6 Shalini, Arul Jeya 6 Winkler, Franz 6 Wintraecken, Mathijs Hubertus Maria Johannes 6 Yueh, Mei-Heng 5 Borumand Saeid, Arsham 5 Bostan, Alin 5 Falkensteiner, Sebastian 5 Huang, Bo 5 İnan, Ebubekir 5 Jo, Seungbum 5 Kartal, Senol 5 Koutschan, Christoph 5 Lin, Wen-Wei 5 Manin, Yuriĭ Ivanovich 5 Mansour, Toufik 5 Minglibayev, Mukhtar Zh. 5 Ostermeier, Lydia 5 Pal, Anita 5 Plotkin, Tatjana L. 5 Quadrat, Alban 5 Radulescu, Ovidiu 5 Sacerdoti Coen, Claudio 5 Satti, Srinivasa Rao 5 Siddique, Umair 5 Simos, Dimitris E. 5 Stadler, Peter F. 5 Subramanian, Kumbakonam Govindarajan 5 Tiskin, Alexandre 5 Uçkun, Mustafa 5 van der Hoeven, Joris 5 Wang, Dingkang 5 Weidenbach, Christoph 5 Xia, Bican 4 Bannai, Hideo 4 Bentkamp, Alexander 4 Blum, Christian 4 Bortolussi, Luca 4 Bozkurt, Fatma 4 Bradford, Russell J. 4 Ceria, Michela 4 Cheng, Jinsan 4 Cluzeau, Thomas 4 Cohen, Cyril 4 Crochemore, Maxime 4 De Agostino, Sergio 4 Emiris, Ioannis Z. 4 Gauthier, Thibault 4 Gürcan, Fuat ...and 2,096 more Authors all top 5 Cited in 336 Journals 117 Mathematics in Computer Science 81 Journal of Symbolic Computation 38 Theoretical Computer Science 31 Journal of Automated Reasoning 19 Journal of Systems Science and Complexity 16 Designs, Codes and Cryptography 14 Journal of Computational and Applied Mathematics 13 Journal of Algebra 13 Algorithmica 12 Discrete Applied Mathematics 11 Applied Mathematics and Computation 11 Applicable Algebra in Engineering, Communication and Computing 11 Journal of Discrete Algorithms 10 Chaos, Solitons and Fractals 9 Discrete Mathematics 8 Journal of Mathematical Physics 8 Programming and Computer Software 8 ACM Journal of Experimental Algorithmics 7 Advances in Applied Mathematics 7 Computer Aided Geometric Design 7 Journal of Applied Mathematics and Computing 7 Discrete Mathematics, Algorithms and Applications 7 \(p\)-Adic Numbers, Ultrametric Analysis, and Applications 6 Communications in Algebra 6 Information Processing Letters 6 Mathematics of Computation 6 Bulletin of Mathematical Biology 6 Automatica 6 Discrete & Computational Geometry 6 Linear Algebra and its Applications 6 International Journal of Bifurcation and Chaos in Applied Sciences and Engineering 6 Discrete Dynamics in Nature and Society 6 Communications in Nonlinear Science and Numerical Simulation 6 AKCE International Journal of Graphs and Combinatorics 6 Afrika Matematika 6 Electronic Journal of Graph Theory and Applications 5 Journal of Mathematical Analysis and Applications 5 European Journal of Combinatorics 5 Information and Computation 5 Journal of Scientific Computing 5 Numerical Algorithms 5 The Australasian Journal of Combinatorics 5 Computational and Applied Mathematics 5 Advances in Applied Clifford Algebras 5 Communications de la Faculté des Sciences de l’Université d’Ankara. Séries A1. Mathematics and Statistics 5 Lobachevskii Journal of Mathematics 5 Mathematical Biosciences and Engineering 5 Open Mathematics 4 Mathematical Methods in the Applied Sciences 4 Journal of Pure and Applied Algebra 4 Applied Numerical Mathematics 4 Experimental Mathematics 4 The Electronic Journal of Combinatorics 4 Annals of Mathematics and Artificial Intelligence 4 Doklady Mathematics 4 Theory of Computing Systems 4 Soft Computing 4 Fractional Calculus & Applied Analysis 4 Journal of Discrete Mathematical Sciences & Cryptography 4 Bulletin of the Malaysian Mathematical Sciences Society. Second Series 4 Advances in Difference Equations 4 Advances in Mathematics of Communications 4 Logical Methods in Computer Science 4 SIAM Journal on Imaging Sciences 4 Discrete and Continuous Dynamical Systems. Series S 4 Algorithms 4 Cryptography and Communications 4 SIAM Journal on Applied Algebra and Geometry 4 Journal of Applied and Computational Topology 4 Prikladnaya Diskretnaya Matematika 3 Computers & Mathematics with Applications 3 Linear and Multilinear Algebra 3 Advances in Mathematics 3 Fuzzy Sets and Systems 3 Information Sciences 3 Mathematische Zeitschrift 3 Networks 3 Proceedings of the London Mathematical Society. Third Series 3 Journal of Complexity 3 Computers & Operations Research 3 Multidimensional Systems and Signal Processing 3 Random Structures & Algorithms 3 MSCS. Mathematical Structures in Computer Science 3 Journal of Algebraic Combinatorics 3 Journal of Mathematical Sciences (New York) 3 Complexity 3 International Transactions in Operational Research 3 Nonlinear Dynamics 3 Journal of Combinatorial Optimization 3 Advances in Geometry 3 Journal of Algebra and its Applications 3 Asian-European Journal of Mathematics 3 International Journal of Biomathematics 3 Journal of Theoretical Biology 3 AIMS Mathematics 2 Acta Informatica 2 International Journal of Control 2 Journal of Computational Physics 2 Journal of Mathematical Biology 2 Mathematical Notes ...and 236 more Journals all top 5 Cited in 59 Fields 583 Computer science (68-XX) 238 Combinatorics (05-XX) 153 Numerical analysis (65-XX) 152 Algebraic geometry (14-XX) 120 Commutative algebra (13-XX) 118 Biology and other natural sciences (92-XX) 92 Ordinary differential equations (34-XX) 77 Information and communication theory, circuits (94-XX) 76 Mathematical logic and foundations (03-XX) 62 Number theory (11-XX) 56 Dynamical systems and ergodic theory (37-XX) 52 Partial differential equations (35-XX) 50 Operations research, mathematical programming (90-XX) 49 Linear and multilinear algebra; matrix theory (15-XX) 46 Associative rings and algebras (16-XX) 40 Systems theory; control (93-XX) 34 Field theory and polynomials (12-XX) 33 Special functions (33-XX) 30 General topology (54-XX) 30 Quantum theory (81-XX) 25 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 23 Convex and discrete geometry (52-XX) 22 Order, lattices, ordered algebraic structures (06-XX) 22 Several complex variables and analytic spaces (32-XX) 22 Mechanics of particles and systems (70-XX) 21 Real functions (26-XX) 19 Geometry (51-XX) 19 Statistics (62-XX) 18 Probability theory and stochastic processes (60-XX) 17 Differential geometry (53-XX) 16 Operator theory (47-XX) 15 Difference and functional equations (39-XX) 15 Calculus of variations and optimal control; optimization (49-XX) 14 Approximations and expansions (41-XX) 14 Algebraic topology (55-XX) 12 Manifolds and cell complexes (57-XX) 11 Group theory and generalizations (20-XX) 10 Functions of a complex variable (30-XX) 9 Nonassociative rings and algebras (17-XX) 9 Harmonic analysis on Euclidean spaces (42-XX) 9 Integral equations (45-XX) 9 Mathematics education (97-XX) 8 General and overarching topics; collections (00-XX) 8 General algebraic systems (08-XX) 7 History and biography (01-XX) 7 Integral transforms, operational calculus (44-XX) 7 Global analysis, analysis on manifolds (58-XX) 7 Mechanics of deformable solids (74-XX) 7 Fluid mechanics (76-XX) 6 Optics, electromagnetic theory (78-XX) 6 Relativity and gravitational theory (83-XX) 5 Category theory; homological algebra (18-XX) 5 Measure and integration (28-XX) 5 Functional analysis (46-XX) 5 Statistical mechanics, structure of matter (82-XX) 2 Sequences, series, summability (40-XX) 2 Classical thermodynamics, heat transfer (80-XX) 1 Topological groups, Lie groups (22-XX) 1 Astronomy and astrophysics (85-XX) Citations by Year