×

zbMATH — the first resource for mathematics

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: 526 Publications (since 2007)
References Indexed: 433 Publications with 10,707 References.
all top 5

Authors

9 Miller, Mirka
8 Marcolli, Matilde
7 Dana-Picard, Thierry Noah
7 Stadler, Peter F.
7 Wang, Dongming
6 Davenport, James Harold
6 Kotsireas, Ilias S.
6 Levin, Alexander Borisovich
6 Li, Hongbo
6 Ryan, Joe
6 Tajima, Shinichi
5 Bača, Martin
5 Hellmuth, Marc
5 Iliopoulos, Costas S.
5 Jaulin, Luc
5 Nabeshima, Katsusuke
5 Prokopenya, Alexander N.
5 Rajasingh, Indra
5 Roanes-Lozano, Eugenio
5 Seiler, Werner M.
4 Anai, Hirokazu
4 Boulier, François
4 Chen, Xiaoyu
4 Conceição, Ana C.
4 Jüttler, Bert
4 Koepf, Wolfram A.
4 Lemaire, François
4 Peters, James Francis III
4 Rahman, Mohammad Sohel
4 Rajan, Bharati
4 Sendra, Juan Rafael
3 Akram, Muhammad
3 Bavula, Vladimir V.
3 Corless, Robert Malcolm
3 El Kahoui, M’hammed
3 England, Matthew
3 Escobar, José María
3 Galán-García, José Luis
3 Hashemi, Amir
3 Kaliszyk, Cezary
3 Kohlhase, Michael
3 Koutschan, Christoph
3 Krupa, Jan
3 Loja, Amélia
3 Manin, Yuri Ivanovich
3 Martínez-Moro, Edgar
3 Núñez-Valdés, Juan
3 Pérez-Fernández, Pedro
3 Phanalasy, Oudone
3 Puglisi, Simon J.
3 Quadras, Jasintha
3 Ramanna, Sheela
3 Rodrigues, José Alberto
3 Siddiqui, Muhammad Kamran
3 Sit, William Yu
3 Suzuki, Masakazu
3 Torres, Delfim Fernando Marado
3 Urban, Josef
3 Vasconcelos, Paulo Beleza
3 Wojas, Włodzimierz
3 Zhang, Lixian
2 Armario, José ándrés
2 Arockiaraj, Micheal
2 Aschemann, Harald
2 Autexier, Serge
2 Aydogan, S. Melike
2 Barbosa, Joaquim Infante
2 Berberich, Eric
2 Boldo, Sylvie
2 Botana, Francisco
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
2 Graillat, Stef
2 Guo, Li
2 Halperin, Dan
2 Hašek, Roman
2 Henry, Christopher J.
2 Ichishima, Rikio
2 Imrich, Wilfried
2 Iwane, Hidenao
2 Jesintha, J. Jeba
2 Jurrius, Relinde P. M. J.
...and 848 more Authors
all top 5

Fields

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

Citations contained in zbMATH Open

