Mathematics in Computer Science Short Title: Math. Comput. Sci. Publisher: Springer (Birkhäuser), Basel ISSN: 1661-8270; 1661-8289/e Online: http://link.springer.com/journal/volumesAndIssues/11786 Comments: Indexed cover-to-cover Documents Indexed: 573 Publications (since 2007) References Indexed: 472 Publications with 11,969 References. all top 5 Latest Issues 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 10 Sturm, Thomas 9 Miller, Mirka 8 Dana-Picard, Thierry Noah 8 Seiler, Werner M. 8 Stadler, Peter F. 8 Wang, Dongming 7 Kotsireas, Ilias S. 6 Boulier, François 6 Davenport, James Harold 6 Levin, Alexander Borisovich 6 Li, Hongbo 6 Roanes-Lozano, Eugenio 6 Ryan, Joe 6 Tajima, Shinichi 5 Bača, Martin 5 England, Matthew 5 Hashemi, Amir 5 Hellmuth, Marc 5 Iliopoulos, Costas S. 5 Jaulin, Luc 5 Koutschan, Christoph 5 Mansour, Toufik 5 Nabeshima, Katsusuke 5 Prokopenya, Alexander N. 5 Rajasingh, Indra 5 Vasconcelos, Paulo Beleza 4 Anai, Hirokazu 4 Bavula, Vladimir V. 4 Chen, Xiaoyu 4 Conceição, Ana C. 4 Jüttler, Bert 4 Koepf, Wolfram A. 4 Lemaire, François 4 Núñez-Valdés, Juan 4 Peters, James Francis III 4 Rahman, Mohammad Sohel 4 Rajan, Bharati 4 Sendra, Juan Rafael 3 Akram, Muhammad 3 Botana, Francisco 3 Corless, Robert Malcolm 3 El Kahoui, M’hammed 3 Escobar, José María 3 Galán-García, José Luis 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 Pérez-Fernández, Pedro 3 Phanalasy, Oudone 3 Port, Alexander 3 Puglisi, Simon J. 3 Quadras, Jasintha 3 Ramanna, Sheela 3 Robertz, Daniel 3 Rodrigues, José Alberto 3 Sadykov, Timur Mradovich 3 Siddiqui, Muhammad Kamran 3 Simos, Dimitris E. 3 Sit, William Yu 3 Suzuki, Masakazu 3 Torres, Delfim Fernando Marado 3 Urban, Josef 3 Wojas, Włodzimierz 3 Zhang, Lixian 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 da Rocha, Zélia 2 Daykin, Jacqueline W. 2 De Agostino, Sergio 2 Dertli, Abdullah 2 Di Concilio, Anna 2 Durcheva, Mariana 2 Emiris, Ioannis Z. 2 Falcón Ganfornina, Raúl Manuel 2 Falkensteiner, Sebastian 2 Faugère, Jean-Charles 2 Fogel, Efi 2 Fukasaku, Ryoya 2 Gagie, Travis ...and 907 more Authors all top 5 Fields 281 Computer science (68-XX) 120 Combinatorics (05-XX) 86 Numerical analysis (65-XX) 58 Commutative algebra (13-XX) 40 Algebraic geometry (14-XX) 37 Information and communication theory, circuits (94-XX) 35 General and overarching topics; collections (00-XX) 30 Ordinary differential equations (34-XX) 30 Biology and other natural sciences (92-XX) 24 Mathematical logic and foundations (03-XX) 24 Number theory (11-XX) 23 Field theory and polynomials (12-XX) 19 Mathematics education (97-XX) 18 Operations research, mathematical programming (90-XX) 17 Dynamical systems and ergodic theory (37-XX) 16 Geometry (51-XX) 16 Mechanics of particles and systems (70-XX) 16 Systems theory; control (93-XX) 13 General topology (54-XX) 13 Statistics (62-XX) 12 Special functions (33-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 Real functions (26-XX) 9 Operator theory (47-XX) 8 History and biography (01-XX) 8 Functions of a complex variable (30-XX) 7 Calculus of variations and optimal control; optimization (49-XX) 6 Measure and integration (28-XX) 6 Several complex variables and analytic spaces (32-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) 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 Fluid mechanics (76-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 338 Publications have been cited 1,290 times in 1,113 Documents Cited by ▼ Year ▼ HOL(y)Hammer: online ATP service for HOL Light. Zbl 1322.68177Kaliszyk, Cezary; Urban, Josef 26 2015 A fast approach to creative telescoping. Zbl 1218.68205Koutschan, Christoph 26 2010 Testing sign conditions on a multivariate polynomial and applications. Zbl 1126.14068El Din, Mohab Safey 23 2007 Semi-local string comparison: algorithmic techniques and applications. Zbl 1158.68054Tiskin, Alexander 22 2008 Investigating algebraic and logical algorithms to solve Hopf bifurcation problems in algebraic biology. Zbl 1205.37062Sturm, Thomas; Weber, Andreas; Abdel-Rahman, Essam O.; El Kahoui, M’hammed 19 2009 Stability analysis for discrete biological models using algebraic methods. Zbl 1270.92023Li, Xiaoliang; Mou, Chenqi; Niu, Wei; Wang, Dongming 18 2011 Dynamics and optimal control of Ebola transmission. Zbl 1352.49042Rachah, Amira; Torres, Delfim F. M. 18 2016 Symbolic computation of local symmetries of nonlinear and linear partial and ordinary differential equations. Zbl 1218.68203Cheviakov, Alexei F. 17 2010 Coquelicot: a user-friendly library of real analysis for Coq. Zbl 1322.68176Boldo, Sylvie; Lelay, Catherine; Melquiond, Guillaume 16 2015 Computing numerically with functions instead of numbers. Zbl 1145.41302Trefethen, Lloyd N. 16 2007 Near sets: an introduction. Zbl 1266.54068Peters, James F. 16 2013 On the topology of real algebraic plane curves. Zbl 1205.14038Cheng, Jinsan; Lazard, Sylvain; Peñaranda, Luis; Pouget, Marc; Rouillier, Fabrice 16 2010 Serre’s reduction of linear functional systems. Zbl 1275.16003Boudellioua, M. S.; Quadrat, A. 15 2010 Algebraic approaches to stability analysis of biological systems. Zbl 1138.68668Niu, Wei; Wang, Dongming 15 2008 Lempel-Ziv factorization using less time & space. Zbl 1181.68315Chen, Gang; Puglisi, Simon J.; Smyth, W. F. 15 2008 The non-Archimedean theory of discrete systems. Zbl 1267.37006Anashin, Vladimir 14 2012 Analysis and optimal control of an intracellular delayed HIV model with CTL immune response. Zbl 1403.34057Allali, Karam; Harroudi, Sanaa; Torres, Delfim F. M. 13 2018 A new approach to pattern matching in degenerate DNA/RNA sequences and distributed pattern matching. Zbl 1160.68684Iliopoulos, Costas S.; Mouchard, Laurent; Rahman, M. Sohel 12 2008 Linear wirelength of folded hypercubes. Zbl 1254.05133Rajasingh, Indra; Arockiaraj, Micheal 12 2011 \(m\)-polar fuzzy labeling graphs with application. Zbl 1357.05127Akram, Muhammad; Adeel, Arooj 11 2016 Descriptive proximities: properties and interplay between classical proximities and overlap. Zbl 1403.54017Di Concilio, A.; Guadagni, C.; Peters, J. F.; Ramanna, S. 10 2018 Secure restrained domination in graphs. Zbl 1317.05141Roushini Leely Pushpam, P.; Suseendran, Chitra 10 2015 On effective analytic continuation. Zbl 1154.68574van der Hoeven, Joris 10 2007 Superposition as a decision procedure for timed automata. Zbl 1262.68159Fietzke, Arnaud; Weidenbach, Christoph 10 2012 Dichotomy results for fixed-point existence problems for Boolean dynamical systems. Zbl 1138.68034Kosub, Sven 10 2008 Wadge reducibility and infinite computations. Zbl 1157.03018Selivanov, Victor 10 2008 Error-correcting codes and phase transitions. Zbl 1278.94097Manin, Yuri I.; Marcolli, Matilde 10 2011 Using LaTEX as a semantic markup format. Zbl 1176.68230Kohlhase, Michael 10 2008 Tropicalization of classical moduli spaces. Zbl 1305.14031Ren, Qingchun; Sam, Steven V.; Sturmfels, Bernd 10 2014 A graph library for Isabelle. Zbl 1308.05055Noschinski, Lars 9 2015 A survey on hypergraph products. Zbl 1262.05110Hellmuth, Marc; Ostermeier, Lydia; Stadler, Peter F. 9 2012 Dynamic multi-level overlay graphs for shortest paths. Zbl 1158.68053Bruera, Francesco; Cicerone, Serafino; D’Angelo, Gianlorenzo; Di Stefano, Gabriele; Frigioni, Daniele 9 2008 Deriving behavior of Boolean bioregulatory networks from subnetwork dynamics. Zbl 1205.37097Siebert, Heike 9 2009 Cylindrical algebraic sub-decompositions. Zbl 1309.68232Wilson, D. J.; Bradford, R. J.; Davenport, J. H.; England, M. 9 2014 Persistent topology of syntax. Zbl 1417.91428Port, Alexander; Gheorghita, Iulia; Guth, Daniel; Clark, John M.; Liang, Crystal; Dasu, Shival; Marcolli, Matilde 8 2018 Some types of filters in BE-algebras. Zbl 1305.06019Borumand Saeid, Arsham; Rezaei, Akbar; Borzooei, Rajab Ali 8 2013 Isotypeness of models and knowledge bases equivalence. Zbl 1319.68213Aladova, Elena; Plotkin, Eugene; Plotkin, Tatjana 8 2013 Local near sets: pattern discovery in proximity spaces. Zbl 1400.54040Peters, James F. 8 2013 Cryptanalysis of two McEliece cryptosystems based on quasi-cyclic codes. Zbl 1205.94095Otmani, Ayoub; Tillich, Jean-Pierre; Dallot, Léonard 8 2010 The simplified Tikhonov regularization method for solving a Riesz-Feller space-fractional backward diffusion problem. Zbl 06751953Yang, Fan; Li, Xiao-Xiao; Li, Dun-Gang; Wang, Lan 8 2017 Efficient and secure delegation of exponentiation in general groups to a single malicious server. Zbl 1488.94083Di Crescenzo, Giovanni; Khodjaeva, Matluba; Kahrobaei, Delaram; Shpilrain, Vladimir 8 2020 Using machine learning to improve cylindrical algebraic decomposition. Zbl 1474.68464Huang, Zongyan; England, Matthew; Wilson, David J.; Bridge, James; Davenport, James H.; Paulson, Lawrence C. 8 2019 ATP-based cross-verification of Mizar proofs: method, systems, and first experiments. Zbl 1178.68532Urban, Josef; Sutcliffe, Geoff 8 2008 Formal analysis of optical systems. Zbl 1302.68245Khan-Afshar, Sanaz; Siddique, Umair; Mahmoud, Mohamed Yousri; Aravantinos, Vincent; Seddiki, Ons; Hasan, Osman; Tahar, Sofiène 8 2014 Quiver generalized Weyl algebras, skew category algebras and diskew polynomial rings. Zbl 1381.16014Bavula, V. V. 7 2017 Structural properties of word representable graphs. Zbl 1344.68178Bera, Somnath; Mahalingam, Kalpana 7 2016 Pseudospectra of matrix polynomials that are expressed in alternative bases. Zbl 1136.15012Corless, Robert M.; Rezvani, Nargol; Amiraslani, Amirhossein 7 2007 A validated real function calculus. Zbl 1266.65074Collins, Pieter; Niqui, Milad; Revol, Nathalie 7 2011 Local algorithms for the prime factorization of strong product graphs. Zbl 1205.05222Hellmuth, Marc; Imrich, Wilfried; Klöckl, Werner; Stadler, Peter F. 7 2009 Fast, practical algorithms for computing all the repeats in a string. Zbl 1205.68496Puglisi, Simon J.; Smyth, W. F.; Yusufu, Munina 7 2010 Fundamentals of computational conformal geometry. Zbl 1229.53010Gu, David Xianfeng; Luo, Feng; Yau, Shing-Tung 7 2010 Triangulating smooth submanifolds with light scaffolding. Zbl 1229.68077Boissonnat, Jean-Daniel; Ghosh, Arijit 7 2010 Recycling proof patterns in Coq: case studies. Zbl 1302.68243Heras, Jónathan; Komendantskaya, Ekaterina 7 2014 Sliding mode techniques for robust trajectory tracking as well as state and parameter estimation. Zbl 1301.93041Senkel, Luise; Rauh, Andreas; Aschemann, Harald 7 2014 The construction of 3D conformal motions. Zbl 1341.65006Dorst, Leo 6 2016 A survey of some methods for real quantifier elimination, decision, and satisfiability and their applications. Zbl 1425.68380Sturm, Thomas 6 2017 Improved agreeing-gluing algorithm. Zbl 1343.94080Semaev, Igor 6 2013 \(L(2, 1)\)-labeling of permutation and bipartite permutation graphs. Zbl 1310.05204Paul, Satyabrata; Pal, Madhumangal; Pal, Anita 6 2015 Zero tests for constants in simple scientific computation. Zbl 1145.26001Richardson, Daniel 6 2007 Model reduction of chemical reaction systems using elimination. Zbl 1270.92025Boulier, François; Lefranc, Marc; Lemaire, François; Morant, Pierre-Emmanuel 6 2011 Automatically discovering relaxed Lyapunov functions for polynomial dynamical systems. Zbl 1261.93063Liu, Jiang; Zhan, Naijun; Zhao, Hengjun 6 2012 Unambiguous automata. Zbl 1158.68019Béal, Marie-Pierre; Czeizler, Eugen; Kari, Jarkko; Perrin, Dominique 6 2008 Computing the Newton polygon of the implicit equation. Zbl 1205.14040Emiris, Ioannis Z.; Konaxis, Christos; Palios, Leonidas 6 2010 On the connection between Ritt characteristic sets and Buchberger-Gröbner bases. Zbl 1388.13058Wang, Dongming 6 2016 All arbitrarily fixed generalized banana trees are graceful. Zbl 1254.05174Jesintha, J. Jeba; Sethuraman, G. 6 2011 Optimal eighth order iterative methods. Zbl 1256.65041Khattri, Sanjay Kumar 6 2011 A math query language with an expanded set of wildcards. Zbl 1176.68053Altamimi, Moody Ebrahem; Youssef, Abdou 6 2008 On the discriminant scheme of homogeneous polynomials. Zbl 1302.13028Busé, Laurent; Jouanolou, Jean-Pierre 6 2014 Newton polytopes and witness sets. Zbl 1304.14077Hauenstein, Jonathan D.; Sottile, Frank 6 2014 On total edge irregularity strength of generalized web graphs and related graphs. Zbl 1317.05171Indriati, Diari; Widodo; Wijayanti, Indah E.; Sugeng, Kiki A.; Bača, Martin 5 2015 Partial star products: a local covering approach for the recognition of approximate Cartesian product graphs. Zbl 1319.68157Hellmuth, Marc; Imrich, Wilfried; Kupka, Tomas 5 2013 Parametric factorizations of second-, third- and fourth-order linear partial differential operators with a completely factorable symbol on the plane. Zbl 1142.47026Shemyakova, Ekaterina 5 2007 Constructive \(D\)-module theory with Singular. Zbl 1217.13011Andres, Daniel; Brickenstein, Michael; Levandovskyy, Viktor; Martín-Morales, Jorge; Schönemann, Hans 5 2010 \( m\)-fold hypergeometric solutions of linear recurrence equations revisited. Zbl 1262.68190Horn, Peter; Koepf, Wolfram; Sprenger, Torsten 5 2012 Truncation formulas for invariant polynomials of matroids and geometric lattices. Zbl 1262.05019Jurrius, Relinde; Pellikaan, Ruud 5 2012 TASS: the toolkit for accurate scientific software. Zbl 1264.68113Siegel, Stephen F.; Zirkel, Timothy K. 5 2011 Wadge degrees of infinitary rational relations. Zbl 1157.03017Finkel, Olivier 5 2008 Stability of disease free equilibria in epidemiological models. Zbl 1205.34054El Kahoui, M’hammed; Otto, Adamou 5 2009 Redundant \(\tau \)-adic expansions. II: Non-optimality and chaotic behaviour. Zbl 1205.11014Heuberger, Clemens 5 2010 Optimising Gröbner bases on Bivium. Zbl 1205.94081Eibach, Tobias; Völkel, Gunnar; Pilz, Enrico 5 2010 The Newton polygon of a rational plane curve. Zbl 1205.14039D’Andrea, Carlos; Sombra, Martín 5 2010 On representations of ternary order relations in numeric strings. Zbl 1369.68364Kim, Jinil; Amir, Amihood; Na, Joong Chae; Park, Kunsoo; Sim, Jeong Seop 5 2017 Engineering a lightweight external memory suffix array construction algorithm. Zbl 1377.68328Kärkkäinen, Juha; Kempa, Dominik 5 2017 A modified Hermite interpolation with exponential parameterization. Zbl 1474.65030Kozera, R.; Wilkołazka, M. 5 2019 Graceful labelling: state of the art, applications and future directions. Zbl 1254.05169Brankovic, Ljiljana; Wanless, Ian M. 5 2011 Spurious disambiguation errors and how to get rid of them. Zbl 1176.68221Sacerdoti Coen, Claudio; Zacchiroli, Stefano 5 2008 Interval methods for real-time capable robust control of solid oxide fuel cell systems. Zbl 1302.65120Rauh, Andreas; Senkel, Luise; Auer, Ekaterina; Aschemann, Harald 5 2014 On the unavoidable uncertainty of truth in dynamic geometry proving. Zbl 1357.68197Botana, Francisco; Recio, Tomas 4 2016 An efficient design and implementation of the in-parameter-order algorithm. Zbl 1398.05046Kleine, Kristoffer; Simos, Dimitris E. 4 2018 Motion of a swinging Atwood’s machine: simulation and analysis with Mathematica. Zbl 1416.70015Prokopenya, Alexander N. 4 2017 Berge-Fulkerson conjecture on certain snarks. Zbl 1317.05153Manuel, Paul; Shanthi, A. S. 4 2015 Intuitionistic fuzzy soft \(K\)-algebras. Zbl 1311.06017Akram, Muhammad; Davvaz, Bijan; Feng, Feng 4 2013 Approximate radical for clusters: A global approach using Gaussian elimination or SVD. Zbl 1140.65038Janovitz-Freireich, Itnuit; Rónyai, Lajos; Szántó, Ágnes 4 2007 Enumeration and generating functions of Rota-Baxter words. Zbl 1218.16030Guo, Li; Sit, William Y. 4 2010 Signature-based perceptual nearness: application of near sets to image retrieval. Zbl 1262.68176Henry, Christopher J.; Ramanna, Sheela 4 2013 The conditional covering problem on unweighted interval graphs with nonuniform coverage radius. Zbl 1262.05146Rana, Akul; Pal, Anita; Pal, Madhumangal 4 2012 Relations between Möbius and coboundary polynomials. Zbl 1262.05018Jurrius, Relinde 4 2012 On Brylawski’s generalized duality. Zbl 1262.05017Gordon, Gary 4 2012 Rational general solutions of trivariate rational differential systems. Zbl 1277.68302Huang, Yanli; Ngô, Lâm Xuân Châu; Winkler, Franz 4 2012 Superposition decides the first-order logic fragment over ground theories. Zbl 1262.68160Kruglov, Evgeny; Weidenbach, Christoph 4 2012 A time-splitting tau method for PDE’s: a contribution for the spectral Tau Toolbox library. Zbl 07538974Lima, N.; Matos, J. A. O.; Matos, J. M. A.; Vasconcelos, P. B. 1 2022 Localizations of a ring at localizable sets, their groups of units and saturations. Zbl 07557142Bavula, V. V. 1 2022 Algebraic, rational and Puiseux series solutions of systems of autonomous algebraic ODEs of dimension one. Zbl 1500.34075Cano, José; Falkensteiner, Sebastian; Sendra, J. Rafael 4 2021 Efficiently and effectively recognizing toricity of steady state varieties. Zbl 1495.14095Grigoriev, Dima; Iosif, Alexandru; Rahkooy, Hamid; Sturm, Thomas; Weber, Andreas 4 2021 Testing zero-dimensionality of varieties at a point. Zbl 1492.13037Nabeshima, Katsusuke; Tajima, Shinichi 3 2021 Symbolic computations of the equilibrium orientations of a system of two connected bodies moving on a circular orbit around the Earth. Zbl 07433041Gutnik, Sergey A.; Sarychev, Vasily A. 2 2021 Algorithmic reduction of biological networks with multiple time scales. Zbl 1484.13058Kruff, Niclas; Lüders, Christoph; Radulescu, Ovidiu; Sturm, Thomas; Walcher, Sebastian 2 2021 High-order methods for systems of fractional ordinary differential equations and their application to time-fractional diffusion equations. Zbl 07465789Ferrás, Luís L.; Ford, Neville; Morgado, Maria Luísa; Rebelo, Magda 2 2021 Counting lattice points on bargraphs of Catalan words. Zbl 07465798Mansour, Toufik; Ramírez, José L.; Toquica, Diana A. 2 2021 Global stability of a Caputo fractional SIRS model with general incidence rate. Zbl 1492.92114Sidi Ammi, Moulay Rchid; Tahiri, Mostafa; Torres, Delfim F. M. 2 2021 Estimating the employment band of inaction with multiple breaks due to labor market reforms. Zbl 1493.62617Mota, P. R.; Vasconcelos, P. B. 2 2021 On the \({H}^1\) conforming virtual element method for time dependent Stokes equation. Zbl 1490.65187Adak, Dibyendu; Natarajan, Sundararajan 2 2021 Tropical differential Gröbner bases. Zbl 1482.14066Hu, Youren; Gao, Xiao-Shan 2 2021 A logic based approach to finding real singularities of implicit ordinary differential equations. Zbl 1500.34015Seiler, Werner M.; Seiß, Matthias; Sturm, Thomas 2 2021 Creative telescoping on multiple sums. Zbl 1494.33017Koutschan, Christoph; Wong, Elaine 1 2021 Compositional properties of alignments. Zbl 07465793Berkemer, Sarah J.; Höner zu Siederdissen, Christian; Stadler, Peter F. 1 2021 Heat kernel analysis of syntactic structures. Zbl 07465795Ortegaray, Andrew; Berwick, Robert C.; Marcolli, Matilde 1 2021 Phylogenetics of Indo-European language families via an algebro-geometric analysis of their syntactic structures. Zbl 07465805Shu, Kevin; Ortegaray, Andrew; Berwick, Robert C.; Marcolli, Matilde 1 2021 On column-convex and convex Carlitz polyominoes. Zbl 07465808Mansour, Toufik; Rastegar, Reza; Shabani, Armend Sh. 1 2021 On a 2-orthogonal polynomial sequence via quadratic decomposition. Zbl 1506.42035Mesquita, Teresa Augusta 1 2021 Synchronization and self-organization in complex networks for a tuberculosis model. Zbl 1500.34044Silva, Cristiana J.; Cantin, Guillaume 1 2021 Degree upper bounds for involutive bases. Zbl 1491.13038Hashemi, Amir; Parnian, Hossein; Seiler, Werner M. 1 2021 An algorithm for computing torsion differential forms associated with an isolated hypersurface singularity. Zbl 1476.14008Tajima, Shinichi; Nabeshima, Katsusuke 1 2021 Efficient and secure delegation of exponentiation in general groups to a single malicious server. Zbl 1488.94083Di Crescenzo, Giovanni; Khodjaeva, Matluba; Kahrobaei, Delaram; Shpilrain, Vladimir 8 2020 Solving first order autonomous algebraic ordinary differential equations by places. Zbl 1445.12003Falkensteiner, Sebastian; Sendra, J. Rafael 4 2020 Coxeter triangulations have good quality. Zbl 1488.51006Choudhary, Aruni; Kachanovich, Siargey; Wintraecken, Mathijs 4 2020 Classification of simple modules of the Ore extension \(K[X][Y; f\frac{d}{dX}]\). Zbl 1462.16027Bavula, V. V. 3 2020 Calculation and properties of zonal polynomials. Zbl 1462.05350Jiu, Lin; Koutschan, Christoph 3 2020 Exploring the isoptics of Fermat curves in the affine plane using DGS and CAS. Zbl 1474.53013Dana-Picard, Thierry; Naiman, Aharon; Mozgawa, Witold; Cieślak, Waldemar 3 2020 An algorithm for computing Grothendieck local residues. II: General case. Zbl 1457.32006Ohara, Katsuyoshi; Tajima, Shinichi 2 2020 Numerical software to compute Newton polytopes and tropical membership. Zbl 1474.14002Brysiewicz, Taylor 2 2020 Nori diagrams and persistent homology. Zbl 1464.18002Manin, Yuri I.; Marcolli, Matilde 2 2020 A note on modified Hermite interpolation. Zbl 1481.65032Kozera, R.; Wilkołazka, M. 1 2020 On the numerical analysis and visualisation of implicit ordinary differential equations. Zbl 1461.34017Braun, Elishan; Seiler, Werner M.; Seiß, Matthias 1 2020 Using a CAS/DGS to analyze computationally the configuration of planar bar linkage mechanisms based on partial Latin squares. Zbl 1455.05014Falcón, Raúl M. 1 2020 Quantum codes obtained from some constacyclic codes over a family of finite rings \(F_p+uF_p+vF_p\). Zbl 1455.81017Dertli, Abdullah; Cengellenmis, Yasemin 1 2020 Self-dual codes over chain rings. Zbl 1456.94132Eisenbarth, Simon; Nebe, Gabriele 1 2020 Bar code: a visual representation for finite sets of terms and its applications. Zbl 1456.05182Ceria, Michela 1 2020 Efficient safety enforcement for Maude programs via program specialization in the ÁTAME system. Zbl 1471.68051Alpuente, M.; Ballis, D.; Sapiña, J. 1 2020 Modular techniques for noncommutative Gröbner bases. Zbl 1460.16053Decker, Wolfram; Eder, Christian; Levandovskyy, Viktor; Tiwari, Sharwan K. 1 2020 A different construction for some classes of quantum MDS codes. Zbl 1454.94130Sarı, Mustafa; Kolotoğlu, Emre 1 2020 Testing hyperbolicity of real polynomials. Zbl 1474.13052Dey, Papri; Plaumann, Daniel 1 2020 Using machine learning to improve cylindrical algebraic decomposition. Zbl 1474.68464Huang, Zongyan; England, Matthew; Wilson, David J.; Bridge, James; Davenport, James H.; Paulson, Lawrence C. 8 2019 A modified Hermite interpolation with exponential parameterization. Zbl 1474.65030Kozera, R.; Wilkołazka, M. 5 2019 Hamiltonian dynamical systems: symbolical, numerical and graphical study. Zbl 1488.70002Takato, Setsuo; Vallejo, José A. 4 2019 An algorithm for computing Grothendieck local residues. I: Shape basis case. Zbl 1474.32015Ohara, Katsuyoshi; Tajima, Shinichi 3 2019 Modelling Atwood’s machine with three degrees of freedom. Zbl 1459.70043Prokopenya, Alexander N. 3 2019 Locus computation in dynamic geometry environment. Zbl 1474.97015Blažek, Jiří; Pech, Pavel 2 2019 A physics perspective on the resistance distance for graphs. Zbl 1474.94102Kagan, Mikhail; Mata, Brian 2 2019 Solving parametric ideal membership problems and computing integral numbers in a ring of convergent power series via comprehensive Gröbner systems. Zbl 1474.13057Nabeshima, Katsusuke; Tajima, Shinichi 2 2019 An implementation of the Lê-Teissier method for computing local Euler obstructions. Zbl 1474.32048Tajima, Shinichi; Nabeshima, Katsusuke 2 2019 On convex functions with complex order through bounded boundary rotation. Zbl 1474.30054Aydoğan, S. Melike; Sakar, F. Müge 2 2019 Optimal symmetry breaking for graph problems. Zbl 1474.68225Heule, Marijn J. H. 1 2019 Divisive cover. Zbl 1469.55004Blaser, Nello; Brun, Morten 1 2019 Minimal height companion matrices for Euclid polynomials. Zbl 1474.11069Chan, E. Y. S.; Corless, R. M. 1 2019 On multivariate Hermitian quadratic forms. Zbl 07095829Fukasaku, Ryoya; Iwane, Hidenao; Sato, Yosuke 1 2019 Permutation patterns and cell decompositions. Zbl 1462.05023Mansour, Toufik; Schork, Matthias 1 2019 On the usage of different coordinate systems for 3D plots of functions of two real variables. Zbl 1499.26041Zeitoun, David G.; Dana-Picard, Thierry 1 2019 Half-explicit exponential Runge-Kutta methods for index-1 DAEs in helicopter simulation. Zbl 1474.65260Kohlwey, Elena; Röhrig-Zöllner, Melven 1 2019 An algebraic approach to DC railway electrification verification. Zbl 1474.90497Roanes-Lozano, Eugenio; González-Martín, Rubén; Montero, Javier 1 2019 Analysis and optimal control of an intracellular delayed HIV model with CTL immune response. Zbl 1403.34057Allali, Karam; Harroudi, Sanaa; Torres, Delfim F. M. 13 2018 Descriptive proximities: properties and interplay between classical proximities and overlap. Zbl 1403.54017Di Concilio, A.; Guadagni, C.; Peters, J. F.; Ramanna, S. 10 2018 Persistent topology of syntax. Zbl 1417.91428Port, Alexander; Gheorghita, Iulia; Guth, Daniel; Clark, John M.; Liang, Crystal; Dasu, Shival; Marcolli, Matilde 8 2018 An efficient design and implementation of the in-parameter-order algorithm. Zbl 1398.05046Kleine, Kristoffer; Simos, Dimitris E. 4 2018 Usage of modular techniques for efficient computation of ideal operations. Zbl 1402.13026Noro, Masayuki; Yokoyama, Kazuhiro 3 2018 Sixty years of network reliability. Zbl 1432.68045Pérez-Rosés, Hebert 3 2018 Goethals-Seidel difference families with symmetric or skew base blocks. Zbl 1444.05028Đoković, Dragomir Ž.; Kotsireas, Ilias S. 3 2018 Robust Hadamard matrices, unistochastic rays in Birkhoff polytope and equi-entangled bases in composite spaces. Zbl 1444.05033Rajchel, Grzegorz; Gąsiorowski, Adam; Życzkowski, Karol 3 2018 PageRank computation with MAAOR and lumping methods. Zbl 1453.65077Mendes, I. R.; Vasconcelos, P. B. 2 2018 Solving differential and integral equations with tau method. Zbl 1402.65078Matos, J. C.; Matos, J. M. A.; Rodrigues, M. J. 2 2018 On a combinatorial framework for fault characterization. Zbl 1433.68268Colbourn, Charles J.; Syrotiuk, Violet R. 2 2018 Non-existence of some nearly perfect sequences, near Butson-Hadamard matrices, and near conference matrices. Zbl 1419.94029Winterhof, Arne; Yayla, Oğuz; Ziegler, Volker 2 2018 Antimagic labeling of the lexicographic product graph \(K_{m,n}[P_k]\). Zbl 1402.05185Lu, Yingyu; Dong, Guanghua; Ma, Wenhui; Wang, Ning 1 2018 A new one-parameter invariant function for algebras. Zbl 1451.17004Escobar, J. M.; Núñez, J.; Pérez-Fernández, P. 1 2018 Symbolic approach to the general quadratic polynomial decomposition. Zbl 1402.33014Macedo, Ângela; Mesquita, Teresa A.; da Rocha, Zélia 1 2018 Mixed precision bisection. Zbl 1402.65027Ralha, Rui 1 2018 Dealing with functional coefficients within tau method. Zbl 1416.65554Trindade, M.; Matos, J.; Vasconcelos, P. B. 1 2018 Partially local multi-way alignments. Zbl 1403.68377Retzlaff, Nancy; Stadler, Peter F. 1 2018 On the weak order ideal associated to linear codes. Zbl 1432.94163Borges-Quintana, Mijail; Borges-Trenard, Miguel Ángel; Martínez-Moro, Edgar 1 2018 Relative difference sets and Hadamard matrices from perfect quaternionic arrays. Zbl 1444.05027Barrera Acevedo, Santiago; Dietrich, Heiko 1 2018 Quasi-Hadamard full propelinear codes. Zbl 1419.94080Armario, José Andrés; Bailera, Iván; Borges, Joaquim; Rifà, Josep 1 2018 The simplified Tikhonov regularization method for solving a Riesz-Feller space-fractional backward diffusion problem. Zbl 06751953Yang, Fan; Li, Xiao-Xiao; Li, Dun-Gang; Wang, Lan 8 2017 Quiver generalized Weyl algebras, skew category algebras and diskew polynomial rings. Zbl 1381.16014Bavula, V. V. 7 2017 A survey of some methods for real quantifier elimination, decision, and satisfiability and their applications. Zbl 1425.68380Sturm, Thomas 6 2017 On representations of ternary order relations in numeric strings. Zbl 1369.68364Kim, Jinil; Amir, Amihood; Na, Joong Chae; Park, Kunsoo; Sim, Jeong Seop 5 2017 Engineering a lightweight external memory suffix array construction algorithm. Zbl 1377.68328Kärkkäinen, Juha; Kempa, Dominik 5 2017 Motion of a swinging Atwood’s machine: simulation and analysis with Mathematica. Zbl 1416.70015Prokopenya, Alexander N. 4 2017 Three-body problem with variable masses that change anisotropically at different rates. Zbl 1387.70010Minglibayev, M. Zh.; Prokopenya, A. N.; Mayemerova, G. M.; Imanova, Zh. U. 3 2017 Syntactic structures and code parameters. Zbl 1441.94116Shu, Kevin; Marcolli, Matilde 3 2017 Solving the minimum common string partition problem with the help of ants. Zbl 1409.68270Ferdous, S. M.; Rahman, M. Sohel 3 2017 What does “without loss of generality” mean, and how do we detect it. Zbl 1425.68464Davenport, James H. 2 2017 On a class of central configurations in the planar \(3n\)-body problem. Zbl 1427.70033Siluszyk, Agnieszka 2 2017 Design, concepts, and state of the art of the swMATH service. Zbl 1382.68320Chrapary, Hagen; Dalitz, Wolfgang; Neun, Winfried; Sperber, Wolfram 2 2017 Gröbner systems conversion. Zbl 1409.68344Hashemi, Amir; Dehghani Darmian, Mahdi; Barkhordar, Marzieh 2 2017 Palindromic subsequence automata and longest common palindromic subsequence. Zbl 1370.68172Hasan, Md. Mahbubul; Islam, A. S. M. Sohidull; Rahman, M. Sohel; Sen, Ayon 2 2017 Modeling of an asymptotically central Markov process on 3D Young graph. Zbl 1388.60132Duzhin, Vasilii; Vasilyev, Nikolay 1 2017 Branch structure and implementation of Lambert \(W\). Zbl 1425.68465Jeffrey, David J. 1 2017 Familiarizing students with definition of Lebesgue integral: examples of calculation directly from its definition using Mathematica. Zbl 1392.97003Wojas, Włodzimierz; Krupa, Jan 1 2017 Solving a binary puzzle. Zbl 1382.05012Utomo, Putranto H.; Makarim, Rusydi H. 1 2017 Approximating multidimensional subset sum and Minkowski decomposition of polygons. Zbl 1409.68330Emiris, Ioannis Z.; Karasoulou, Anna; Tzovas, Charilaos 1 2017 ...and 238 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 1,879 Authors 17 Kaliszyk, Cezary 15 Sturm, Thomas 13 Urban, Josef 12 England, Matthew 11 Davenport, James Harold 10 Hellmuth, Marc 10 Nabeshima, Katsusuke 9 Akram, Muhammad 9 Arockiaraj, Micheal 9 Kohlhase, Michael 9 Marcolli, Matilde 9 Pal, Madhumangal 9 Sendra, Juan Rafael 9 Tajima, Shinichi 7 Aladova, Elena V. 7 D’Angelo, Gianlorenzo 7 Peters, James Francis III 7 Prokopenya, Alexander N. 7 Rauh, Andreas 7 Smyth, William F. 7 Tahar, Sofiène 7 Wang, Dongming 6 Abraham, Jessie 6 Aschemann, Harald 6 Bavula, Vladimir V. 6 Blanchette, Jasmin Christian 6 Boissonnat, Jean-Daniel 6 Corless, Robert Malcolm 6 D’Emidio, Mattia 6 Finkel, Olivier 6 Frigioni, Daniele 6 Lemaire, François 6 Niu, Wei 6 Ozturk, Mehmet Ali 6 Paulson, Lawrence Charles 6 Plavka, Ján 6 Safey El Din, Mohab 6 Sagraloff, Michael 6 Seiler, Werner M. 6 Shalini, Arul Jeya 6 Torres, Delfim Fernando Marado 6 Yau, Shing-Tung 5 Boulier, François 5 Falkensteiner, Sebastian 5 Guo, Li 5 Inenaga, Shunsuke 5 Kartal, Senol 5 Mou, Chenqi 5 Ostermeier, Lydia 5 Pal, Anita 5 Plotkin, Tatjana L. 5 Quadrat, Alban 5 Rabe, Florian 5 Sacerdoti Coen, Claudio 5 Siddique, Umair 5 Stadler, Peter F. 5 Subramanian, Kumbakonam Govindarajan 5 Tiskin, Alexandre 5 van der Hoeven, Joris 5 Wang, Dingkang 5 Weber, Andreas Günter 5 Weidenbach, Christoph 5 Winkler, Franz 5 Wintraecken, Mathijs Hubertus Maria Johannes 5 Xia, Bican 4 Bentkamp, Alexander 4 Bortolussi, Luca 4 Bostan, Alin 4 Bozkurt, Fatma 4 Bradford, Russell J. 4 Cheng, Jinsan 4 Cheviakov, Alexei F. 4 Cluzeau, Thomas 4 Crochemore, Maxime 4 De Agostino, Sergio 4 Emiris, Ioannis Z. 4 Gauthier, Thibault 4 Gürcan, Fuat 4 Hauenstein, Jonathan D. 4 Huang, Bo 4 İnan, Ebubekir 4 Jin, Kai 4 Jo, Seungbum 4 Johnsen, Trygve 4 Kauers, Manuel 4 Koutschan, Christoph 4 Landau, Gad M. 4 Levandovskyy, Viktor 4 Li, Dongmei 4 Lin, Wen-Wei 4 Liu, Jinwang 4 Manin, Yuriĭ Ivanovich 4 Mansour, Toufik 4 Mathew, Lisa 4 Ogihara, Mitsunori 4 Pąk, Karol 4 Pushpam, P. Roushini Leely 4 Quadras, Jasintha 4 Robertz, Daniel 4 Romanovskiĭ, Valeriĭ Georgievich ...and 1,779 more Authors all top 5 Cited in 294 Journals 102 Mathematics in Computer Science 74 Journal of Symbolic Computation 36 Theoretical Computer Science 29 Journal of Automated Reasoning 17 Journal of Systems Science and Complexity 15 Designs, Codes and Cryptography 14 Journal of Computational and Applied Mathematics 12 Discrete Applied Mathematics 12 Algorithmica 11 Journal of Discrete Algorithms 10 Chaos, Solitons and Fractals 10 Applied Mathematics and Computation 10 Journal of Algebra 9 Discrete Mathematics 8 Programming and Computer Software 8 Applicable Algebra in Engineering, Communication and Computing 7 Journal of Mathematical Physics 7 Journal of Applied Mathematics and Computing 7 ACM Journal of Experimental Algorithmics 6 Mathematics of Computation 6 Bulletin of Mathematical Biology 6 Computer Aided Geometric Design 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 5 Information Processing Letters 5 Journal of Mathematical Analysis and Applications 5 Automatica 5 European Journal of Combinatorics 5 Advances in Applied Mathematics 5 Information and Computation 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 Communications in Nonlinear Science and Numerical Simulation 5 AKCE International Journal of Graphs and Combinatorics 5 Mathematical Biosciences and Engineering 5 Discrete Mathematics, Algorithms and Applications 5 \(p\)-Adic Numbers, Ultrametric Analysis, and Applications 5 Electronic Journal of Graph Theory and Applications 5 Open Mathematics 4 Journal of Pure and Applied Algebra 4 Applied Numerical Mathematics 4 Journal of Scientific Computing 4 Numerical Algorithms 4 The Australasian Journal of Combinatorics 4 Experimental Mathematics 4 The Electronic Journal of Combinatorics 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 Discrete and Continuous Dynamical Systems. Series S 4 Algorithms 4 Afrika Matematika 4 Prikladnaya Diskretnaya Matematika 3 Communications in Algebra 3 Advances in Mathematics 3 Fuzzy Sets and Systems 3 Information Sciences 3 Mathematische Zeitschrift 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 Computational and Applied Mathematics 3 Complexity 3 Doklady Mathematics 3 Theory of Computing Systems 3 Journal of Combinatorial Optimization 3 Lobachevskii Journal of Mathematics 3 Journal of Algebra and its Applications 3 Advances in Mathematics of Communications 3 Logical Methods in Computer Science 3 Asian-European Journal of Mathematics 3 International Journal of Biomathematics 3 Cryptography and Communications 3 Journal of Theoretical Biology 3 SIAM Journal on Applied Algebra and Geometry 3 AIMS Mathematics 3 Journal of Applied and Computational Topology 2 Acta Informatica 2 Computers & Mathematics with Applications 2 International Journal of Control 2 Journal of Computational Physics 2 Journal of Mathematical Biology 2 Linear and Multilinear Algebra 2 Mathematical Notes 2 Annales de l’Institut Fourier 2 BIT 2 Calcolo 2 Journal of Computer and System Sciences 2 Journal of Differential Equations 2 Proceedings of the American Mathematical Society 2 Topology and its Applications ...and 194 more Journals all top 5 Cited in 58 Fields 484 Computer science (68-XX) 195 Combinatorics (05-XX) 135 Numerical analysis (65-XX) 130 Algebraic geometry (14-XX) 103 Biology and other natural sciences (92-XX) 98 Commutative algebra (13-XX) 76 Ordinary differential equations (34-XX) 64 Mathematical logic and foundations (03-XX) 61 Information and communication theory, circuits (94-XX) 51 Dynamical systems and ergodic theory (37-XX) 49 Number theory (11-XX) 43 Partial differential equations (35-XX) 42 Linear and multilinear algebra; matrix theory (15-XX) 40 Operations research, mathematical programming (90-XX) 37 Associative rings and algebras (16-XX) 32 Systems theory; control (93-XX) 28 Special functions (33-XX) 27 General topology (54-XX) 26 Field theory and polynomials (12-XX) 22 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 20 Real functions (26-XX) 20 Several complex variables and analytic spaces (32-XX) 17 Order, lattices, ordered algebraic structures (06-XX) 17 Convex and discrete geometry (52-XX) 17 Statistics (62-XX) 16 Probability theory and stochastic processes (60-XX) 16 Mechanics of particles and systems (70-XX) 16 Quantum theory (81-XX) 15 Operator theory (47-XX) 15 Calculus of variations and optimal control; optimization (49-XX) 15 Geometry (51-XX) 15 Differential geometry (53-XX) 13 Difference and functional equations (39-XX) 12 Approximations and expansions (41-XX) 12 Algebraic topology (55-XX) 11 General algebraic systems (08-XX) 10 Functions of a complex variable (30-XX) 10 Manifolds and cell complexes (57-XX) 9 Harmonic analysis on Euclidean spaces (42-XX) 8 General and overarching topics; collections (00-XX) 8 Group theory and generalizations (20-XX) 8 Integral equations (45-XX) 7 Global analysis, analysis on manifolds (58-XX) 6 Integral transforms, operational calculus (44-XX) 6 Mechanics of deformable solids (74-XX) 6 Fluid mechanics (76-XX) 6 Relativity and gravitational theory (83-XX) 5 History and biography (01-XX) 5 Functional analysis (46-XX) 5 Optics, electromagnetic theory (78-XX) 5 Mathematics education (97-XX) 4 Nonassociative rings and algebras (17-XX) 4 Statistical mechanics, structure of matter (82-XX) 3 Category theory; homological algebra (18-XX) 2 Measure and integration (28-XX) 2 Sequences, series, summability (40-XX) 2 Classical thermodynamics, heat transfer (80-XX) 1 Astronomy and astrophysics (85-XX) Citations by Year