×

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: 618 Publications (since 2007)
References Indexed: 511 Publications with 13,123 References.
all top 5

Authors

12 Marcolli, Matilde
11 Sturm, Thomas
10 Dana-Picard, Thierry Noah
9 Miller, Mirka
9 Seiler, Werner M.
9 Stadler, Peter F.
8 Kotsireas, Ilias S.
8 Tajima, Shinichi
8 Wang, Dongming
7 Boulier, François
7 England, Matthew
7 Levin, Alexander Borisovich
7 Nabeshima, Katsusuke
7 Vasconcelos, Paulo Beleza
6 Davenport, James Harold
6 Li, Hongbo
6 Roanes-Lozano, Eugenio
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 Simos, Dimitris E.
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 Lemaire, François
4 Matos, José M. A.
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
3 Akram, Muhammad
3 Botana, Francisco
3 Ceria, Michela
3 Corless, Robert Malcolm
3 da Rocha, Zélia
3 El Kahoui, M’hammed
3 Emiris, Ioannis Z.
3 Escobar, José María
3 Gutnik, Sergey A.
3 Jeffrey, David J.
3 Kaliszyk, Cezary
3 Kohlhase, Michael
3 Kovács, Zoltán
3 Kreuzer, Martin
3 Krupa, Jan
3 Loja, Amélia
3 Manin, Yuriĭ Ivanovich
3 Martínez-Moro, Edgar
3 Mesquita, Teresa Augusta
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 Rodrigues, José Alberto
3 Sarychev, Vasily A.
3 Siddiqui, Muhammad Kamran
3 Sit, William Yu
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 Daykin, Jacqueline W.
...and 981 more Authors
all top 5

Fields

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

Publications by Year

Citations contained in zbMATH Open

