Mathematics in Computer Science
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
Inhaltsverzeichnis
- 1
-
ForewordBeaudin, Michel / Dana-Picard, Thierry / Levin, Alexander et al. | 2019
- 5
-
On the Applicability of Pairwise Separations Method in Astronomy: Influence of the Noise in DataBenjamin, Jurell / Walker, Donna / Mylläri, Aleksandr et al. | 2018
- 11
-
Fractal Topological Analysis for 2D Binary Digital ImagesBlanco-Trejo, S. / Alemán-Morillo, C. / Díaz-del-Río, F. et al. | 2018
- 21
-
Divisive CoverBlaser, Nello / Brun, Morten et al. | 2019
- 31
-
Locus Computation in Dynamic Geometry EnvironmentBlažek, Jiří / Pech, Pavel et al. | 2018
- 41
-
Minimal Height Companion Matrices for Euclid PolynomialsChan, E. Y. S. / Corless, R. M. et al. | 2018
- 57
-
Automated Study of a Regular TrifoliumDana-Picard, Thierry et al. | 2018
- 69
-
How to Use CAS (Maple) to Help Students Learn Number TheoryDurcheva, Mariana et al. | 2018
- 79
-
On Multivariate Hermitian Quadratic FormsFukasaku, Ryoya / Iwane, Hidenao / Sato, Yosuke et al. | 2018
- 95
-
Dynamic Geometry Software Supplemented with a Computer Algebra System as a Proving ToolHašek, R. et al. | 2018
- 105
-
A Physics Perspective on the Resistance Distance for GraphsKagan, Mikhail / Mata, Brian et al. | 2018
- 117
-
Computer Algebra Challenges in Nanotechnology: Accurate Modeling of Nanoscale Electro-optic Devices Using Finite Elements MethodKarsenty, Avi / Mandelbaum, Yaakov et al. | 2018
- 131
-
Achievements and Challenges in Automatic Locus and Envelope Animations in Dynamic GeometryKovács, Zoltán et al. | 2019
- 143
-
A Modified Hermite Interpolation with Exponential ParameterizationKozera, R. / Wilkołazka, M. et al. | 2019
- 157
-
Bivariate Dimension Quasi-polynomials of Difference–Differential Field Extensions with Weighted Basic OperatorsLevin, Alexander et al. | 2018
- 169
-
Permutation Patterns and Cell DecompositionsMansour, Toufik / Schork, Matthias et al. | 2018
- 185
-
Solving Parametric Ideal Membership Problems and Computing Integral Numbers in a Ring of Convergent Power Series Via Comprehensive Gröbner SystemsNabeshima, Katsusuke / Tajima, Shinichi et al. | 2018
- 195
-
Automated Function Analysis for CalculusNaiman, Aaron E. et al. | 2018
- 205
-
An Algorithm for Computing Grothendieck Local Residues I: Shape Basis CaseOhara, Katsuyoshi / Tajima, Shinichi et al. | 2019
- 217
-
The Use of Digital Tools to Confront Errors During Advanced Calculus Learning: The Case of the Inflection PointOvodenko, Regina / Kouropatov, Anatoli et al. | 2018
- 237
-
Using Maple Cloud Computing in Financial Education of Pre-service TeachersPetrášková, Vladimíra / Rosa, Přemysl et al. | 2018
- 247
-
Modelling Atwood’s Machine with Three Degrees of FreedomProkopenya, Alexander N. et al. | 2019
- 259
-
Using the Universal Math Environment Math-XPress for Teaching and Assessment of Math CoursesSlobodsky, Philip / Ocheretovy, Alexander / Roiz, Eugine et al. | 2018
- 273
-
An Implementation of the Lê–Teissier Method for Computing Local Euler ObstructionsTajima, Shinichi / Nabeshima, Katsusuke et al. | 2018
- 281
-
Hamiltonian Dynamical Systems: Symbolical, Numerical and Graphical StudyTakato, Setsuo / Vallejo, José A. et al. | 2019
- 297
-
Teaching Students Nonlinear Programming with Computer Algebra SystemWojas, Włodzimierz / Krupa, Jan et al. | 2019
- 311
-
On the Usage of Different Coordinate Systems for 3D Plots of Functions of Two Real VariablesZeitoun, David G. / Dana-Picard, Thierry et al. | 2018