287 Publications have been cited 900 times in 808 Documents Cited by Year
Testing sign conditions on a multivariate polynomial and applications. Zbl 1126.14068
El Din, Mohab Safey
22
2007
A fast approach to creative telescoping. Zbl 1218.68205
Koutschan, Christoph
20
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
16
2009
Symbolic computation of local symmetries of nonlinear and linear partial and ordinary differential equations. Zbl 1218.68203
Cheviakov, Alexei F.
16
2010
Computing numerically with functions instead of numbers. Zbl 1145.41302
Trefethen, Lloyd N.
15
2007
HOL(y)Hammer: online ATP service for HOL Light. Zbl 1322.68177
Kaliszyk, Cezary; Urban, Josef
14
2015
Lempel-Ziv factorization using less time & space. Zbl 1181.68315
Chen, Gang; Puglisi, Simon J.; Smyth, W. F.
14
2008
On the topology of real algebraic plane curves. Zbl 1205.14038
Cheng, Jinsan; Lazard, Sylvain; Peñaranda, Luis; Pouget, Marc; Rouillier, Fabrice
13
2010
Semi-local string comparison: algorithmic techniques and applications. Zbl 1158.68054
Tiskin, Alexander
12
2008
Algebraic approaches to stability analysis of biological systems. Zbl 1138.68668
Niu, Wei; Wang, Dongming
12
2008
The non-Archimedean theory of discrete systems. Zbl 1267.37006
Anashin, Vladimir
12
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
11
2008
Serre’s reduction of linear functional systems. Zbl 1275.16003
Boudellioua, M. S.; Quadrat, A.
11
2010
Linear wirelength of folded hypercubes. Zbl 1254.05133
Rajasingh, Indra; Arockiaraj, Micheal
10
2011
Stability analysis for discrete biological models using algebraic methods. Zbl 1270.92023
Li, Xiaoliang; Mou, Chenqi; Niu, Wei; Wang, Dongming
10
2011
Tropicalization of classical moduli spaces. Zbl 1305.14031
Ren, Qingchun; Sam, Steven V.; Sturmfels, Bernd
9
2014
On effective analytic continuation. Zbl 1154.68574
van der Hoeven, Joris
9
2007
Using LaTEX as a semantic markup format. Zbl 1176.68230
Kohlhase, Michael
9
2008
Deriving behavior of Boolean bioregulatory networks from subnetwork dynamics. Zbl 1205.37097
Siebert, Heike
9
2009
Error-correcting codes and phase transitions. Zbl 1278.94097
Manin, Yuri I.; Marcolli, Matilde
9
2011
Coquelicot: a user-friendly library of real analysis for Coq. Zbl 1322.68176
Boldo, Sylvie; Lelay, Catherine; Melquiond, Guillaume
8
2015
Dynamics and optimal control of Ebola transmission. Zbl 1352.49042
Rachah, Amira; Torres, Delfim F. M.
8
2016
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
8
2014
Cylindrical algebraic sub-decompositions. Zbl 1309.68232
Wilson, D. J.; Bradford, R. J.; Davenport, J. H.; England, M.
8
2014
ATP-based cross-verification of Mizar proofs: method, systems, and first experiments. Zbl 1178.68532
Urban, Josef; Sutcliffe, Geoff
8
2008
A survey on hypergraph products. Zbl 1262.05110
Hellmuth, Marc; Ostermeier, Lydia; Stadler, Peter F.
8
2012
Dynamic multi-level overlay graphs for shortest paths. Zbl 1158.68053
Bruera, Francesco; Cicerone, Serafino; D’Angelo, Gianlorenzo; Di Stefano, Gabriele; Frigioni, Daniele
7
2008
Wadge reducibility and infinite computations. Zbl 1157.03018
Selivanov, Victor
7
2008
\(m\)-polar fuzzy labeling graphs with application. Zbl 1357.05127
Akram, Muhammad; Adeel, Arooj
7
2016
Quiver generalized Weyl algebras, skew category algebras and diskew polynomial rings. Zbl 1381.16014
Bavula, V. V.
7
2017
Cryptanalysis of two McEliece cryptosystems based on quasi-cyclic codes. Zbl 1205.94095
Otmani, Ayoub; Tillich, Jean-Pierre; Dallot, Léonard
7
2010
A validated real function calculus. Zbl 1266.65074
Collins, Pieter; Niqui, Milad; Revol, Nathalie
6
2011
Zero tests for constants in simple scientific computation. Zbl 1145.26001
Richardson, Daniel
6
2007
Pseudospectra of matrix polynomials that are expressed in alternative bases. Zbl 1136.15012
Corless, Robert M.; Rezvani, Nargol; Amiraslani, Amirhossein
6
2007
Local algorithms for the prime factorization of strong product graphs. Zbl 1205.05222
Hellmuth, Marc; Imrich, Wilfried; Klöckl, Werner; Stadler, Peter F.
6
2009
Fast, practical algorithms for computing all the repeats in a string. Zbl 1205.68496
Puglisi, Simon J.; Smyth, W. F.; Yusufu, Munina
6
2010
Computing the Newton polygon of the implicit equation. Zbl 1205.14040
Emiris, Ioannis Z.; Konaxis, Christos; Palios, Leonidas
6
2010
Optimal eighth order iterative methods. Zbl 1256.65041
Khattri, Sanjay Kumar
6
2011
Local near sets: pattern discovery in proximity spaces. Zbl 1400.54040
Peters, James F.
6
2013
Superposition as a decision procedure for timed automata. Zbl 1262.68159
Fietzke, Arnaud; Weidenbach, Christoph
6
2012
Improved agreeing-gluing algorithm. Zbl 1343.94080
Semaev, Igor
5
2013
Some types of filters in BE-algebras. Zbl 1305.06019
Borumand Saeid, Arsham; Rezaei, Akbar; Borzooei, Rajab Ali
5
2013
Isotypeness of models and knowledge bases equivalence. Zbl 1319.68213
Aladova, Elena; Plotkin, Eugene; Plotkin, Tatjana
5
2013
Secure restrained domination in graphs. Zbl 1317.05141
Roushini Leely Pushpam, P.; Suseendran, Chitra
5
2015
Unambiguous automata. Zbl 1158.68019
Béal, Marie-Pierre; Czeizler, Eugen; Kari, Jarkko; Perrin, Dominique
5
2008
Recycling proof patterns in Coq: case studies. Zbl 1302.68243
Heras, Jónathan; Komendantskaya, Ekaterina
5
2014
Interval methods for real-time capable robust control of solid oxide fuel cell systems. Zbl 1302.65120
Rauh, Andreas; Senkel, Luise; Auer, Ekaterina; Aschemann, Harald
5
2014
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
5
2007
A math query language with an expanded set of wildcards. Zbl 1176.68053
Altamimi, Moody Ebrahem; Youssef, Abdou
5
2008
Fundamentals of computational conformal geometry. Zbl 1229.53010
Gu, David Xianfeng; Luo, Feng; Yau, Shing-Tung
5
2010
Triangulating smooth submanifolds with light scaffolding. Zbl 1229.68077
Boissonnat, Jean-Daniel; Ghosh, Arijit
5
2010
Redundant \(\tau \)-adic expansions. II: Non-optimality and chaotic behaviour. Zbl 1205.11014
Heuberger, Clemens
5
2010
Truncation formulas for invariant polynomials of matroids and geometric lattices. Zbl 1262.05019
Jurrius, Relinde; Pellikaan, Ruud
5
2012
On the connection between Ritt characteristic sets and Buchberger-Gröbner bases. Zbl 1388.13058
Wang, Dongming
5
2016
Partial star products: a local covering approach for the recognition of approximate Cartesian product graphs. Zbl 1319.68157
Hellmuth, Marc; Imrich, Wilfried; Kupka, Tomas
4
2013
A graph library for Isabelle. Zbl 1308.05055
Noschinski, Lars
4
2015
\(L(2, 1)\)-labeling of permutation and bipartite permutation graphs. Zbl 1310.05204
Paul, Satyabrata; Pal, Madhumangal; Pal, Anita
4
2015
Towards a Lanczos’ \(\tau \)-method toolkit for differential problems. Zbl 1353.65083
Trindade, Marcelo; Matos, J.; Vasconcelos, P. B.
4
2016
A survey of some methods for real quantifier elimination, decision, and satisfiability and their applications. Zbl 1425.68380
Sturm, Thomas
4
2017
Persistent topology of syntax. Zbl 1417.91428
Port, Alexander; Gheorghita, Iulia; Guth, Daniel; Clark, John M.; Liang, Crystal; Dasu, Shival; Marcolli, Matilde
4
2018
Descriptive proximities: properties and interplay between classical proximities and overlap. Zbl 1403.54017
Di Concilio, A.; Guadagni, C.; Peters, J. F.; Ramanna, S.
4
2018
Analysis and optimal control of an intracellular delayed HIV model with CTL immune response. Zbl 1403.34057
Allali, Karam; Harroudi, Sanaa; Torres, Delfim F. M.
4
2018
On the unavoidable uncertainty of truth in dynamic geometry proving. Zbl 1357.68197
Botana, Francisco; Recio, Tomas
4
2016
The construction of 3D conformal motions. Zbl 1341.65006
Dorst, Leo
4
2016
Dichotomy results for fixed-point existence problems for Boolean dynamical systems. Zbl 1138.68034
Kosub, Sven
4
2008
Spurious disambiguation errors and how to get rid of them. Zbl 1176.68221
Sacerdoti Coen, Claudio; Zacchiroli, Stefano
4
2008
Hybrid dynamics of stochastic \(\pi \)-calculus. Zbl 1205.68238
Bortolussi, Luca; Policriti, Alberto
4
2009
Scalability and communication in parallel low-complexity lossless compression. Zbl 1205.94025
Cinque, Luigi; De Agostino, Sergio; Lombardi, Luca
4
2010
Scale free properties of random \(k\)-trees. Zbl 1205.05211
Cooper, Colin; Uehara, Ryuhei
4
2010
Transforming large collections of scientific publications to XML. Zbl 1205.68490
Stamerjohanns, Heinrich; Kohlhase, Michael; Ginev, Deyan; David, Catalin; Miller, Bruce
4
2010
Optimising Gröbner bases on Bivium. Zbl 1205.94081
Eibach, Tobias; Völkel, Gunnar; Pilz, Enrico
4
2010
On partitional labelings of graphs. Zbl 1205.05204
Ichishima, Rikio; Oshima, Akito
4
2010
The Newton polygon of a rational plane curve. Zbl 1205.14039
D’Andrea, Carlos; Sombra, Martín
4
2010
Enumeration and generating functions of Rota-Baxter words. Zbl 1218.16030
Guo, Li; Sit, William Y.
4
2010
Constructive \(D\)-module theory with Singular. Zbl 1217.13011
Andres, Daniel; Brickenstein, Michael; Levandovskyy, Viktor; Martín-Morales, Jorge; Schönemann, Hans
4
2010
All arbitrarily fixed generalized banana trees are graceful. Zbl 1254.05174
Jesintha, J. Jeba; Sethuraman, G.
4
2011
Signature-based perceptual nearness: application of near sets to image retrieval. Zbl 1262.68176
Henry, Christopher J.; Ramanna, Sheela
4
2013
\( m\)-fold hypergeometric solutions of linear recurrence equations revisited. Zbl 1262.68190
Horn, Peter; Koepf, Wolfram; Sprenger, Torsten
4
2012
Rational general solutions of trivariate rational differential systems. Zbl 1277.68302
Huang, Yanli; Ngô, Lâm Xuân Châu; Winkler, Franz
4
2012
Automatically discovering relaxed Lyapunov functions for polynomial dynamical systems. Zbl 1261.93063
Liu, Jiang; Zhan, Naijun; Zhao, Hengjun
4
2012
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
4
2017
Total edge irregularity strength of toroidal fullerene. Zbl 1306.05213
Bača, Martin; Lascsáková, Marcela; Siddiqui, Muhammad Kamran
3
2013
Antimagic labelings of join graphs. Zbl 1317.05169
Bača, Martin; Phanalasy, Oudone; Ryan, Joe; Semaničová-Feňovčíková, Andrea
3
2015
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
3
2015
Berge-Fulkerson conjecture on certain snarks. Zbl 1317.05153
Manuel, Paul; Shanthi, A. S.
3
2015
Bounds on the dimension of trivariate spline spaces: a homological approach. Zbl 1317.13035
Mourrain, Bernard; Villamizar, Nelly
3
2014
On the discriminant scheme of homogeneous polynomials. Zbl 1302.13028
Busé, Laurent; Jouanolou, Jean-Pierre
3
2014
Newton polytopes and witness sets. Zbl 1304.14077
Hauenstein, Jonathan D.; Sottile, Frank
3
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
3
2014
Sliding mode techniques for robust trajectory tracking as well as state and parameter estimation. Zbl 1301.93041
Senkel, Luise; Rauh, Andreas; Aschemann, Harald
3
2014
Structural properties of word representable graphs. Zbl 1344.68178
Bera, Somnath; Mahalingam, Kalpana
3
2016
Usage of modular techniques for efficient computation of ideal operations. Zbl 1402.13026
Noro, Masayuki; Yokoyama, Kazuhiro
3
2018
Goethals-Seidel difference families with symmetric or skew base blocks. Zbl 1444.05028
Đoković, Dragomir Ž.; Kotsireas, Ilias S.
3
2018
Formal verification of numerical programs: from C annotated programs to mechanical proofs. Zbl 1264.68054
Boldo, Sylvie; Marché, Claude
3
2011
TASS: the toolkit for accurate scientific software. Zbl 1264.68113
Siegel, Stephen F.; Zirkel, Timothy K.
3
2011
Thinning out redundant empirical data. Zbl 1127.62057
Abbott, John; Fassino, Claudia; Torrente, Maria-Laura
3
2007
Approximate radical for clusters: A global approach using Gaussian elimination or SVD. Zbl 1140.65038
Janovitz-Freireich, Itnuit; Rónyai, Lajos; Szántó, Ágnes
3
2007
Relevance ranking and hit description in math search. Zbl 1178.68218
Youssef, Abdou S.
3
2008
A general approach to isolating roots of a bitstream polynomial. Zbl 1229.65077
Sagraloff, Michael
3
2010
Algorithms for singleton attractor detection in planar and nonplanar AND/OR Boolean networks. Zbl 1205.90305
Tamura, Takeyuki; Akutsu, Tatsuya
3
2009
Testing zero-dimensionality of varieties at a point. Zbl 07363380
Nabeshima, Katsusuke; Tajima, Shinichi
1
2021
An algorithm for computing torsion differential forms associated with an isolated hypersurface singularity. Zbl 07363382
Tajima, Shinichi; Nabeshima, Katsusuke
1
2021
Coxeter triangulations have good quality. Zbl 07205391
Choudhary, Aruni; Kachanovich, Siargey; Wintraecken, Mathijs
2
2020
Efficient and secure delegation of exponentiation in general groups to a single malicious server. Zbl 07268450
Di Crescenzo, Giovanni; Khodjaeva, Matluba; Kahrobaei, Delaram; Shpilrain, Vladimir
1
2020
Modular techniques for noncommutative Gröbner bases. Zbl 1460.16053
Decker, Wolfram; Eder, Christian; Levandovskyy, Viktor; Tiwari, Sharwan K.
1
2020
Exploring the isoptics of Fermat curves in the affine plane using DGS and CAS. Zbl 07205385
Dana-Picard, Thierry; Naiman, Aharon; Mozgawa, Witold; Cieślak, Waldemar
1
2020
Testing hyperbolicity of real polynomials. Zbl 07205389
Dey, Papri; Plaumann, Daniel
1
2020
A note on modified Hermite interpolation. Zbl 07225412
Kozera, R.; Wilkołazka, M.
1
2020
Solving first order autonomous algebraic ordinary differential equations by places. Zbl 1445.12003
Falkensteiner, Sebastian; Sendra, J. Rafael
1
2020
Using machine learning to improve cylindrical algebraic decomposition. Zbl 07137257
Huang, Zongyan; England, Matthew; Wilson, David J.; Bridge, James; Davenport, James H.; Paulson, Lawrence C.
3
2019
A modified Hermite interpolation with exponential parameterization. Zbl 07095834
Kozera, R.; Wilkołazka, M.
3
2019
Hamiltonian dynamical systems: symbolical, numerical and graphical study. Zbl 07095845
Takato, Setsuo; Vallejo, José A.
2
2019
Divisive cover. Zbl 07095824
Blaser, Nello; Brun, Morten
1
2019
Locus computation in dynamic geometry environment. Zbl 07095825
Blažek, Jiří; Pech, Pavel
1
2019
Minimal height companion matrices for Euclid polynomials. Zbl 07095826
Chan, E. Y. S.; Corless, R. M.
1
2019
Dynamic geometry software supplemented with a computer algebra system as a proving tool. Zbl 07095830
Hašek, R.
1
2019
A physics perspective on the resistance distance for graphs. Zbl 07095831
Kagan, Mikhail; Mata, Brian
1
2019
Permutation patterns and cell decompositions. Zbl 1462.05023
Mansour, Toufik; Schork, Matthias
1
2019
Solving parametric ideal membership problems and computing integral numbers in a ring of convergent power series via comprehensive Gröbner systems. Zbl 07095837
Nabeshima, Katsusuke; Tajima, Shinichi
1
2019
An algorithm for computing Grothendieck local residues. I: Shape basis case. Zbl 07095839
Ohara, Katsuyoshi; Tajima, Shinichi
1
2019
Modelling Atwood’s machine with three degrees of freedom. Zbl 1459.70043
Prokopenya, Alexander N.
1
2019
An implementation of the Lê-Teissier method for computing local Euler obstructions. Zbl 07095844
Tajima, Shinichi; Nabeshima, Katsusuke
1
2019
An algebraic approach to DC railway electrification verification. Zbl 07103594
Roanes-Lozano, Eugenio; González-Martín, Rubén; Montero, Javier
1
2019
Persistent topology of syntax. Zbl 1417.91428
Port, Alexander; Gheorghita, Iulia; Guth, Daniel; Clark, John M.; Liang, Crystal; Dasu, Shival; Marcolli, Matilde
4
2018
Descriptive proximities: properties and interplay between classical proximities and overlap. Zbl 1403.54017
Di Concilio, A.; Guadagni, C.; Peters, J. F.; Ramanna, S.
4
2018
Analysis and optimal control of an intracellular delayed HIV model with CTL immune response. Zbl 1403.34057
Allali, Karam; Harroudi, Sanaa; Torres, Delfim F. M.
4
2018
Usage of modular techniques for efficient computation of ideal operations. Zbl 1402.13026
Noro, Masayuki; Yokoyama, Kazuhiro
3
2018
Goethals-Seidel difference families with symmetric or skew base blocks. Zbl 1444.05028
Đoković, Dragomir Ž.; Kotsireas, Ilias S.
3
2018
Solving differential and integral equations with tau method. Zbl 1402.65078
Matos, J. C.; Matos, J. M. A.; Rodrigues, M. J.
2
2018
Non-existence of some nearly perfect sequences, near Butson-Hadamard matrices, and near conference matrices. Zbl 1419.94029
Winterhof, Arne; Yayla, Oğuz; Ziegler, Volker
2
2018
Antimagic labeling of the lexicographic product graph \(K_{m,n}[P_k]\). Zbl 1402.05185
Lu, Yingyu; Dong, Guanghua; Ma, Wenhui; Wang, Ning
1
2018
A new one-parameter invariant function for algebras. Zbl 1451.17004
Escobar, J. M.; Núñez, J.; Pérez-Fernández, P.
1
2018
Symbolic approach to the general quadratic polynomial decomposition. Zbl 1402.33014
Macedo, Ângela; Mesquita, Teresa A.; da Rocha, Zélia
1
2018
Dealing with functional coefficients within tau method. Zbl 1416.65554
Trindade, M.; Matos, J.; Vasconcelos, P. B.
1
2018
Sixty years of network reliability. Zbl 1432.68045
Pérez-Rosés, Hebert
1
2018
Relative difference sets and Hadamard matrices from perfect quaternionic arrays. Zbl 1444.05027
Barrera Acevedo, Santiago; Dietrich, Heiko
1
2018
Quasi-Hadamard full propelinear codes. Zbl 1419.94080
Armario, José Andrés; Bailera, Iván; Borges, Joaquim; Rifà, Josep
1
2018
On a combinatorial framework for fault characterization. Zbl 1433.68268
Colbourn, Charles J.; Syrotiuk, Violet R.
1
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
1
2018
Quiver generalized Weyl algebras, skew category algebras and diskew polynomial rings. Zbl 1381.16014
Bavula, V. V.
7
2017
A survey of some methods for real quantifier elimination, decision, and satisfiability and their applications. Zbl 1425.68380
Sturm, Thomas
4
2017
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
4
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.
2
2017
Motion of a swinging Atwood’s machine: simulation and analysis with Mathematica. Zbl 1416.70015
Prokopenya, Alexander N.
2
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
2
2017
Solving the minimum common string partition problem with the help of ants. Zbl 1409.68270
Ferdous, S. M.; Rahman, M. Sohel
2
2017
What does “without loss of generality” mean, and how do we detect it. Zbl 1425.68464
Davenport, James H.
1
2017
Modeling of an asymptotically central Markov process on 3D Young graph. Zbl 1388.60132
Duzhin, Vasilii; Vasilyev, Nikolay
1
2017
Branch structure and implementation of Lambert \(W\). Zbl 1425.68465
Jeffrey, David J.
1
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
1
2017
On a class of central configurations in the planar \(3n\)-body problem. Zbl 1427.70033
Siluszyk, Agnieszka
1
2017
Design, concepts, and state of the art of the swMATH service. Zbl 1382.68320
Chrapary, Hagen; Dalitz, Wolfgang; Neun, Winfried; Sperber, Wolfram
1
2017
Solving a binary puzzle. Zbl 1382.05012
Utomo, Putranto H.; Makarim, Rusydi H.
1
2017
Compressed spaced suffix arrays. Zbl 1378.68032
Gagie, Travis; Manzini, Giovanni; Valenzuela, Daniel
1
2017
On succinct representations of binary trees. Zbl 1369.68169
Davoodi, Pooya; Raman, Rajeev; Satti, Srinivasa Rao
1
2017
Block graphs in practice. Zbl 1409.68091
Gagie, Travis; Hoobin, Christopher; Puglisi, Simon J.
1
2017
Indeterminate string factorizations and degenerate text transformations. Zbl 1370.68243
Daykin, Jacqueline W.; Watson, Bruce
1
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
1
2017
Approximating multidimensional subset sum and Minkowski decomposition of polygons. Zbl 1409.68330
Emiris, Ioannis Z.; Karasoulou, Anna; Tzovas, Charilaos
1
2017
Gröbner systems conversion. Zbl 1409.68344
Hashemi, Amir; Dehghani Darmian, Mahdi; Barkhordar, Marzieh
1
2017
Syntactic structures and code parameters. Zbl 1441.94116
Shu, Kevin; Marcolli, Matilde
1
2017
Dynamics and optimal control of Ebola transmission. Zbl 1352.49042
Rachah, Amira; Torres, Delfim F. M.
8
2016
\(m\)-polar fuzzy labeling graphs with application. Zbl 1357.05127
Akram, Muhammad; Adeel, Arooj
7
2016
On the connection between Ritt characteristic sets and Buchberger-Gröbner bases. Zbl 1388.13058
Wang, Dongming
5
2016
Towards a Lanczos’ \(\tau \)-method toolkit for differential problems. Zbl 1353.65083
Trindade, Marcelo; Matos, J.; Vasconcelos, P. B.
4
2016
On the unavoidable uncertainty of truth in dynamic geometry proving. Zbl 1357.68197
Botana, Francisco; Recio, Tomas
4
2016
The construction of 3D conformal motions. Zbl 1341.65006
Dorst, Leo
4
2016
Structural properties of word representable graphs. Zbl 1344.68178
Bera, Somnath; Mahalingam, Kalpana
3
2016
Semantic spaces. Zbl 1409.68302
Manin, Yuri I.; Marcolli, Matilde
3
2016
Constructibility classes for triangle location problems. Zbl 1342.51017
Schreck, Pascal; Marinković, Vesna; Janičić, Predrag
2
2016
Automatic constructibility checking of a corpus of geometric construction problems. Zbl 1342.51018
Schreck, Pascal; Mathis, Pascal
2
2016
Towards a certified version of the encyclopedia of triangle centers. Zbl 1343.51001
Narboux, Julien; Braun, David
2
2016
On contractions of Lie algebras. Zbl 1402.17019
Escobar, J. M.; Núñez, J.; Pérez-Fernández, P.
1
2016
Symbolic computation applied to the study of the kernel of a singular integral operator with non-Carleman shift and conjugation. Zbl 1369.47059
Conceição, Ana C.; Marreiros, Rui C.; Pereira, José C.
1
2016
\(T\)-coloring of certain networks. Zbl 1342.05050
Sivagami, P.; Rajasingh, Indra
1
2016
Topological sorting of finitely near sets. Zbl 1345.54020
Dochviri, Irakli; Peters, James F.
1
2016
Exploring the spectra of some classes of singular integral operators with symbolic computation. Zbl 1380.47038
Conceição, Ana C.; Pereira, José C.
1
2016
First order perturbation and local stability of parametrized systems. Zbl 1342.65130
Lichtblau, Daniel
1
2016
Computing the canonical representation of constructible sets. Zbl 1365.13043
Brunat, Josep M.; Montes, Antonio
1
2016
Detecting curves of symmetry in images via Hough transform. Zbl 1357.68195
Ricca, Giorgio; Beltrametti, Mauro C.; Massone, Anna Maria
1
2016
A survey on retrieval of mathematical knowledge. Zbl 1409.68085
Guidi, Ferruccio; Sacerdoti Coen, Claudio
1
2016
Automating change of representation for proofs in discrete mathematics (extended version). Zbl 1409.68261
Raggi, Daniel; Bundy, Alan; Grov, Gudmund; Pease, Alison
1
2016
HOL(y)Hammer: online ATP service for HOL Light. Zbl 1322.68177
Kaliszyk, Cezary; Urban, Josef
14
2015
Coquelicot: a user-friendly library of real analysis for Coq. Zbl 1322.68176
Boldo, Sylvie; Lelay, Catherine; Melquiond, Guillaume
8
2015
Secure restrained domination in graphs. Zbl 1317.05141
Roushini Leely Pushpam, P.; Suseendran, Chitra
5
2015
A graph library for Isabelle. Zbl 1308.05055
Noschinski, Lars
4
2015
\(L(2, 1)\)-labeling of permutation and bipartite permutation graphs. Zbl 1310.05204
Paul, Satyabrata; Pal, Madhumangal; Pal, Anita
4
2015
Antimagic labelings of join graphs. Zbl 1317.05169
Bača, Martin; Phanalasy, Oudone; Ryan, Joe; Semaničová-Feňovčíková, Andrea
3
2015
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
3
2015
Berge-Fulkerson conjecture on certain snarks. Zbl 1317.05153
Manuel, Paul; Shanthi, A. S.
3
2015
Antimagicness of generalized corona and snowflake graphs. Zbl 1308.05094
Daykin, Jacqueline W.; Iliopoulos, Costas S.; Miller, Mirka; Phanalasy, Oudone
2
2015
On QE algorithms over an algebraically closed field based on comprehensive Gröbner systems. Zbl 1341.68311
Fukasaku, Ryoya; Inoue, Shutaro; Sato, Yosuke
2
2015
Efficient geometric operations on convex polyhedra, with an application to reachability analysis of hybrid systems. Zbl 1341.68293
Hagemann, Willem
2
2015
Domination parameters in coronene torus network. Zbl 1317.05140
Quadras, Jasintha; Albert, Sajiya Merlin Mahizl
1
2015
Embedding of the folded hypercubes into tori. Zbl 1317.05154
Quadras, Jasintha; Solomon, Sarah Surya
1
2015
All uniform bow graphs are graceful. Zbl 1317.05172
Jesintha, J. Jeba; Hilda, K. Ezhilarasi
1
2015
Linear layout of directed grid graph. Zbl 1317.05129
Rajasingh, Indra; Arockiaraj, Micheal; Quadras, Jasintha; Shalini, Arul Jeya
1
2015
Total irregularity strength of three families of graphs. Zbl 1317.05174
Ramdani, Rismawati; Salman, A. N. M.; Assiyatun, Hilda; Semaničová-Feňovčíková, Andrea; Bača, Martin
1
2015
Variable and clause elimination for LTL satisfiability checking. Zbl 1341.68197
Suda, Martin
1
2015
Partitioning the meandering curves. Zbl 1323.05016
Panayotopoulos, A.; Vlamos, P.
1
2015
...and 187 more Documents
all top 5