388 Publications have been cited 1,770 times in 1,546 Documents Cited by Year
A fast approach to creative telescoping. Zbl 1218.68205
Koutschan, Christoph
41
2010
HOL(y)Hammer: online ATP service for HOL Light. Zbl 1322.68177
Kaliszyk, Cezary; Urban, Josef
34
2015
Testing sign conditions on a multivariate polynomial and applications. Zbl 1126.14068
El Din, Mohab Safey
33
2007
Semi-local string comparison: algorithmic techniques and applications. Zbl 1158.68054
Tiskin, Alexander
27
2008
Coquelicot: a user-friendly library of real analysis for Coq. Zbl 1322.68176
Boldo, Sylvie; Lelay, Catherine; Melquiond, Guillaume
26
2015
Computing numerically with functions instead of numbers. Zbl 1145.41302
Trefethen, Lloyd N.
24
2007
Algebraic approaches to stability analysis of biological systems. Zbl 1138.68668
Niu, Wei; Wang, Dongming
23
2008
Symbolic computation of local symmetries of nonlinear and linear partial and ordinary differential equations. Zbl 1218.68203
Cheviakov, Alexei F.
23
2010
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
22
2009
On the topology of real algebraic plane curves. Zbl 1205.14038
Cheng, Jinsan; Lazard, Sylvain; Peñaranda, Luis; Pouget, Marc; Rouillier, Fabrice
22
2010
Stability analysis for discrete biological models using algebraic methods. Zbl 1270.92023
Li, Xiaoliang; Mou, Chenqi; Niu, Wei; Wang, Dongming
21
2011
Dynamics and optimal control of Ebola transmission. Zbl 1352.49042
Rachah, Amira; Torres, Delfim F. M.
21
2016
Serre’s reduction of linear functional systems. Zbl 1275.16003
Boudellioua, M. S.; Quadrat, A.
19
2010
Near sets: an introduction. Zbl 1266.54068
Peters, James F.
17
2013
Cryptanalysis of two McEliece cryptosystems based on quasi-cyclic codes. Zbl 1205.94095
Otmani, Ayoub; Tillich, Jean-Pierre; Dallot, Léonard
17
2010
Lempel-Ziv factorization using less time & space. Zbl 1181.68315
Chen, Gang; Puglisi, Simon J.; Smyth, W. F.
17
2008
A graph library for Isabelle. Zbl 1308.05055
Noschinski, Lars
16
2015
Linear wirelength of folded hypercubes. Zbl 1254.05133
Rajasingh, Indra; Arockiaraj, Micheal
15
2011
The non-Archimedean theory of discrete systems. Zbl 1267.37006
Anashin, Vladimir
15
2012
Dichotomy results for fixed-point existence problems for Boolean dynamical systems. Zbl 1138.68034
Kosub, Sven
14
2008
A survey on hypergraph products. Zbl 1262.05110
Hellmuth, Marc; Ostermeier, Lydia; Stadler, Peter F.
14
2012
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
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.
14
2018
Using LaTEXas a semantic markup format. Zbl 1176.68230
Kohlhase, Michael
13
2008
On effective analytic continuation. Zbl 1154.68574
van der Hoeven, Joris
13
2007
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
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.
13
2019
Wadge reducibility and infinite computations. Zbl 1157.03018
Selivanov, Victor
12
2008
Tropicalization of classical moduli spaces. Zbl 1305.14031
Ren, Qingchun; Sam, Steven V.; Sturmfels, Bernd
12
2014
A survey of some methods for real quantifier elimination, decision, and satisfiability and their applications. Zbl 1425.68380
Sturm, Thomas
12
2017
Some types of filters in BE-algebras. Zbl 1305.06019
Borumand Saeid, Arsham; Rezaei, Akbar; Borzooei, Rajab Ali
11
2013
Secure restrained domination in graphs. Zbl 1317.05141
Roushini Leely Pushpam, P.; Suseendran, Chitra
11
2015
\(m\)-polar fuzzy labeling graphs with application. Zbl 1357.05127
Akram, Muhammad; Adeel, Arooj
11
2016
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.
11
2021
Persistent topology of syntax. Zbl 1417.91428
Port, Alexander; Gheorghita, Iulia; Guth, Daniel; Clark, John M.; Liang, Crystal; Dasu, Shival; Marcolli, Matilde
11
2018
On the discriminant scheme of homogeneous polynomials. Zbl 1302.13028
Busé, Laurent; Jouanolou, Jean-Pierre
10
2014
Constructive \(D\)-module theory with Singular. Zbl 1217.13011
Andres, Daniel; Brickenstein, Michael; Levandovskyy, Viktor; Martín-Morales, Jorge; Schönemann, Hans
10
2010
Error-correcting codes and phase transitions. Zbl 1278.94097
Manin, Yuri I.; Marcolli, Matilde
10
2011
Superposition as a decision procedure for timed automata. Zbl 1262.68159
Fietzke, Arnaud; Weidenbach, Christoph
10
2012
Dynamic multi-level overlay graphs for shortest paths. Zbl 1158.68053
Bruera, Francesco; Cicerone, Serafino; D’Angelo, Gianlorenzo; Di Stefano, Gabriele; Frigioni, Daniele
10
2008
\(L(2, 1)\)-labeling of permutation and bipartite permutation graphs. Zbl 1310.05204
Paul, Satyabrata; Pal, Madhumangal; Pal, Anita
10
2015
ATP-based cross-verification of Mizar proofs: method, systems, and first experiments. Zbl 1178.68532
Urban, Josef; Sutcliffe, Geoff
9
2008
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
Model reduction of chemical reaction systems using elimination. Zbl 1270.92025
Boulier, François; Lefranc, Marc; Lemaire, François; Morant, Pierre-Emmanuel
9
2011
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
Deriving behavior of Boolean bioregulatory networks from subnetwork dynamics. Zbl 1205.37097
Siebert, Heike
9
2009
Local near sets: pattern discovery in proximity spaces. Zbl 1400.54040
Peters, James F.
9
2013
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
9
2009
Structural properties of word representable graphs. Zbl 1344.68178
Bera, Somnath; Mahalingam, Kalpana
9
2016
On the connection between Ritt characteristic sets and Buchberger-Gröbner bases. Zbl 1388.13058
Wang, Dongming
9
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
9
2017
Usage of modular techniques for efficient computation of ideal operations. Zbl 1402.13026
Noro, Masayuki; Yokoyama, Kazuhiro
9
2018
Counting lattice points on bargraphs of Catalan words. Zbl 1545.05013
Mansour, Toufik; Ramírez, José L.; Toquica, Diana A.
9
2021
Quiver generalized Weyl algebras, skew category algebras and diskew polynomial rings. Zbl 1381.16014
Bavula, V. V.
9
2017
Isotypeness of models and knowledge bases equivalence. Zbl 1319.68213
Aladova, Elena; Plotkin, Eugene; Plotkin, Tatjana
8
2013
TASS: the toolkit for accurate scientific software. Zbl 1264.68113
Siegel, Stephen F.; Zirkel, Timothy K.
8
2011
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
On representations of ternary order relations in numeric strings. Zbl 1369.68364
Kim, Jinil; Amir, Amihood; Na, Joong Chae; Park, Kunsoo; Sim, Jeong Seop
8
2017
Unambiguous automata. Zbl 1158.68019
Béal, Marie-Pierre; Czeizler, Eugen; Kari, Jarkko; Perrin, Dominique
8
2008
The construction of 3D conformal motions. Zbl 1341.65006
Dorst, Leo
8
2016
Sixty years of network reliability. Zbl 1432.68045
Pérez-Rosés, Hebert
8
2018
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
Pseudospectra of matrix polynomials that are expressed in alternative bases. Zbl 1136.15012
Corless, Robert M.; Rezvani, Nargol; Amiraslani, Amirhossein
7
2007
A math query language with an expanded set of wildcards. Zbl 1176.68053
Altamimi, Moody Ebrahem; Youssef, Abdou
7
2008
Zero tests for constants in simple scientific computation. Zbl 1145.26001
Richardson, Daniel
7
2007
Recycling proof patterns in Coq: case studies. Zbl 1302.68243
Heras, Jónathan; Komendantskaya, Ekaterina
7
2014
Newton polytopes and witness sets. Zbl 1304.14077
Hauenstein, Jonathan D.; Sottile, Frank
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
Fast, practical algorithms for computing all the repeats in a string. Zbl 1205.68496
Puglisi, Simon J.; Smyth, W. F.; Yusufu, Munina
7
2010
Computing zeta functions of superelliptic curves in larger characteristic. Zbl 1205.11072
Minzlaff, Moritz
7
2010
\( m\)-fold hypergeometric solutions of linear recurrence equations revisited. Zbl 1262.68190
Horn, Peter; Koepf, Wolfram; Sprenger, Torsten
7
2012
Automatically discovering relaxed Lyapunov functions for polynomial dynamical systems. Zbl 1261.93063
Liu, Jiang; Zhan, Naijun; Zhao, Hengjun
7
2012
A validated real function calculus. Zbl 1266.65074
Collins, Pieter; Niqui, Milad; Revol, Nathalie
7
2011
The Newton polygon of a rational plane curve. Zbl 1205.14039
D’Andrea, Carlos; Sombra, Martín
7
2010
Computing the Newton polygon of the implicit equation. Zbl 1205.14040
Emiris, Ioannis Z.; Konaxis, Christos; Palios, Leonidas
7
2010
Semantic spaces. Zbl 1409.68302
Manin, Yuri I.; Marcolli, Matilde
7
2016
Antimagic labelings of join graphs. Zbl 1317.05169
Bača, Martin; Phanalasy, Oudone; Ryan, Joe; Semaničová-Feňovčíková, Andrea
7
2015
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
6
2007
Bounds on the dimension of trivariate spline spaces: a homological approach. Zbl 1317.13035
Mourrain, Bernard; Villamizar, Nelly
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
Rational general solutions of trivariate rational differential systems. Zbl 1277.68302
Huang, Yanli; Ngô, Lâm Xuân Châu; Winkler, Franz
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
On solving parametric polynomial systems. Zbl 1274.13047
Maza, Marc Moreno; Xia, Bican; Xiao, Rong
6
2012
Formal verification of numerical programs: from C annotated programs to mechanical proofs. Zbl 1264.68054
Boldo, Sylvie; Marché, Claude
6
2011
Engineering a lightweight external memory suffix array construction algorithm. Zbl 1377.68328
Kärkkäinen, Juha; Kempa, Dominik
6
2017
Solving first order autonomous algebraic ordinary differential equations by places. Zbl 1445.12003
Falkensteiner, Sebastian; Sendra, J. Rafael
6
2020
Gröbner systems conversion. Zbl 1409.68344
Hashemi, Amir; Dehghani Darmian, Mahdi; Barkhordar, Marzieh
6
2017
Berge-Fulkerson conjecture on certain snarks. Zbl 1317.05153
Manuel, Paul; Shanthi, A. S.
6
2015
Motion of a swinging Atwood’s machine: simulation and analysis with Mathematica. Zbl 1416.70015
Prokopenya, Alexander N.
6
2017
Calculation and properties of zonal polynomials. Zbl 1462.05350
Jiu, Lin; Koutschan, Christoph
6
2020
Spurious disambiguation errors and how to get rid of them. Zbl 1176.68221
Sacerdoti Coen, Claudio; Zacchiroli, Stefano
5
2008
Wadge degrees of infinitary rational relations. Zbl 1157.03017
Finkel, Olivier
5
2008
Approximate radical for clusters: A global approach using Gaussian elimination or SVD. Zbl 1140.65038
Janovitz-Freireich, Itnuit; Rónyai, Lajos; Szántó, Ágnes
5
2007
The \(3\times 3\times 3\) hyperdeterminant as a polynomial in the fundamental invariants for \(\mathrm{SL}_3(\mathbb C)\times\mathrm{SL}_3(\mathbb C)\times\mathrm{SL}_3(\mathbb C)\). Zbl 1307.14072
Bremner, Murray; Hu, Jiaxiong; Oeding, Luke
5
2014
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
5
2014
Hermite interpolation polynomials on parallelepipeds and FEM applications. Zbl 07734148
Gusev, Alexander A.; Chuluunbaatar, Galmandakh; Chuluunbaatar, Ochbadrakh; Vinitsky, Sergue I.; Blinkov, Yuri A.; Deveikis, Algirdas; Hess, Peter O.; Hai, Luong Le
2
2023
Unitals in projective planes of order 25. Zbl 07700017
Stoichev, Stoicho D.; Gezek, Mustafa
2
2023
Integrable cases of the polynomial Liénard-type equation with resonance in the linear part. Zbl 1546.34005
Edneral, Victor F.
1
2023
Using semicontinuity for standard bases computations. Zbl 07632792
Greuel, Gert-Martin; Pfister, Gerhard; Schönemann, Hans
4
2022
Computing elements of certain form in ideals to prove properties of operators. Zbl 1529.16043
Hofstadler, Clemens; Raab, Clemens G.; Regensburger, Georg
4
2022
Applications of bar code to involutive divisions and a “greedy” algorithm for complete sets. Zbl 07700010
Ceria, Michela
3
2022
A new type of difference dimension polynomials. Zbl 07632791
Levin, Alexander
2
2022
Topological analysis of syntactic structures. Zbl 07498613
Port, Alexander; Karidi, Taelin; Marcolli, Matilde
2
2022
Enumerating solutions to grid-based puzzles with a fixed number of rows. Zbl 1545.05017
Spahn, George
1
2022
Faster beta Weil pairing on BLS pairing friendly curves with odd embedding degree. Zbl 1546.11181
Laurian, Azebaze Guimagang; Emmanuel, Fouotsa; El Mrabet, Nadia; Aminatou, Pecha Njiahouo
1
2022
Non-homogeneous chain of harmonic oscillators. Zbl 1546.34060
Bandeira, Luís; Ramos, Carlos Correia
1
2022
Symbolic approach to 2-orthogonal polynomial solutions of a third order differential equation. Zbl 1544.33009
Mesquita, Teresa Augusta
1
2022
A time-splitting tau method for PDE’s: a contribution for the spectral Tau Toolbox library. Zbl 1544.65011
Lima, N.; Matos, J. A. O.; Matos, J. M. A.; Vasconcelos, P. B.
1
2022
A decomposition of column-convex polyominoes and two vertex statistics. Zbl 1545.05037
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 1547.16032
Bavula, V. V.
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
Recurrences for quadrilateral high-order finite elements. Zbl 1543.65182
Beuchler, Sven; Haubold, Tim; Pillwein, Veronika
1
2022
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.
11
2021
Counting lattice points on bargraphs of Catalan words. Zbl 1545.05013
Mansour, Toufik; Ramírez, José L.; Toquica, Diana A.
9
2021
On the \({H}^1\) conforming virtual element method for time dependent Stokes equation. Zbl 1490.65187
Adak, Dibyendu; Natarajan, Sundararajan
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
Algorithmic reduction of biological networks with multiple time scales. Zbl 1484.13058
Kruff, Niclas; Lüders, Christoph; Radulescu, Ovidiu; Sturm, Thomas; Walcher, Sebastian
5
2021
Tropical differential Gröbner bases. Zbl 1482.14066
Hu, Youren; Gao, Xiao-Shan
4
2021
Testing zero-dimensionality of varieties at a point. Zbl 1492.13037
Nabeshima, Katsusuke; Tajima, Shinichi
4
2021
Symbolic computations of the equilibrium orientations of a system of two connected bodies moving on a circular orbit around the Earth. Zbl 1546.70082
Gutnik, Sergey A.; Sarychev, Vasily A.
4
2021
High-order methods for systems of fractional ordinary differential equations and their application to time-fractional diffusion equations. Zbl 1543.65106
Ferrás, Luís L.; Ford, Neville; Morgado, Maria Luísa; Rebelo, Magda
4
2021
A mechanical geometer. Zbl 1545.68135
Botana, Francisco; Kovács, Zoltán; Recio, Tomás
4
2021
Phylogenetics of Indo-European language families via an algebro-geometric analysis of their syntactic structures. Zbl 1545.91253
Shu, Kevin; Ortegaray, Andrew; Berwick, Robert C.; Marcolli, Matilde
3
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
Clustering complex zeros of triangular systems of polynomials. Zbl 1492.65136
Imbach, Rémi; Pouget, Marc; Yap, Chee
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
Heat kernel analysis of syntactic structures. Zbl 1545.91252
Ortegaray, Andrew; Berwick, Robert C.; Marcolli, Matilde
2
2021
On column-convex and convex Carlitz polyominoes. Zbl 1546.05046
Mansour, Toufik; Rastegar, Reza; Shabani, Armend Sh.
2
2021
Common points between perturbed Chebyshev polynomials of second kind. Zbl 1493.33006
da Rocha, Zélia
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
An algorithm for computing torsion differential forms associated with an isolated hypersurface singularity. Zbl 1476.14008
Tajima, Shinichi; Nabeshima, Katsusuke
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
The absent-minded passengers problem: a motivating challenge solved by computer algebra. Zbl 1543.68472
Schneider, Carsten
1
2021
Common factors in fraction-free matrix decompositions. Zbl 1544.15018
Middeke, Johannes; Jeffrey, David J.; Koutschan, Christoph
1
2021
Compositional properties of alignments. Zbl 1545.68081
Berkemer, Sarah J.; Höner zu Siederdissen, Christian; Stadler, Peter F.
1
2021
Factorials experiments, covering arrays, and combinatorial testing. Zbl 1545.68082
Kacker, Raghu N.; Kuhn, D. Richard; Lei, Yu; Simos, Dimitris E.
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
6
2020
Calculation and properties of zonal polynomials. Zbl 1462.05350
Jiu, Lin; Koutschan, Christoph
6
2020
Coxeter triangulations have good quality. Zbl 1488.51006
Choudhary, Aruni; Kachanovich, Siargey; Wintraecken, Mathijs
5
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
4
2020
Bar code: a visual representation for finite sets of terms and its applications. Zbl 1456.05182
Ceria, Michela
4
2020
Nori diagrams and persistent homology. Zbl 1464.18002
Manin, Yuri I.; Marcolli, Matilde
3
2020
On the numerical analysis and visualisation of implicit ordinary differential equations. Zbl 1461.34017
Braun, Elishan; Seiler, Werner M.; Seiß, Matthias
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
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.
3
2020
An algorithm for computing Grothendieck local residues. II: General case. Zbl 1457.32006
Ohara, Katsuyoshi; Tajima, Shinichi
3
2020
A symbolic dynamic geometry system using the analytical geometry method. Zbl 1474.68454
Todd, Philip
3
2020
Numerical software to compute Newton polytopes and tropical membership. Zbl 1474.14002
Brysiewicz, Taylor
3
2020
A different construction for some classes of quantum MDS codes. Zbl 1454.94130
Sarı, Mustafa; Kolotoğlu, Emre
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
Multivariate difference-differential dimension polynomials. Zbl 1456.12003
Levin, Alexander
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 1545.85001
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
Self-dual codes over chain rings. Zbl 1456.94132
Eisenbarth, Simon; Nebe, Gabriele
1
2020
Nonlinear oscillations of a spring pendulum at the 1:1:2 resonance by normal form methods. Zbl 1456.70034
Edneral, Victor F.; Petrov, Alexander G.
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
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
Automated detection of interesting properties in regular polygons. Zbl 1466.51009
Kovács, Zoltán
1
2020
Relaxed weighted path order in theorem proving. Zbl 1488.68139
Jakubův, Jan; Kaliszyk, Cezary
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.
13
2019
A physics perspective on the resistance distance for graphs. Zbl 1474.94102
Kagan, Mikhail; Mata, Brian
5
2019
A modified Hermite interpolation with exponential parameterization. Zbl 1474.65030
Kozera, R.; Wilkołazka, M.
5
2019
An algorithm for computing Grothendieck local residues. I: Shape basis case. Zbl 1474.32015
Ohara, Katsuyoshi; Tajima, Shinichi
4
2019
Modelling Atwood’s machine with three degrees of freedom. Zbl 1459.70043
Prokopenya, Alexander N.
4
2019
Hamiltonian dynamical systems: symbolical, numerical and graphical study. Zbl 1488.70002
Takato, Setsuo; Vallejo, José A.
4
2019
Minimal height companion matrices for Euclid polynomials. Zbl 1474.11069
Chan, E. Y. S.; Corless, R. M.
3
2019
On multivariate Hermitian quadratic forms. Zbl 07095829
Fukasaku, Ryoya; Iwane, Hidenao; Sato, Yosuke
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
Permutation patterns and cell decompositions. Zbl 1462.05023
Mansour, Toufik; Schork, Matthias
2
2019
Approximate polynomial GCD by approximate syzygies. Zbl 1474.13053
Lichtblau, Daniel
2
2019
Optimal symmetry breaking for graph problems. Zbl 1474.68225
Heule, Marijn J. H.
2
2019
Locus computation in dynamic geometry environment. Zbl 1474.97015
Blažek, Jiří; Pech, Pavel
2
2019
An implementation of the Lê-Teissier method for computing local Euler obstructions. Zbl 1474.32048
Tajima, Shinichi; Nabeshima, Katsusuke
2
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
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
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
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
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.
14
2018
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
Persistent topology of syntax. Zbl 1417.91428
Port, Alexander; Gheorghita, Iulia; Guth, Daniel; Clark, John M.; Liang, Crystal; Dasu, Shival; Marcolli, Matilde
11
2018
Usage of modular techniques for efficient computation of ideal operations. Zbl 1402.13026
Noro, Masayuki; Yokoyama, Kazuhiro
9
2018
...and 288 more Documents
all top 5

