Computer Mathematics - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540878261, 9783540878278

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

The Four Colour Theorem: Engineering of a Formal Proof

Computer Mathematics - Lecture Notes in Computer Science ◽

10.1007/978-3-540-87827-8_28 ◽

2008 ◽

pp. 333-333 ◽

Cited By ~ 41

Author(s):

Georges Gonthier

Keyword(s):

Formal Proof

Computing the Minkowski Value of the Exponential Function over a Complex Disk

Computer Mathematics - Lecture Notes in Computer Science ◽

10.1007/978-3-540-87827-8_1 ◽

2008 ◽

pp. 1-21 ◽

Cited By ~ 1

Author(s):

Hyeong In Choi ◽

Rida T. Farouki ◽

Chang Yong Han ◽

Hwan Pyo Moon

Keyword(s):

Exponential Function

An Efficient Fourth Order Implicit Runge-Kutta Algorithm for Second Order Systems

Computer Mathematics - Lecture Notes in Computer Science ◽

10.1007/978-3-540-87827-8_14 ◽

2008 ◽

pp. 169-178

Author(s):

Basem S. Attili

Keyword(s):

Fourth Order ◽

Second Order ◽

Runge Kutta ◽

Second Order Systems

The Maximality of the Dixon Matrix on Corner-Cut Monomial Supports

Computer Mathematics - Lecture Notes in Computer Science ◽

10.1007/978-3-540-87827-8_24 ◽

2008 ◽

pp. 293-306

Author(s):

Eng-Wee Chionh

Floating-Point Gröbner Basis Computation with Ill-conditionedness Estimation

Computer Mathematics - Lecture Notes in Computer Science ◽

10.1007/978-3-540-87827-8_23 ◽

2008 ◽

pp. 278-292 ◽

Cited By ~ 6

Author(s):

Tateaki Sasaki ◽

Fujio Kako

Keyword(s):

Gröbner Basis ◽

Floating Point ◽

Grobner Basis ◽

Basis Computation

Symbolic Solution to Magnetohydrodynamic Hiemenz Flow in Porous Media

Computer Mathematics - Lecture Notes in Computer Science ◽

10.1007/978-3-540-87827-8_18 ◽

2008 ◽

pp. 213-223

Author(s):

Seripah Awang Kechil ◽

Ishak Hashim

Keyword(s):

Porous Media ◽

Flow In Porous Media ◽

Hiemenz Flow

An Algorithm for Transforming Regular Chain into Normal Chain

Computer Mathematics - Lecture Notes in Computer Science ◽

10.1007/978-3-540-87827-8_20 ◽

2008 ◽

pp. 236-245 ◽

Cited By ~ 4

Author(s):

Banghe Li ◽

Dingkang Wang

Keyword(s):

Regular Chain

Efficient Algorithms for Computing Nœther Normalization

Computer Mathematics - Lecture Notes in Computer Science ◽

10.1007/978-3-540-87827-8_8 ◽

2008 ◽

pp. 97-107 ◽

Cited By ~ 3

Author(s):

Amir Hashemi

Keyword(s):

Efficient Algorithms

A Method and Its Implementation for Constructing Bäcklund Transformations to Nonlinear Evolution Equations

Computer Mathematics - Lecture Notes in Computer Science ◽

10.1007/978-3-540-87827-8_16 ◽

2008 ◽

pp. 188-198

Author(s):

Zhibin Li ◽

Yinping Liu ◽

Haifeng Qian

Keyword(s):

Evolution Equations ◽

Nonlinear Evolution ◽

Nonlinear Evolution Equations ◽

Bäcklund Transformations ◽

Backlund Transformations

Basis-Independent Polynomial Division Algorithm Applied to Division in Lagrange and Bernstein Basis

Computer Mathematics - Lecture Notes in Computer Science ◽

10.1007/978-3-540-87827-8_6 ◽

2008 ◽

pp. 72-86

Author(s):

Manfred Minimair

Keyword(s):

Division Algorithm ◽

Bernstein Basis

Computer Mathematics - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

The Four Colour Theorem: Engineering of a Formal Proof

Computing the Minkowski Value of the Exponential Function over a Complex Disk

An Efficient Fourth Order Implicit Runge-Kutta Algorithm for Second Order Systems

The Maximality of the Dixon Matrix on Corner-Cut Monomial Supports

Floating-Point Gröbner Basis Computation with Ill-conditionedness Estimation

Symbolic Solution to Magnetohydrodynamic Hiemenz Flow in Porous Media

An Algorithm for Transforming Regular Chain into Normal Chain

Efficient Algorithms for Computing Nœther Normalization

A Method and Its Implementation for Constructing Bäcklund Transformations to Nonlinear Evolution Equations

Basis-Independent Polynomial Division Algorithm Applied to Division in Lagrange and Bernstein Basis

Computer Mathematics - Lecture Notes in Computer Science
Latest Publications