Volume 11, Issue 3-4

Search all Mathematics in Computer Science articles

December 2017

Applications of Computer Algebra

Issue Editors:

Thierry Dana-Picard,
Wolfram Koepf,
Ilias Kotsireas,
Zoltán Kovács,
Alexander Prokopenya,
Werner M. Seiler

24 articles in this issue

Foreword
Thierry Dana-Picard
Wolfram Koepf
Werner Seiler
EditorialNotes 28 July 2017 Pages: 251 - 252
Quiver Generalized Weyl Algebras, Skew Category Algebras and Diskew Polynomial Rings
V. V. Bavula
OriginalPaper Open access 28 April 2017 Pages: 253 - 268
A Geometric Investigation of the Invariant Algebraic Curves in Two Dimensional Lotka–Volterra Systems
Wuria Muhammad Ameen Hussein
Colin Christopher
OriginalPaper 26 April 2017 Pages: 269 - 283
A Framework for an ICT-Based Study of Parametric Integrals
Thierry Dana-Picard
David G. Zeitoun
OriginalPaper 25 April 2017 Pages: 285 - 296
What Does “Without Loss of Generality” Mean, and How Do We Detect It
James H. Davenport
OriginalPaper Open access 25 April 2017 Pages: 297 - 303
Applications of CAS in the Teaching and Learning of Discrete Mathematics
Mariana Durcheva
Elena Varbanova
OriginalPaper 25 April 2017 Pages: 305 - 314
Modeling of an Asymptotically Central Markov Process on 3D Young Graph
Vasilii Duzhin
Nikolay Vasilyev
OriginalPaper 25 April 2017 Pages: 315 - 328
Relative Reduction and Buchberger’s Algorithm in Filtered Free Modules
Christoph Fürst
Alexander Levin
OriginalPaper Open access 07 April 2017 Pages: 329 - 339
Branch Structure and Implementation of Lambert W
David J. Jeffrey
OriginalPaper 26 April 2017 Pages: 341 - 350
Real-time Animated Dynamic Geometry in the Classrooms by Using Fast Gröbner Basis Computations
Zoltán Kovács
OriginalPaper 24 April 2017 Pages: 351 - 361
Familiarizing Students with Definition of Lebesgue Integral: Examples of Calculation Directly from Its Definition Using Mathematica
Włodzimierz Wojas
Jan Krupa
OriginalPaper Open access 30 May 2017 Pages: 363 - 381
Three-Body Problem with Variable Masses that Change Anisotropically at Different Rates
M. Zh. Minglibayev
A. N. Prokopenya
Zh. U. Imanova
OriginalPaper 25 April 2017 Pages: 383 - 391
Transparent Rule Based CAS to Support Formalization of Knowledge
Reinhard Oldenburg
OriginalPaper 28 April 2017 Pages: 393 - 399
Symbolic Computation for Rankin-Cohen Differential Algebras: A Case Study
Eleanor Farrington
Emma Previato
OriginalPaper 26 April 2017 Pages: 401 - 415
Motion of a Swinging Atwood’s Machine: Simulation and Analysis with Mathematica
Alexander N. Prokopenya
OriginalPaper Open access 25 April 2017 Pages: 417 - 425
Towards an Intelligent and Dynamic Geometry Book
Pedro Quaresma
OriginalPaper 25 April 2017 Pages: 427 - 437
A Brief Note on the Approach to the Conic Sections of a Right Circular Cone from Dynamic Geometry
Eugenio Roanes-Lozano
OriginalPaper 25 April 2017 Pages: 439 - 448
Application of Computer Algebra System and the Mean-Value Theory for Evaluating Electrostatic Potential and Its Associated Field for Nontrivial Configurations
Haiduke Sarafian
OriginalPaper 27 April 2017 Pages: 449 - 455
On a Class of Central Configurations in the Planar \({\varvec{3n}}\)-Body Problem
Agnieszka Siluszyk
OriginalPaper Open access 27 April 2017 Pages: 457 - 467
Design, Concepts, and State of the Art of the swMATH Service
Hagen Chrapary
Wolfgang Dalitz
Wolfram Sperber
OriginalPaper 25 April 2017 Pages: 469 - 481
A Survey of Some Methods for Real Quantifier Elimination, Decision, and Satisfiability and Their Applications
Thomas Sturm
OriginalPaper Open access 26 April 2017 Pages: 483 - 502
Collaborative Use of KeTCindy and Free Computer Algebra Systems
Setsuo Takato
Alasdair McAndrew
Masataka Kaneko
OriginalPaper 26 April 2017 Pages: 503 - 514
Solving a Binary Puzzle
Putranto H. Utomo
Rusydi H. Makarim
OriginalPaper Open access 10 May 2017 Pages: 515 - 526
Modelling and Simulation of Solid Particle Sedimentation in an Incompressible Newtonian Fluid
Salah Zouaoui
Hassane Djebouri
Kamal Mohammedi
OriginalPaper 25 April 2017 Pages: 527 - 539

Volume 11, Issue 3-4

Search

Navigation