Cited by 1,437 Authors

16 Kaliszyk, Cezary
12 Urban, Josef
11 Davenport, James Harold
9 England, Matthew
9 Hellmuth, Marc
8 Kohlhase, Michael
7 Akram, Muhammad
7 Arockiaraj, Micheal
7 Smyth, William F.
7 Tahar, Sofiène
6 D’Angelo, Gianlorenzo
6 Marcolli, Matilde
6 Pal, Madhumangal
6 Rauh, Andreas
6 Safey El Din, Mohab
6 Sendra, Juan Rafael
6 Wang, Dongming
5 Abraham, Jessie
5 Aladova, Elena V.
5 Aschemann, Harald
5 Guo, Li
5 Kartal, Senol
5 Lemaire, François
5 Nabeshima, Katsusuke
5 Ostermeier, Lydia
5 Pal, Anita
5 Plavka, Ján
5 Quadrat, Alban
5 Sacerdoti Coen, Claudio
5 Sagraloff, Michael
5 Shalini, Arul Jeya
5 Siddique, Umair
5 Tajima, Shinichi
5 van der Hoeven, Joris
5 Weber, Andreas Günter
5 Xia, Bican
5 Yau, Shing-Tung
4 Bavula, Vladimir V.
4 Boissonnat, Jean-Daniel
4 Bortolussi, Luca
4 Boulier, François
4 Bradford, Russell J.
4 Cheng, Jinsan
4 Cheviakov, Alexei F.
4 Corless, Robert Malcolm
4 Crochemore, Maxime
4 De Agostino, Sergio
4 D’Emidio, Mattia
4 Emiris, Ioannis Z.
4 Finkel, Olivier
4 Frigioni, Daniele
4 Gauthier, Thibault
4 Gürcan, Fuat
4 Jin, Kai
4 Johnsen, Trygve
4 Levandovskyy, Viktor
4 Manin, Yuri Ivanovich
4 Niu, Wei
4 Pąk, Karol
4 Paulson, Lawrence Charles
4 Prokopenya, Alexander N.
4 Quadras, Jasintha
4 Rabe, Florian
4 Semaev, Igor A.
4 Siebert, Heike
4 Stadler, Peter F.
4 Sun, Yao
4 Tiskin, Alexandre
4 Verdure, Hugues
4 Winkler, Franz
3 Abbott, John A.
3 Alcazar, Juan Gerardo
3 Berberich, Eric
3 Blum, Christian
3 Cluzeau, Thomas
3 Díaz-Toca, Gema María
3 Dong, GuangHua
3 Fassino, Claudia
3 Gavalec, Martin
3 Grigor’ev, Dmitriĭ Yur’evich
3 Halperin, Dan
3 Hasan, Osman
3 Hong, Hoon
3 Huang, Zhenyu
3 Iliopoulos, Costas S.
3 Kauers, Manuel
3 Khan Afshar, Sanaz
3 Kozera, Ryszard S.
3 Lairez, Pierre
3 Landau, Gad M.
3 Langiu, Alessio
3 Lazard, Daniel
3 Lecroq, Thierry
3 Li, Dongmei
3 Lin, Dongdai
3 Lin, Wen-Wei
3 Liu, Jinwang
3 López, Susana-Clara
3 Lu, Yingyu
3 Moreno Maza, Marc
...and 1,337 more Authors
all top 5