Cited by 2,447 Authors

19 Sturm, Thomas
18 Kaliszyk, Cezary
15 England, Matthew
15 Nabeshima, Katsusuke
15 Safey El Din, Mohab
14 Davenport, James Harold
14 Urban, Josef
13 Kohlhase, Michael
13 Marcolli, Matilde
12 Tajima, Shinichi
11 Pal, Madhumangal
11 Sendra, Juan Rafael
10 Hellmuth, Marc
10 Lemaire, François
10 Niu, Wei
10 Peters, James Francis III
10 Prokopenya, Alexander N.
10 Torres, Delfim Fernando Marado
10 Wang, Dongming
9 Akram, Muhammad
9 Arockiaraj, Micheal
9 Li, Dongmei
9 Ozturk, Mehmet Ali
9 Seiler, Werner M.
8 Boulier, François
8 D’Angelo, Gianlorenzo
8 Finkel, Olivier
8 Liu, Jinwang
8 Paulson, Lawrence Charles
8 Rabe, Florian
8 Ramírez, José Luis
8 Sagraloff, Michael
8 Smyth, William F.
8 Tahar, Sofiène
7 Aladova, Elena V.
7 Bavula, Vladimir V.
7 Boissonnat, Jean-Daniel
7 Cheviakov, Alexei F.
7 Corless, Robert Malcolm
7 D’Emidio, Mattia
7 Frigioni, Daniele
7 Huang, Bo
7 Rauh, Andreas
7 Uchizawa, Kei
7 Weber, Andreas Günter
7 Yau, Shing-Tung
6 Abraham, Jessie
6 Aschemann, Harald
6 Blanchette, Jasmin Christian
6 Bostan, Alin
6 Ceria, Michela
6 Cheng, Jinsan
6 Guo, Li
6 Inenaga, Shunsuke
6 Jin, Kai
6 Koutschan, Christoph
6 Mansour, Toufik
6 Moreno Maza, Marc
6 Mou, Chenqi
6 Ogihara, Mitsunori
6 Plavka, Ján
6 Radulescu, Ovidiu
6 Shalini, Arul Jeya
6 Vasconcelos, Paulo Beleza
6 Wang, Dingkang
6 Winkler, Franz
6 Wintraecken, Mathijs Hubertus Maria Johannes
6 Xia, Bican
6 Yueh, Mei-Heng
5 Amanathulla, Sk
5 Borumand Saeid, Arsham
5 Busé, Laurent
5 Chen, Shaoshi
5 Cluzeau, Thomas
5 Colbourn, Charles J.
5 Emiris, Ioannis Z.
5 Falkensteiner, Sebastian
5 İnan, Ebubekir
5 Jo, Seungbum
5 Kartal, Senol
5 Kauers, Manuel
5 Lairez, Pierre
5 Landau, Gad M.
5 Levandovskyy, Viktor
5 Lin, Wen-Wei
5 Lu, Dong
5 Manin, Yuriĭ Ivanovich
5 Minglibayev, Mukhtar Zh.
5 Ostermeier, Lydia
5 Pal, Anita
5 Park, Kunsoo
5 Pérez-Díaz, Sonia
5 Plotkin, Tatjana L.
5 Quadrat, Alban
5 Rahkooy, Hamid
5 Robertz, Daniel
5 Rouillier, Fabrice
5 Sacerdoti Coen, Claudio
5 Satti, Srinivasa Rao
5 Seiß, Matthias
...and 2,347 more Authors
all top 5

