Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMathematics in Computer Science, Volume 13
Volume 13, Numbers 1-2, June 2019
- Michel Beaudin, Thierry N. Dana-Picard, Alexander B. Levin, Christoph Koutschan, Ilias S. Kotsireas, Daniel Robertz:
Foreword. 1-3 - Jurell Benjamin, Donna Walker, Aleksandr Mylläri, Tatiana Mylläri:
On the Applicability of Pairwise Separations Method in Astronomy: Influence of the Noise in Data. 5-10 - Sergio Blanco-Trejo
, Claudio Alemán-Morillo, Fernando Díaz-del-Río, Pedro Real:
Fractal Topological Analysis for 2D Binary Digital Images. 11-20 - Nello Blaser, Morten Brun:
Divisive Cover. 21-29 - Jirí Blazek, Pavel Pech:
Locus Computation in Dynamic Geometry Environment. 31-40 - Eunice Y. S. Chan, Robert M. Corless:
Minimal Height Companion Matrices for Euclid Polynomials. 41-56 - Thierry N. Dana-Picard:
Automated Study of a Regular Trifolium. 57-67 - Mariana Durcheva:
How to Use CAS (Maple) to Help Students Learn Number Theory. 69-78 - Ryoya Fukasaku, Hidenao Iwane, Yosuke Sato:
On Multivariate Hermitian Quadratic Forms. 79-93 - Roman Hasek:
Dynamic Geometry Software Supplemented with a Computer Algebra System as a Proving Tool. 95-104 - Mikhail Kagan, Brian Mata:
A Physics Perspective on the Resistance Distance for Graphs. 105-115 - Avi Karsenty, Yaakov Mandelbaum:
Computer Algebra Challenges in Nanotechnology: Accurate Modeling of Nanoscale Electro-optic Devices Using Finite Elements Method. 117-130 - Zoltán Kovács:
Achievements and Challenges in Automatic Locus and Envelope Animations in Dynamic Geometry. 131-141 - Ryszard Kozera, Magdalena Wilkolazka:
A Modified Hermite Interpolation with Exponential Parameterization. 143-155 - Alexander B. Levin:
Bivariate Dimension Quasi-polynomials of Difference-Differential Field Extensions with Weighted Basic Operators. 157-168 - Toufik Mansour, Matthias Schork:
Permutation Patterns and Cell Decompositions. 169-183 - Katsusuke Nabeshima, Shinichi Tajima:
Solving Parametric Ideal Membership Problems and Computing Integral Numbers in a Ring of Convergent Power Series Via Comprehensive Gröbner Systems. 185-194 - Aaron E. Naiman:
Automated Function Analysis for Calculus. 195-204 - Katsuyoshi Ohara, Shinichi Tajima:
An Algorithm for Computing Grothendieck Local Residues I: Shape Basis Case. 205-216 - Regina Ovodenko, Anatoli Kouropatov:
The Use of Digital Tools to Confront Errors During Advanced Calculus Learning: The Case of the Inflection Point. 217-236 - Vladimíra Petrásková, Premysl Rosa:
Using Maple Cloud Computing in Financial Education of Pre-service Teachers. 237-245 - Alexander N. Prokopenya:
Modelling Atwood's Machine with Three Degrees of Freedom. 247-257 - Philip Slobodsky, Alexander Ocheretovy, Eugine Roiz, Anatoly Shtarkman:
Using the Universal Math Environment Math-XPress for Teaching and Assessment of Math Courses. 259-272 - Shinichi Tajima, Katsusuke Nabeshima:
An Implementation of the Lê-Teissier Method for Computing Local Euler Obstructions. 273-280 - Setsuo Takato, José A. Vallejo:
Hamiltonian Dynamical Systems: Symbolical, Numerical and Graphical Study. 281-295 - Wlodzimierz Wojas, Jan Krupa:
Teaching Students Nonlinear Programming with Computer Algebra System. 297-309 - David G. Zeitoun, Thierry N. Dana-Picard:
On the Usage of Different Coordinate Systems for 3D Plots of Functions of Two Real Variables. 311-327
Volume 13, Number 3, September 2019
- José Luis Galán García, Gabriel Aguilera Venegas, María Ángeles Galán García:
Foreword. 329-331 - Eugene O. Lebedev, Hanna V. Livinska:
Multi-channel Queueing Networks with Input Flow Controlled by Semi-Markov Process. 333-340 - Elena Kohlwey, Melven Röhrig-Zöllner:
Half-Explicit Exponential Runge-Kutta Methods for Index-1 DAEs in Helicopter Simulation. 341-365 - Martin Siggel, Jan Kleinert, Tobias Stollenwerk, Reinhold Maierl:
TiGL: An Open Source Computational Geometry Library for Parametric Aircraft Design. 367-389 - Raymundo Juarez del Toro, J. G. Castrejón-Lozano, C. A. Gomez-Rosales, S. López-Chavarría:
Application of an Intelligent Control on Economics Dynamic System: The Attractive Invariant Ellipsoid Approach. 391-401 - José Alfredo Sánchez de León:
Calculation of Binomial and Multinomial Coefficients by Sequences of Summations. 403-415 - Eugenio Roanes-Lozano, José Luis Galán García, Carmen Solano-Macías:
Some Reflections About the Success and Impact of the Computer Algebra System DERIVE with a 10-Year Time Perspective. 417-431 - Melike Aydogan, F. Müge Sakar:
On Convex Functions with Complex Order Through Bounded Boundary Rotation. 433-439 - F. Müge Sakar, Melike Aydogan:
Bounds on Initial Coefficients for a Certain New Subclass of Bi-univalent Functions by Means of Faber Polynomial Expansions. 441-447 - Eugenio Roanes-Lozano, Rubén González-Martín, Javier Montero:
An Algebraic Approach to DC Railway Electrification Verification. 449-457
Volume 13, Number 4, December 2019
- James H. Davenport, Laura Kovács, Daniela Zaharie:
Foreword. 459-460 - Zongyan Huang, Matthew England, David J. Wilson, James P. Bridge, James H. Davenport, Lawrence C. Paulson:
Using Machine Learning to Improve Cylindrical Algebraic Decomposition. 461-488 - Stefan Andrei, Albert M. K. Cheng, Vlad Radulescu:
Processor Bounding for an Efficient Non-preemptive Task Scheduling Algorithm. 489-515 - Daniel Lichtblau:
Approximate Polynomial GCD by Approximate Syzygies. 517-532 - Marijn J. H. Heule:
Optimal Symmetry Breaking for Graph Problems. 533-548
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-06-10 21:29 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