Cited in 234 Journals

88 Mathematics in Computer Science
61 Journal of Symbolic Computation
30 Theoretical Computer Science
20 Journal of Automated Reasoning
16 Journal of Systems Science and Complexity
14 Designs, Codes and Cryptography
12 Discrete Applied Mathematics
12 Journal of Computational and Applied Mathematics
11 Journal of Discrete Algorithms
9 Discrete Mathematics
9 Algorithmica
8 Applied Mathematics and Computation
6 Journal of Mathematical Physics
6 Mathematics of Computation
6 Computer Aided Geometric Design
6 Applicable Algebra in Engineering, Communication and Computing
6 International Journal of Bifurcation and Chaos in Applied Sciences and Engineering
6 Journal of Applied Mathematics and Computing
5 Journal of Mathematical Analysis and Applications
5 Bulletin of Mathematical Biology
5 Discrete & Computational Geometry
5 Information and Computation
5 Linear Algebra and its Applications
5 \(p\)-Adic Numbers, Ultrametric Analysis, and Applications
4 Information Processing Letters
4 Automatica
4 Journal of Algebra
4 Programming and Computer Software
4 European Journal of Combinatorics
4 Numerical Algorithms
4 AKCE International Journal of Graphs and Combinatorics
4 Discrete Mathematics, Algorithms and Applications
4 Algorithms
4 Prikladnaya Diskretnaya Matematika
3 Advances in Mathematics
3 Fuzzy Sets and Systems
3 Information Sciences
3 Journal of Pure and Applied Algebra
3 Proceedings of the London Mathematical Society. Third Series
3 Advances in Applied Mathematics
3 Applied Numerical Mathematics
3 Computers & Operations Research
3 Multidimensional Systems and Signal Processing
3 Random Structures & Algorithms
3 MSCS. Mathematical Structures in Computer Science
3 Experimental Mathematics
3 Journal of Mathematical Sciences (New York)
3 Advances in Applied Clifford Algebras
3 Complexity
3 Theory of Computing Systems
3 Soft Computing
3 Discrete Dynamics in Nature and Society
3 Communications in Nonlinear Science and Numerical Simulation
3 Bulletin of the Malaysian Mathematical Sciences Society. Second Series
3 Advances in Mathematics of Communications
3 Logical Methods in Computer Science
3 Cryptography and Communications
3 Afrika Matematika
3 Journal of Theoretical Biology
3 Open Mathematics
3 SIAM Journal on Applied Algebra and Geometry
3 Journal of Applied and Computational Topology
2 Communications in Algebra
2 Computers & Mathematics with Applications
2 Journal of Computational Physics
2 Journal of Mathematical Biology
2 Mathematical Notes
2 Chaos, Solitons and Fractals
2 BIT
2 Journal of Differential Equations
2 Mathematische Zeitschrift
2 Topology and its Applications
2 Journal of Complexity
2 Journal of Cryptology
2 Journal of Scientific Computing
2 Formal Aspects of Computing
2 International Journal of Algebra and Computation
2 Journal of Global Optimization
2 The Australasian Journal of Combinatorics
2 Journal of Algebraic Combinatorics
2 Journal of Computer and Systems Sciences International
2 Journal of Inverse and Ill-Posed Problems
2 The Electronic Journal of Combinatorics
2 Izvestiya: Mathematics
2 Discrete and Continuous Dynamical Systems
2 Doklady Mathematics
2 Nonlinear Dynamics
2 Journal of Combinatorial Optimization
2 Chaos
2 Fractional Calculus & Applied Analysis
2 Revista Matemática Complutense
2 Mathematical and Computer Modelling of Dynamical Systems
2 International Journal of Applied Mathematics and Computer Science
2 Advances in Geometry
2 Journal of Intelligent and Fuzzy Systems
2 Journal of Algebra and its Applications
2 Mathematical Biosciences and Engineering
2 SIGMA. Symmetry, Integrability and Geometry: Methods and Applications
2 Annales Universitatis Mariae Curie-Skłodowska. Sectio A1. Informatica
2 Discrete and Continuous Dynamical Systems. Series S
...and 134 more Journals
all top 5

Cited in 57 Fields

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

Citations by Year