Cited in 368 Journals

123 Mathematics in Computer Science
88 Journal of Symbolic Computation
42 Theoretical Computer Science
32 Journal of Automated Reasoning
20 Journal of Systems Science and Complexity
16 Designs, Codes and Cryptography
15 Journal of Computational and Applied Mathematics
14 Discrete Applied Mathematics
14 Journal of Algebra
13 Algorithmica
12 Applied Mathematics and Computation
11 Programming and Computer Software
11 Applicable Algebra in Engineering, Communication and Computing
11 Journal of Discrete Algorithms
10 Chaos, Solitons and Fractals
9 Discrete Mathematics
9 Discrete Mathematics, Algorithms and Applications
8 Journal of Mathematical Physics
8 Mathematical Methods in the Applied Sciences
8 Computer Aided Geometric Design
8 Journal of Applied Mathematics and Computing
8 ACM Journal of Experimental Algorithmics
7 Mathematics of Computation
7 Advances in Applied Mathematics
7 Information and Computation
7 International Journal of Bifurcation and Chaos in Applied Sciences and Engineering
7 Computational and Applied Mathematics
7 Communications in Nonlinear Science and Numerical Simulation
7 \(p\)-Adic Numbers, Ultrametric Analysis, and Applications
7 Afrika Matematika
6 Communications in Algebra
6 Information Processing Letters
6 Journal of Mathematical Analysis and Applications
6 Bulletin of Mathematical Biology
6 Automatica
6 Discrete & Computational Geometry
6 Numerical Algorithms
6 Linear Algebra and its Applications
6 Discrete Dynamics in Nature and Society
6 Lobachevskii Journal of Mathematics
6 AKCE International Journal of Graphs and Combinatorics
6 Electronic Journal of Graph Theory and Applications
5 Journal of Pure and Applied Algebra
5 European Journal of Combinatorics
5 Journal of Scientific Computing
5 The Australasian Journal of Combinatorics
5 Experimental Mathematics
5 Journal of Mathematical Sciences (New York)
5 Advances in Applied Clifford Algebras
5 The Electronic Journal of Combinatorics
5 Doklady Mathematics
5 Communications de la Faculté des Sciences de l’Université d’Ankara. Séries A1. Mathematics and Statistics
5 Mathematical Biosciences and Engineering
5 Logical Methods in Computer Science
5 Asian-European Journal of Mathematics
5 Open Mathematics
4 Networks
4 Applied Numerical Mathematics
4 Annals of Mathematics and Artificial Intelligence
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 SIAM Journal on Applied Dynamical Systems
4 Advances in Difference Equations
4 Journal of Physics A: Mathematical and Theoretical
4 Advances in Mathematics of Communications
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 Computer Physics Communications
3 Linear and Multilinear Algebra
3 Nuclear Physics. B
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 Topology and its Applications
3 Journal of Complexity
3 Computers & Operations Research
3 Multidimensional Systems and Signal Processing
3 Random Structures & Algorithms
3 Mathematical Structures in Computer Science
3 International Journal of Foundations of Computer Science
3 Journal of Global Optimization
3 Journal of Algebraic Combinatorics
3 Complexity
3 International Transactions in Operational Research
3 Mathematical Problems in Engineering
3 Nonlinear Dynamics
3 Journal of Combinatorial Optimization
3 Advances in Geometry
3 Foundations of Computational Mathematics
...and 268 more Journals
all top 5

Cited in 59 Fields

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