## 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: 560 Publications (since 2007) References Indexed: 464 Publications with 11,785 References.
all top 5

### Latest Issues

 16, No. 2 (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 9 Miller, Mirka 9 Sturm, Thomas 8 Dana-Picard, Thierry Noah 8 Stadler, Peter F. 7 Seiler, Werner M. 7 Wang, Dongming 6 Davenport, James Harold 6 Kotsireas, Ilias S. 6 Levin, Alexander Borisovich 6 Li, Hongbo 6 Roanes-Lozano, Eugenio 6 Ryan, Joe 6 Tajima, Shinichi 5 Bača, Martin 5 Boulier, François 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 4 Anai, Hirokazu 4 Bavula, Vladimir V. 4 Chen, Xiaoyu 4 Conceição, Ana C. 4 England, Matthew 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 4 Vasconcelos, Paulo Beleza 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 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 2 Gao, Xiaoshan 2 Ghosh, Subhas Kumar ...and 895 more Authors
all top 5

### Fields

 275 Computer science (68-XX) 119 Combinatorics (05-XX) 85 Numerical analysis (65-XX) 55 Commutative algebra (13-XX) 39 Algebraic geometry (14-XX) 37 Information and communication theory, circuits (94-XX) 34 General and overarching topics; collections (00-XX) 30 Ordinary differential equations (34-XX) 30 Biology and other natural sciences (92-XX) 24 Number theory (11-XX) 23 Mathematical logic and foundations (03-XX) 22 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 Systems theory; control (93-XX) 15 Mechanics of particles and systems (70-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 Partial differential equations (35-XX) 11 Difference and functional equations (39-XX) 10 Linear and multilinear algebra; matrix theory (15-XX) 10 Associative rings and algebras (16-XX) 9 Real functions (26-XX) 8 Functions of a complex variable (30-XX) 8 Operator theory (47-XX) 7 Calculus of variations and optimal control; optimization (49-XX) 6 History and biography (01-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 Quantum theory (81-XX) 5 Order, lattices, ordered algebraic structures (06-XX) 5 Integral equations (45-XX) 5 Differential geometry (53-XX) 5 Probability theory and stochastic processes (60-XX) 4 Nonassociative rings and algebras (17-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)

### Citations contained in zbMATH Open

326 Publications have been cited 1,146 times in 1,030 Documents Cited by Year
A fast approach to creative telescoping. Zbl 1218.68205
Koutschan, Christoph
2010
Testing sign conditions on a multivariate polynomial and applications. Zbl 1126.14068
El Din, Mohab Safey
2007
HOL(y)Hammer: online ATP service for HOL Light. Zbl 1322.68177
Kaliszyk, Cezary; Urban, Josef
2015
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
2009
Stability analysis for discrete biological models using algebraic methods. Zbl 1270.92023
Li, Xiaoliang; Mou, Chenqi; Niu, Wei; Wang, Dongming
2011
Dynamics and optimal control of Ebola transmission. Zbl 1352.49042
Rachah, Amira; Torres, Delfim F. M.
2016
Symbolic computation of local symmetries of nonlinear and linear partial and ordinary differential equations. Zbl 1218.68203
Cheviakov, Alexei F.
2010
Semi-local string comparison: algorithmic techniques and applications. Zbl 1158.68054
Tiskin, Alexander
2008
Computing numerically with functions instead of numbers. Zbl 1145.41302
Trefethen, Lloyd N.
2007
On the topology of real algebraic plane curves. Zbl 1205.14038
Cheng, Jinsan; Lazard, Sylvain; Peñaranda, Luis; Pouget, Marc; Rouillier, Fabrice
2010
Lempel-Ziv factorization using less time & space. Zbl 1181.68315
Chen, Gang; Puglisi, Simon J.; Smyth, W. F.
2008
The non-Archimedean theory of discrete systems. Zbl 1267.37006
2012
Algebraic approaches to stability analysis of biological systems. Zbl 1138.68668
Niu, Wei; Wang, Dongming
2008
Serre’s reduction of linear functional systems. Zbl 1275.16003
2010
Linear wirelength of folded hypercubes. Zbl 1254.05133
Rajasingh, Indra; Arockiaraj, Micheal
2011
Coquelicot: a user-friendly library of real analysis for Coq. Zbl 1322.68176
Boldo, Sylvie; Lelay, Catherine; Melquiond, Guillaume
2015
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
2008
Near sets: an introduction. Zbl 1266.54068
Peters, James F.
2013
On effective analytic continuation. Zbl 1154.68574
van der Hoeven, Joris
2007
Using LaTEX as a semantic markup format. Zbl 1176.68230
Kohlhase, Michael
2008
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.
2018
Dynamic multi-level overlay graphs for shortest paths. Zbl 1158.68053
Bruera, Francesco; Cicerone, Serafino; D’Angelo, Gianlorenzo; Di Stefano, Gabriele; Frigioni, Daniele
2008
Error-correcting codes and phase transitions. Zbl 1278.94097
Manin, Yuri I.; Marcolli, Matilde
2011
Dichotomy results for fixed-point existence problems for Boolean dynamical systems. Zbl 1138.68034
Kosub, Sven
2008
Wadge reducibility and infinite computations. Zbl 1157.03018
Selivanov, Victor
2008
Descriptive proximities: properties and interplay between classical proximities and overlap. Zbl 1403.54017
Di Concilio, A.; Guadagni, C.; Peters, J. F.; Ramanna, S.
2018
$$m$$-polar fuzzy labeling graphs with application. Zbl 1357.05127
2016
Tropicalization of classical moduli spaces. Zbl 1305.14031
Ren, Qingchun; Sam, Steven V.; Sturmfels, Bernd
2014
Cylindrical algebraic sub-decompositions. Zbl 1309.68232
Wilson, D. J.; Bradford, R. J.; Davenport, J. H.; England, M.
2014
Deriving behavior of Boolean bioregulatory networks from subnetwork dynamics. Zbl 1205.37097
Siebert, Heike
2009
A survey on hypergraph products. Zbl 1262.05110
Hellmuth, Marc; Ostermeier, Lydia; Stadler, Peter F.
2012
ATP-based cross-verification of Mizar proofs: method, systems, and first experiments. Zbl 1178.68532
Urban, Josef; Sutcliffe, Geoff
2008
Secure restrained domination in graphs. Zbl 1317.05141
Roushini Leely Pushpam, P.; Suseendran, Chitra
2015
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
2014
Some types of filters in BE-algebras. Zbl 1305.06019
Borumand Saeid, Arsham; Rezaei, Akbar; Borzooei, Rajab Ali
2013
Cryptanalysis of two McEliece cryptosystems based on quasi-cyclic codes. Zbl 1205.94095
Otmani, Ayoub; Tillich, Jean-Pierre; Dallot, Léonard
2010
The simplified Tikhonov regularization method for solving a Riesz-Feller space-fractional backward diffusion problem. Zbl 06751953
Yang, Fan; Li, Xiao-Xiao; Li, Dun-Gang; Wang, Lan
2017
Fundamentals of computational conformal geometry. Zbl 1229.53010
Gu, David Xianfeng; Luo, Feng; Yau, Shing-Tung
2010
Local near sets: pattern discovery in proximity spaces. Zbl 1400.54040
Peters, James F.
2013
Pseudospectra of matrix polynomials that are expressed in alternative bases. Zbl 1136.15012
Corless, Robert M.; Rezvani, Nargol; Amiraslani, Amirhossein
2007
Quiver generalized Weyl algebras, skew category algebras and diskew polynomial rings. Zbl 1381.16014
Bavula, V. V.
2017
Persistent topology of syntax. Zbl 1417.91428
Port, Alexander; Gheorghita, Iulia; Guth, Daniel; Clark, John M.; Liang, Crystal; Dasu, Shival; Marcolli, Matilde
2018
Structural properties of word representable graphs. Zbl 1344.68178
Bera, Somnath; Mahalingam, Kalpana
2016
Isotypeness of models and knowledge bases equivalence. Zbl 1319.68213
Aladova, Elena; Plotkin, Eugene; Plotkin, Tatjana
2013
A graph library for Isabelle. Zbl 1308.05055
Noschinski, Lars
2015
On the connection between Ritt characteristic sets and Buchberger-Gröbner bases. Zbl 1388.13058
Wang, Dongming
2016
All arbitrarily fixed generalized banana trees are graceful. Zbl 1254.05174
Jesintha, J. Jeba; Sethuraman, G.
2011
Optimal eighth order iterative methods. Zbl 1256.65041
Khattri, Sanjay Kumar
2011
Superposition as a decision procedure for timed automata. Zbl 1262.68159
Fietzke, Arnaud; Weidenbach, Christoph
2012
A validated real function calculus. Zbl 1266.65074
Collins, Pieter; Niqui, Milad; Revol, Nathalie
2011
Zero tests for constants in simple scientific computation. Zbl 1145.26001
Richardson, Daniel
2007
A survey of some methods for real quantifier elimination, decision, and satisfiability and their applications. Zbl 1425.68380
Sturm, Thomas
2017
Recycling proof patterns in Coq: case studies. Zbl 1302.68243
Heras, Jónathan; Komendantskaya, Ekaterina
2014
$$L(2, 1)$$-labeling of permutation and bipartite permutation graphs. Zbl 1310.05204
Paul, Satyabrata; Pal, Madhumangal; Pal, Anita
2015
Local algorithms for the prime factorization of strong product graphs. Zbl 1205.05222
Hellmuth, Marc; Imrich, Wilfried; Klöckl, Werner; Stadler, Peter F.
2009
Fast, practical algorithms for computing all the repeats in a string. Zbl 1205.68496
Puglisi, Simon J.; Smyth, W. F.; Yusufu, Munina
2010
Computing the Newton polygon of the implicit equation. Zbl 1205.14040
Emiris, Ioannis Z.; Konaxis, Christos; Palios, Leonidas
2010
Engineering a lightweight external memory suffix array construction algorithm. Zbl 1377.68328
Kärkkäinen, Juha; Kempa, Dominik
2017
Unambiguous automata. Zbl 1158.68019
Béal, Marie-Pierre; Czeizler, Eugen; Kari, Jarkko; Perrin, Dominique
2008
Triangulating smooth submanifolds with light scaffolding. Zbl 1229.68077
Boissonnat, Jean-Daniel; Ghosh, Arijit
2010
$$m$$-fold hypergeometric solutions of linear recurrence equations revisited. Zbl 1262.68190
Horn, Peter; Koepf, Wolfram; Sprenger, Torsten
2012
Truncation formulas for invariant polynomials of matroids and geometric lattices. Zbl 1262.05019
Jurrius, Relinde; Pellikaan, Ruud
2012
Automatically discovering relaxed Lyapunov functions for polynomial dynamical systems. Zbl 1261.93063
Liu, Jiang; Zhan, Naijun; Zhao, Hengjun
2012
Parametric factorizations of second-, third- and fourth-order linear partial differential operators with a completely factorable symbol on the plane. Zbl 1142.47026
Shemyakova, Ekaterina
2007
A math query language with an expanded set of wildcards. Zbl 1176.68053
Altamimi, Moody Ebrahem; Youssef, Abdou
2008
The construction of 3D conformal motions. Zbl 1341.65006
Dorst, Leo
2016
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
2015
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.
2019
On the discriminant scheme of homogeneous polynomials. Zbl 1302.13028
Busé, Laurent; Jouanolou, Jean-Pierre
2014
Newton polytopes and witness sets. Zbl 1304.14077
Hauenstein, Jonathan D.; Sottile, Frank
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
2014
Improved agreeing-gluing algorithm. Zbl 1343.94080
Semaev, Igor
2013
Constructive $$D$$-module theory with Singular. Zbl 1217.13011
Andres, Daniel; Brickenstein, Michael; Levandovskyy, Viktor; Martín-Morales, Jorge; Schönemann, Hans
2010
Stability of disease free equilibria in epidemiological models. Zbl 1205.34054
2009
Redundant $$\tau$$-adic expansions. II: Non-optimality and chaotic behaviour. Zbl 1205.11014
Heuberger, Clemens
2010
Optimising Gröbner bases on Bivium. Zbl 1205.94081
Eibach, Tobias; Völkel, Gunnar; Pilz, Enrico
2010
On representations of ternary order relations in numeric strings. Zbl 1369.68364
Kim, Jinil; Amir, Amihood; Na, Joong Chae; Park, Kunsoo; Sim, Jeong Seop
2017
Efficiently and effectively recognizing toricity of steady state varieties. Zbl 07363375
Grigoriev, Dima; Iosif, Alexandru; Rahkooy, Hamid; Sturm, Thomas; Weber, Andreas
2021
Graceful labelling: state of the art, applications and future directions. Zbl 1254.05169
Brankovic, Ljiljana; Wanless, Ian M.
2011
Signature-based perceptual nearness: application of near sets to image retrieval. Zbl 1262.68176
Henry, Christopher J.; Ramanna, Sheela
2013
Relations between Möbius and coboundary polynomials. Zbl 1262.05018
Jurrius, Relinde
2012
On Brylawski’s generalized duality. Zbl 1262.05017
Gordon, Gary
2012
Rational general solutions of trivariate rational differential systems. Zbl 1277.68302
Huang, Yanli; Ngô, Lâm Xuân Châu; Winkler, Franz
2012
Formal verification of numerical programs: from C annotated programs to mechanical proofs. Zbl 1264.68054
Boldo, Sylvie; Marché, Claude
2011
TASS: the toolkit for accurate scientific software. Zbl 1264.68113
Siegel, Stephen F.; Zirkel, Timothy K.
2011
Spurious disambiguation errors and how to get rid of them. Zbl 1176.68221
Sacerdoti Coen, Claudio; Zacchiroli, Stefano
2008
Wadge degrees of infinitary rational relations. Zbl 1157.03017
Finkel, Olivier
2008
On the unavoidable uncertainty of truth in dynamic geometry proving. Zbl 1357.68197
Botana, Francisco; Recio, Tomas
2016
Berge-Fulkerson conjecture on certain snarks. Zbl 1317.05153
Manuel, Paul; Shanthi, A. S.
2015
Hamiltonian dynamical systems: symbolical, numerical and graphical study. Zbl 1488.70002
Takato, Setsuo; Vallejo, José A.
2019
Towards a Lanczos’ $$\tau$$-method toolkit for differential problems. Zbl 1353.65083
Trindade, Marcelo; Matos, J.; Vasconcelos, P. B.
2016
On the parameterization of rational ringed surfaces and rational canal surfaces. Zbl 1302.65047
Bastl, Bohumír; Jüttler, Bert; Lávička, Miroslav; Schulz, Tino; Šír, Zbyněk
2014
Sliding mode techniques for robust trajectory tracking as well as state and parameter estimation. Zbl 1301.93041
Senkel, Luise; Rauh, Andreas; Aschemann, Harald
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
2013
Enumeration and generating functions of Rota-Baxter words. Zbl 1218.16030
Guo, Li; Sit, William Y.
2010
Hybrid dynamics of stochastic $$\pi$$-calculus. Zbl 1205.68238
Bortolussi, Luca; Policriti, Alberto
2009
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
2009
Scalability and communication in parallel low-complexity lossless compression. Zbl 1205.94025
Cinque, Luigi; De Agostino, Sergio; Lombardi, Luca
2010
Scale free properties of random $$k$$-trees. Zbl 1205.05211
Cooper, Colin; Uehara, Ryuhei
2010
Transforming large collections of scientific publications to XML. Zbl 1205.68490
Stamerjohanns, Heinrich; Kohlhase, Michael; Ginev, Deyan; David, Catalin; Miller, Bruce
2010
Localizations of a ring at localizable sets, their groups of units and saturations. Zbl 07557142
Bavula, V. V.
2022
Efficiently and effectively recognizing toricity of steady state varieties. Zbl 07363375
Grigoriev, Dima; Iosif, Alexandru; Rahkooy, Hamid; Sturm, Thomas; Weber, Andreas
2021
Testing zero-dimensionality of varieties at a point. Zbl 07363380
Nabeshima, Katsusuke; Tajima, Shinichi
2021
Global stability of a Caputo fractional SIRS model with general incidence rate. Zbl 07363367
Sidi Ammi, Moulay Rchid; Tahiri, Mostafa; Torres, Delfim F. M.
2021
On the $${H}^1$$ conforming virtual element method for time dependent Stokes equation. Zbl 1490.65187
2021
Algebraic, rational and Puiseux series solutions of systems of autonomous algebraic ODEs of dimension one. Zbl 07363374
Cano, José; Falkensteiner, Sebastian; Sendra, J. Rafael
2021
A logic based approach to finding real singularities of implicit ordinary differential equations. Zbl 07363381
Seiler, Werner M.; Seiß, Matthias; Sturm, Thomas
2021
Counting lattice points on bargraphs of Catalan words. Zbl 07465798
Mansour, Toufik; Ramírez, José L.; Toquica, Diana A.
2021
On a 2-orthogonal polynomial sequence via quadratic decomposition. Zbl 07363363
Mesquita, Teresa Augusta
2021
Synchronization and self-organization in complex networks for a tuberculosis model. Zbl 07363368
Silva, Cristiana J.; Cantin, Guillaume
2021
Estimating the employment band of inaction with multiple breaks due to labor market reforms. Zbl 07363369
Mota, P. R.; Vasconcelos, P. B.
2021
Degree upper bounds for involutive bases. Zbl 1491.13038
Hashemi, Amir; Parnian, Hossein; Seiler, Werner M.
2021
Tropical differential Gröbner bases. Zbl 1482.14066
Hu, Youren; Gao, Xiao-Shan
2021
An algorithm for computing torsion differential forms associated with an isolated hypersurface singularity. Zbl 1476.14008
Tajima, Shinichi; Nabeshima, Katsusuke
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
2021
Heat kernel analysis of syntactic structures. Zbl 07465795
Ortegaray, Andrew; Berwick, Robert C.; Marcolli, Matilde
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
2021
On column-convex and convex Carlitz polyominoes. Zbl 07465808
Mansour, Toufik; Rastegar, Reza; Shabani, Armend Sh.
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.
2021
Algorithmic reduction of biological networks with multiple time scales. Zbl 1484.13058
Kruff, Niclas; Lüders, Christoph; Radulescu, Ovidiu; Sturm, Thomas; Walcher, Sebastian
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
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
2020
Coxeter triangulations have good quality. Zbl 1488.51006
Choudhary, Aruni; Kachanovich, Siargey; Wintraecken, Mathijs
2020
Solving first order autonomous algebraic ordinary differential equations by places. Zbl 1445.12003
Falkensteiner, Sebastian; Sendra, J. Rafael
2020
Nori diagrams and persistent homology. Zbl 1464.18002
Manin, Yuri I.; Marcolli, Matilde
2020
Numerical software to compute Newton polytopes and tropical membership. Zbl 1474.14002
Brysiewicz, Taylor
2020
Modular techniques for noncommutative Gröbner bases. Zbl 1460.16053
Decker, Wolfram; Eder, Christian; Levandovskyy, Viktor; Tiwari, Sharwan K.
2020
Testing hyperbolicity of real polynomials. Zbl 1474.13052
Dey, Papri; Plaumann, Daniel
2020
A note on modified Hermite interpolation. Zbl 1481.65032
Kozera, R.; Wilkołazka, M.
2020
On the numerical analysis and visualisation of implicit ordinary differential equations. Zbl 1461.34017
Braun, Elishan; Seiler, Werner M.; Seiß, Matthias
2020
Classification of simple modules of the Ore extension $$K[X][Y; f\frac{d}{dX}]$$. Zbl 1462.16027
Bavula, V. V.
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.
2020
An algorithm for computing Grothendieck local residues. II: General case. Zbl 1457.32006
Ohara, Katsuyoshi; Tajima, Shinichi
2020
Efficient safety enforcement for Maude programs via program specialization in the ÁTAME system. Zbl 1471.68051
Alpuente, M.; Ballis, D.; Sapiña, J.
2020
Calculation and properties of zonal polynomials. Zbl 1462.05350
Jiu, Lin; Koutschan, Christoph
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.
2019
Hamiltonian dynamical systems: symbolical, numerical and graphical study. Zbl 1488.70002
Takato, Setsuo; Vallejo, José A.
2019
A modified Hermite interpolation with exponential parameterization. Zbl 1474.65030
Kozera, R.; Wilkołazka, M.
2019
Locus computation in dynamic geometry environment. Zbl 1474.97015
Blažek, Jiří; Pech, Pavel
2019
A physics perspective on the resistance distance for graphs. Zbl 1474.94102
Kagan, Mikhail; Mata, Brian
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
2019
An algorithm for computing Grothendieck local residues. I: Shape basis case. Zbl 1474.32015
Ohara, Katsuyoshi; Tajima, Shinichi
2019
Modelling Atwood’s machine with three degrees of freedom. Zbl 1459.70043
Prokopenya, Alexander N.
2019
Divisive cover. Zbl 1469.55004
Blaser, Nello; Brun, Morten
2019
Minimal height companion matrices for Euclid polynomials. Zbl 1474.11069
Chan, E. Y. S.; Corless, R. M.
2019
On multivariate Hermitian quadratic forms. Zbl 07095829
Fukasaku, Ryoya; Iwane, Hidenao; Sato, Yosuke
2019
Permutation patterns and cell decompositions. Zbl 1462.05023
Mansour, Toufik; Schork, Matthias
2019
An implementation of the Lê-Teissier method for computing local Euler obstructions. Zbl 1474.32048
Tajima, Shinichi; Nabeshima, Katsusuke
2019
On the usage of different coordinate systems for 3D plots of functions of two real variables. Zbl 07095847
Zeitoun, David G.; Dana-Picard, Thierry
2019
Half-explicit exponential Runge-Kutta methods for index-1 DAEs in helicopter simulation. Zbl 1474.65260
Kohlwey, Elena; Röhrig-Zöllner, Melven
2019
On convex functions with complex order through bounded boundary rotation. Zbl 1474.30054
Aydoğan, S. Melike; Sakar, F. Müge
2019
An algebraic approach to DC railway electrification verification. Zbl 1474.90497
Roanes-Lozano, Eugenio; González-Martín, Rubén; Montero, Javier
2019
Optimal symmetry breaking for graph problems. Zbl 1474.68225
Heule, Marijn J. H.
2019
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.
2018
Descriptive proximities: properties and interplay between classical proximities and overlap. Zbl 1403.54017
Di Concilio, A.; Guadagni, C.; Peters, J. F.; Ramanna, S.
2018
Persistent topology of syntax. Zbl 1417.91428
Port, Alexander; Gheorghita, Iulia; Guth, Daniel; Clark, John M.; Liang, Crystal; Dasu, Shival; Marcolli, Matilde
2018
Usage of modular techniques for efficient computation of ideal operations. Zbl 1402.13026
Noro, Masayuki; Yokoyama, Kazuhiro
2018
An efficient design and implementation of the in-parameter-order algorithm. Zbl 1398.05046
Kleine, Kristoffer; Simos, Dimitris E.
2018
Sixty years of network reliability. Zbl 1432.68045
Pérez-Rosés, Hebert
2018
Goethals-Seidel difference families with symmetric or skew base blocks. Zbl 1444.05028
Đoković, Dragomir Ž.; Kotsireas, Ilias S.
2018
Solving differential and integral equations with tau method. Zbl 1402.65078
Matos, J. C.; Matos, J. M. A.; Rodrigues, M. J.
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
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
2018
Antimagic labeling of the lexicographic product graph $$K_{m,n}[P_k]$$. Zbl 1402.05185
Lu, Yingyu; Dong, Guanghua; Ma, Wenhui; Wang, Ning
2018
PageRank computation with MAAOR and lumping methods. Zbl 1453.65077
Mendes, I. R.; Vasconcelos, P. B.
2018
A new one-parameter invariant function for algebras. Zbl 1451.17004
Escobar, J. M.; Núñez, J.; Pérez-Fernández, P.
2018
Symbolic approach to the general quadratic polynomial decomposition. Zbl 1402.33014
Macedo, Ângela; Mesquita, Teresa A.; da Rocha, Zélia
2018
Dealing with functional coefficients within tau method. Zbl 1416.65554
Trindade, M.; Matos, J.; Vasconcelos, P. B.
2018
Partially local multi-way alignments. Zbl 1403.68377
2018
On the weak order ideal associated to linear codes. Zbl 1432.94163
Borges-Quintana, Mijail; Borges-Trenard, Miguel Ángel; Martínez-Moro, Edgar
2018
Relative difference sets and Hadamard matrices from perfect quaternionic arrays. Zbl 1444.05027
Barrera Acevedo, Santiago; Dietrich, Heiko
2018
Quasi-Hadamard full propelinear codes. Zbl 1419.94080
Armario, José Andrés; Bailera, Iván; Borges, Joaquim; Rifà, Josep
2018
On a combinatorial framework for fault characterization. Zbl 1433.68268
Colbourn, Charles J.; Syrotiuk, Violet R.
2018
The simplified Tikhonov regularization method for solving a Riesz-Feller space-fractional backward diffusion problem. Zbl 06751953
Yang, Fan; Li, Xiao-Xiao; Li, Dun-Gang; Wang, Lan
2017
Quiver generalized Weyl algebras, skew category algebras and diskew polynomial rings. Zbl 1381.16014
Bavula, V. V.
2017
A survey of some methods for real quantifier elimination, decision, and satisfiability and their applications. Zbl 1425.68380
Sturm, Thomas
2017
Engineering a lightweight external memory suffix array construction algorithm. Zbl 1377.68328
Kärkkäinen, Juha; Kempa, Dominik
2017
On representations of ternary order relations in numeric strings. Zbl 1369.68364
Kim, Jinil; Amir, Amihood; Na, Joong Chae; Park, Kunsoo; Sim, Jeong Seop
2017
Syntactic structures and code parameters. Zbl 1441.94116
Shu, Kevin; Marcolli, Matilde
2017
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.
2017
Motion of a swinging Atwood’s machine: simulation and analysis with Mathematica. Zbl 1416.70015
Prokopenya, Alexander N.
2017
Gröbner systems conversion. Zbl 1409.68344
Hashemi, Amir; Dehghani Darmian, Mahdi; Barkhordar, Marzieh
2017
Solving the minimum common string partition problem with the help of ants. Zbl 1409.68270
Ferdous, S. M.; Rahman, M. Sohel
2017
On a class of central configurations in the planar $$3n$$-body problem. Zbl 1427.70033
Siluszyk, Agnieszka
2017
Approximating multidimensional subset sum and Minkowski decomposition of polygons. Zbl 1409.68330
Emiris, Ioannis Z.; Karasoulou, Anna; Tzovas, Charilaos
2017
Compressed spaced suffix arrays. Zbl 1378.68032
Gagie, Travis; Manzini, Giovanni; Valenzuela, Daniel
2017
On succinct representations of binary trees. Zbl 1369.68169
Davoodi, Pooya; Raman, Rajeev; Satti, Srinivasa Rao
2017
Block graphs in practice. Zbl 1409.68091
Gagie, Travis; Hoobin, Christopher; Puglisi, Simon J.
2017
Indeterminate string factorizations and degenerate text transformations. Zbl 1370.68243
Daykin, Jacqueline W.; Watson, Bruce
2017
Palindromic subsequence automata and longest common palindromic subsequence. Zbl 1370.68172
Hasan, Md. Mahbubul; Islam, A. S. M. Sohidull; Rahman, M. Sohel; Sen, Ayon
2017
What does “without loss of generality” mean, and how do we detect it. Zbl 1425.68464
Davenport, James H.
2017
Modeling of an asymptotically central Markov process on 3D Young graph. Zbl 1388.60132
Duzhin, Vasilii; Vasilyev, Nikolay
2017
Branch structure and implementation of Lambert $$W$$. Zbl 1425.68465
Jeffrey, David J.
2017
Familiarizing students with definition of Lebesgue integral: examples of calculation directly from its definition using Mathematica. Zbl 1392.97003
Wojas, Włodzimierz; Krupa, Jan
2017
Design, concepts, and state of the art of the swMATH service. Zbl 1382.68320
Chrapary, Hagen; Dalitz, Wolfgang; Neun, Winfried; Sperber, Wolfram
2017
Solving a binary puzzle. Zbl 1382.05012
Utomo, Putranto H.; Makarim, Rusydi H.
2017
Dynamics and optimal control of Ebola transmission. Zbl 1352.49042
Rachah, Amira; Torres, Delfim F. M.
2016
$$m$$-polar fuzzy labeling graphs with application. Zbl 1357.05127
2016
Structural properties of word representable graphs. Zbl 1344.68178
Bera, Somnath; Mahalingam, Kalpana
2016
On the connection between Ritt characteristic sets and Buchberger-Gröbner bases. Zbl 1388.13058
Wang, Dongming
2016
...and 226 more Documents
all top 5

### Cited by 1,748 Authors

 17 Kaliszyk, Cezary 15 Sturm, Thomas 12 Urban, Josef 11 Davenport, James Harold 10 England, Matthew 9 Arockiaraj, Micheal 9 Hellmuth, Marc 9 Kohlhase, Michael 9 Marcolli, Matilde 9 Nabeshima, Katsusuke 8 Pal, Madhumangal 8 Tajima, Shinichi 7 Aladova, Elena V. 7 D’Angelo, Gianlorenzo 7 Rauh, Andreas 7 Sendra, Juan Rafael 7 Smyth, William F. 7 Tahar, Sofiène 6 Abraham, Jessie 6 Akram, Muhammad 6 Aschemann, Harald 6 Corless, Robert Malcolm 6 D’Emidio, Mattia 6 Frigioni, Daniele 6 Lemaire, François 6 Paulson, Lawrence Charles 6 Peters, James Francis III 6 Prokopenya, Alexander N. 6 Safey El Din, Mohab 6 Sagraloff, Michael 6 Seiler, Werner M. 6 Shalini, Arul Jeya 6 Torres, Delfim Fernando Marado 6 Wang, Dongming 6 Yau, Shing-Tung 5 Bavula, Vladimir V. 5 Blanchette, Jasmin Christian 5 Boissonnat, Jean-Daniel 5 Boulier, François 5 Finkel, Olivier 5 Guo, Li 5 Inenaga, Shunsuke 5 Kartal, Senol 5 Niu, Wei 5 Ostermeier, Lydia 5 Ozturk, Mehmet Ali 5 Pal, Anita 5 Plavka, Ján 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 Weber, Andreas Günter 5 Xia, Bican 4 Bortolussi, Luca 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 Falkensteiner, Sebastian 4 Gauthier, Thibault 4 Gürcan, Fuat 4 İnan, Ebubekir 4 Jin, Kai 4 Jo, Seungbum 4 Johnsen, Trygve 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 Mou, Chenqi 4 Pąk, Karol 4 Pushpam, P. Roushini Leely 4 Quadras, Jasintha 4 Robertz, Daniel 4 Romanovskiĭ, Valeriĭ Georgievich 4 Satti, Srinivasa Rao 4 Semaev, Igor A. 4 Senkel, Luise 4 Sethuraman, G. 4 Siebert, Heike 4 Singh, Pankaj Kumar 4 Sun, Yao 4 Suseendran, Chitra 4 Thomas, Nobin 4 Tiwari, Surabhi 4 Torrente, Maria-Laura ...and 1,648 more Authors
all top 5

### Cited in 274 Journals

 101 Mathematics in Computer Science 72 Journal of Symbolic Computation 34 Theoretical Computer Science 25 Journal of Automated Reasoning 16 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 9 Discrete Mathematics 8 Journal of Algebra 8 Programming and Computer Software 6 Journal of Mathematical Physics 6 Mathematics of Computation 6 Computer Aided Geometric Design 6 Discrete & Computational Geometry 6 Applicable Algebra in Engineering, Communication and Computing 6 International Journal of Bifurcation and Chaos in Applied Sciences and Engineering 6 Discrete Dynamics in Nature and Society 6 Journal of Applied Mathematics and Computing 6 ACM Journal of Experimental Algorithmics 5 Journal of Mathematical Analysis and Applications 5 Bulletin of Mathematical Biology 5 Automatica 5 Advances in Applied Mathematics 5 Information and Computation 5 Linear Algebra and its Applications 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 Discrete Mathematics, Algorithms and Applications 5 $$p$$-Adic Numbers, Ultrametric Analysis, and Applications 5 Electronic Journal of Graph Theory and Applications 4 Information Processing Letters 4 Journal of Pure and Applied Algebra 4 European Journal of Combinatorics 4 Applied Numerical Mathematics 4 Journal of Scientific Computing 4 Numerical Algorithms 4 The Australasian Journal of Combinatorics 4 Experimental Mathematics 4 Journal of Discrete Mathematical Sciences & Cryptography 4 Bulletin of the Malaysian Mathematical Sciences Society. Second Series 4 Advances in Difference Equations 4 Mathematical Biosciences and Engineering 4 Discrete and Continuous Dynamical Systems. Series S 4 Algorithms 4 Afrika Matematika 4 Open Mathematics 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 Mathematical Sciences (New York) 3 The Electronic Journal of Combinatorics 3 Complexity 3 Doklady Mathematics 3 Theory of Computing Systems 3 Soft Computing 3 Fractional Calculus & Applied Analysis 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 Journal of Computer and System Sciences 2 Journal of Differential Equations 2 Topology and its Applications 2 Journal of Cryptology 2 Formal Aspects of Computing 2 International Journal of Algebra and Computation 2 Journal of Global Optimization 2 Aequationes Mathematicae 2 Journal of Algebraic Combinatorics ...and 174 more Journals
all top 5

### Cited in 57 Fields

 446 Computer science (68-XX) 185 Combinatorics (05-XX) 130 Numerical analysis (65-XX) 114 Algebraic geometry (14-XX) 98 Biology and other natural sciences (92-XX) 92 Commutative algebra (13-XX) 71 Ordinary differential equations (34-XX) 59 Mathematical logic and foundations (03-XX) 57 Information and communication theory, circuits (94-XX) 49 Number theory (11-XX) 49 Dynamical systems and ergodic theory (37-XX) 40 Partial differential equations (35-XX) 36 Linear and multilinear algebra; matrix theory (15-XX) 36 Operations research, mathematical programming (90-XX) 34 Associative rings and algebras (16-XX) 31 Systems theory; control (93-XX) 25 Special functions (33-XX) 24 Field theory and polynomials (12-XX) 24 General topology (54-XX) 21 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 19 Several complex variables and analytic spaces (32-XX) 18 Real functions (26-XX) 16 Geometry (51-XX) 15 Convex and discrete geometry (52-XX) 14 Order, lattices, ordered algebraic structures (06-XX) 14 Operator theory (47-XX) 14 Calculus of variations and optimal control; optimization (49-XX) 14 Probability theory and stochastic processes (60-XX) 14 Statistics (62-XX) 14 Quantum theory (81-XX) 13 Difference and functional equations (39-XX) 13 Differential geometry (53-XX) 13 Mechanics of particles and systems (70-XX) 11 Approximations and expansions (41-XX) 10 General algebraic systems (08-XX) 10 Manifolds and cell complexes (57-XX) 9 Group theory and generalizations (20-XX) 9 Functions of a complex variable (30-XX) 9 Harmonic analysis on Euclidean spaces (42-XX) 9 Algebraic topology (55-XX) 8 Integral equations (45-XX) 7 Global analysis, analysis on manifolds (58-XX) 6 General and overarching topics; collections (00-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) 6 Mathematics education (97-XX) 5 Optics, electromagnetic theory (78-XX) 4 History and biography (01-XX) 4 Functional analysis (46-XX) 4 Statistical mechanics, structure of matter (82-XX) 3 Nonassociative rings and algebras (17-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)