Mathematical Software – ICMS 2018 - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer International Publishing

9783319964171, 9783319964188

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Solving Polynomial Systems Using Numeric Gröbner Bases

Mathematical Software – ICMS 2018 - Lecture Notes in Computer Science ◽

10.1007/978-3-319-96418-8_40 ◽

2018 ◽

pp. 335-342 ◽

Cited By ~ 1

Author(s):

Daniel Lichtblau

Keyword(s):

Gröbner Bases ◽

Polynomial Systems ◽

Grobner Bases

Download Full-text

TheoryGuru: A Mathematica Package to Apply Quantifier Elimination Technology to Economics

Mathematical Software – ICMS 2018 - Lecture Notes in Computer Science ◽

10.1007/978-3-319-96418-8_44 ◽

2018 ◽

pp. 369-378 ◽

Cited By ~ 4

Author(s):

Casey B. Mulligan ◽

James H. Davenport ◽

Matthew England

Keyword(s):

Quantifier Elimination

Download Full-text

Universal Gröbner Basis for Parametric Polynomial Ideals

Mathematical Software – ICMS 2018 - Lecture Notes in Computer Science ◽

10.1007/978-3-319-96418-8_23 ◽

2018 ◽

pp. 191-199

Author(s):

Amir Hashemi ◽

Mahdi Dehghani Darmian ◽

Marzieh Barkhordar

Keyword(s):

Gröbner Basis ◽

Grobner Basis ◽

Polynomial Ideals ◽

Universal Gröbner Basis

Download Full-text

HomotopyContinuation.jl: A Package for Homotopy Continuation in Julia

Mathematical Software – ICMS 2018 - Lecture Notes in Computer Science ◽

10.1007/978-3-319-96418-8_54 ◽

2018 ◽

pp. 458-465 ◽

Cited By ~ 4

Author(s):

Paul Breiding ◽

Sascha Timme

Keyword(s):

Homotopy Continuation

Download Full-text

NLP-Based Detection of Mathematics Subject Classification

Mathematical Software – ICMS 2018 - Lecture Notes in Computer Science ◽

10.1007/978-3-319-96418-8_18 ◽

2018 ◽

pp. 147-155 ◽

Cited By ~ 1

Author(s):

Yihe Dong

Keyword(s):

Subject Classification

Download Full-text

A Rainbow Clique Search Algorithm for BLT-Sets

Mathematical Software – ICMS 2018 - Lecture Notes in Computer Science ◽

10.1007/978-3-319-96418-8_9 ◽

2018 ◽

pp. 71-79 ◽

Cited By ~ 1

Author(s):

Abdullah Al-Azemi ◽

Anton Betten ◽

Sajeeb Roy Chowdhury

Keyword(s):

Search Algorithm

Download Full-text

Sparse Multivariate Hensel Lifting: A High-Performance Design and Implementation

Mathematical Software – ICMS 2018 - Lecture Notes in Computer Science ◽

10.1007/978-3-319-96418-8_43 ◽

2018 ◽

pp. 359-368 ◽

Cited By ~ 1

Author(s):

Michael Monagan ◽

Baris Tuncer

Keyword(s):

High Performance ◽

Design And Implementation ◽

Hensel Lifting ◽

High Performance Design

Download Full-text

The Andrews-Curtis Conjecture, Term Rewriting and First-Order Proofs

Mathematical Software – ICMS 2018 - Lecture Notes in Computer Science ◽

10.1007/978-3-319-96418-8_41 ◽

2018 ◽

pp. 343-351

Author(s):

A. Lisitsa

Keyword(s):

Term Rewriting ◽

First Order

Download Full-text

Resultants, Implicit Parameterizations, and Intersections of Surfaces

Mathematical Software – ICMS 2018 - Lecture Notes in Computer Science ◽

10.1007/978-3-319-96418-8_37 ◽

2018 ◽

pp. 310-318

Author(s):

Robert H. Lewis

Download Full-text

Finding a Middle Ground for Computer-Aided Cryptography

Mathematical Software – ICMS 2018 - Lecture Notes in Computer Science ◽

10.1007/978-3-319-96418-8_2 ◽

2018 ◽

pp. 11-18

Author(s):

Evan Austin ◽

Scott Batson ◽

Peter Curry ◽

Bryan Williams

Keyword(s):

Middle Ground ◽

Computer Aided

Download Full-text

Mathematical Software – ICMS 2018 - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer International Publishing

Solving Polynomial Systems Using Numeric Gröbner Bases

TheoryGuru: A Mathematica Package to Apply Quantifier Elimination Technology to Economics

Universal Gröbner Basis for Parametric Polynomial Ideals

HomotopyContinuation.jl: A Package for Homotopy Continuation in Julia

NLP-Based Detection of Mathematics Subject Classification

A Rainbow Clique Search Algorithm for BLT-Sets

Sparse Multivariate Hensel Lifting: A High-Performance Design and Implementation

The Andrews-Curtis Conjecture, Term Rewriting and First-Order Proofs

Resultants, Implicit Parameterizations, and Intersections of Surfaces

Finding a Middle Ground for Computer-Aided Cryptography

Mathematical Software – ICMS 2018 - Lecture Notes in Computer Science
Latest Publications