Mathematics in Computer Science

A Modified Hermite Interpolation with Exponential Parameterization

On Multivariate Hermitian Quadratic Forms

Achievements and Challenges in Automatic Locus and Envelope Animations in Dynamic Geometry

Minimal Height Companion Matrices for Euclid Polynomials

Solving Parametric Ideal Membership Problems and Computing Integral Numbers in a Ring of Convergent Power Series Via Comprehensive Gröbner Systems

Dynamic Geometry Software Supplemented with a Computer Algebra System as a Proving Tool

Locus Computation in Dynamic Geometry Environment

Tropical Differential Gröbner Bases

Permutation Patterns and Cell Decompositions

Geometry of the Hough Transforms with Applications to Synthetic Data

Testing Zero-Dimensionality of Varieties at a Point

An Algorithm for Computing Grothendieck Local Residues I: Shape Basis Case

Some Reflections About the Success and Impact of the Computer Algebra System DERIVE with a 10-Year Time Perspective

EMG Signal Processing and Application Based on Empirical Mode Decomposition

A Physics Perspective on the Resistance Distance for Graphs

An Implementation of the Lê–Teissier Method for Computing Local Euler Obstructions

Using the Universal Math Environment Math-XPress for Teaching and Assessment of Math Courses

Optimal Symmetry Breaking for Graph Problems

Adaptive Neuro-Fuzzy System to Determine the Blood Glucose Level of Diabetic

On the Applicability of Pairwise Separations Method in Astronomy: Influence of the Noise in Data

A New Seventh Order Runge-kutta Family: Comparison with the Method of Butcher and Presentation of a Calculation Software

Supply Chain from the Demand Orientation: A Systematic Literature Review and Theoretical Model Construction

Teaching Students Nonlinear Programming with Computer Algebra System

Half-Explicit Exponential Runge–Kutta Methods for Index-1 DAEs in Helicopter Simulation

Symmetric I* Restriction Method of Fuzzy Inference

Application of an Intelligent Control on Economics Dynamic System: The Attractive Invariant Ellipsoid Approach

How to Use CAS (Maple) to Help Students Learn Number Theory

An Algebraic Approach to DC Railway Electrification Verification

Extracting Semantic-Based Video Game Characters Information from Social Media Platforms

Automated Study of a Regular Trifolium

Several Inequalities on Moment of Uncertain Variables

Fractal Topological Analysis for 2D Binary Digital Images

Robust Time-Varying Kalman State Estimators with Uncertain Noise Variances

Using Maple Cloud Computing in Financial Education of Pre-service Teachers

On the Usage of Different Coordinate Systems for 3D Plots of Functions of Two Real Variables

Processor Bounding for an Efficient Non-preemptive Task Scheduling Algorithm

A Tanker Port Positioning Method of Quantitative Loading Automation

The Use of Digital Tools to Confront Errors During Advanced Calculus Learning: The Case of the Inflection Point

Determination of Forest Reserves Area Using Images Processed by Drones, Neural Networks and Monte Carlo Method

LS Interference Alignment Algorithm Based on Symbol Detection Assistance

Automated Function Analysis for Calculus

Introduction to Cartesian Geometry and Cartesianization of Complex Shapes

Stability and Oscillatory Behavior of the Solutions on a Class of Coupled Van der Pol-Duffing Equations with Delays

Development of a Prototype Smart City System for Refuse Disposal Management

An Uncertain Resource Constrained Scheduling Model Based on Uncertainty Theory

On Convex Functions with Complex Order Through Bounded Boundary Rotation

Approximate Polynomial GCD by Approximate Syzygies