The following pages link to Mathematical Software – ICMS 2014 (Q2879087):
Displayed 50 items.
- Experimental Computation and Visual Theorems (Q2879088) (← links)
- Soft Math Math Soft (Q2879089) (← links)
- Flyspecking Flyspeck (Q2879090) (← links)
- Symbolic Computing Package for Mathematica for Versatile Manipulation of Mathematical Expressions (Q2879091) (← links)
- Representing, Archiving, and Searching the Space of Mathematical Knowledge (Q2879093) (← links)
- Early Examples of Software in Mathematical Knowledge Management (Q2879094) (← links)
- Discourse-Level Parallel Markup and Meaning Adoption in Flexiformal Theory Graphs (Q2879095) (← links)
- Complexity Analysis of the Bivariate Buchberger Algorithm in Theorema (Q2879096) (← links)
- Theorema 2.0: A System for Mathematical Theory Exploration (Q2879097) (← links)
- New Approaches in Black Box Group Theory (Q2879098) (← links)
- A GAP Package for Computing with Real Semisimple Lie Algebras (Q2879099) (← links)
- Bacterial Genomics and Computational Group Theory: The BioGAP Package for GAP (Q2879100) (← links)
- SgpDec: Cascade (De)Compositions of Finite Transformation Semigroups and Permutation Groups (Q2879101) (← links)
- Approximating Generators for Integral Arithmetic Groups (Q2879102) (← links)
- Software for Groups: Theory and Practice (Q2879103) (← links)
- Computation of Genus 0 Belyi Functions (Q2879104) (← links)
- On Computation of the First Baues–Wirsching Cohomology of a Freely-Generated Small Category (Q2879105) (← links)
- Codes over a Non Chain Ring with Some Applications (Q2879106) (← links)
- On the Weight Enumerators of the Projections of the 2-adic Golay Code of Length 24 to $\mathbb{Z}_{2^e}$ (Q2879107) (← links)
- Computer Based Reconstruction of Binary Extremal Self-dual Codes of Length 32 (Q2879108) (← links)
- Magma Implementation of Decoding Algorithms for General Algebraic Geometry Codes (Q2879109) (← links)
- Reversible Codes and Applications to DNA (Q2879110) (← links)
- javaPlex: A Research Software Package for Persistent (Co)Homology (Q2879112) (← links)
- PHAT – Persistent Homology Algorithms Toolbox (Q2879113) (← links)
- Computing Persistence Modules on Commutative Ladders of Finite Type (Q2879114) (← links)
- Heuristics for Sphere Recognition (Q2879115) (← links)
- CAPD::RedHom v2 - Homology Software Based on Reduction Algorithms (Q2879116) (← links)
- The Gudhi Library: Simplicial Complexes and Persistent Homology (Q2879117) (← links)
- Bertini_real: Software for One- and Two-Dimensional Real Algebraic Sets (Q2879118) (← links)
- Hom4PS-3: A Parallel Numerical Solver for Systems of Polynomial Equations Based on Polyhedral Homotopy Continuation Methods (Q2879119) (← links)
- CGAL – Reliable Geometric Computing for Academia and Industry (Q2879120) (← links)
- Implementing the L ∞ Segment Voronoi Diagram in CGAL and Applying in VLSI Pattern Analysis (Q2879122) (← links)
- BULL! - The Molecular Geometry Engine Based on Voronoi Diagram, Quasi-Triangulation, and Beta-Complex (Q2879124) (← links)
- Integrating Circumradius and Area Formulae for Cyclic Pentagons (Q2879125) (← links)
- Computer Aided Geometry (Q2879127) (← links)
- A Touch-Operation-Based Dynamic Geometry System: Design and Implementation (Q2879129) (← links)
- OpenGeo: An Open Geometric Knowledge Base (Q2879130) (← links)
- On Computing a Cell Decomposition of a Real Surface Containing Infinitely Many Singularities (Q2879131) (← links)
- Robustly and Efficiently Computing Algebraic Curves and Surfaces (Q2879132) (← links)
- Computing the Orthogonal Projection of Rational Curves onto Rational Parameterized Surface by Symbolic Methods (Q2879133) (← links)
- Isotopic ε-Approximation of Algebraic Curves (Q2879134) (← links)
- Isotopic Arrangement of Simple Curves: An Exact Numerical Approach Based on Subdivision (Q2879135) (← links)
- Real Quantifier Elimination in the RegularChains Library (Q2879136) (← links)
- Software for Quantifier Elimination in Propositional Logic (Q2879137) (← links)
- Quantifier Elimination for Linear Modular Constraints (Q2879138) (← links)
- Skolemization Modulo Theories (Q2879139) (← links)
- Incremental QBF Solving by DepQBF (Q2879140) (← links)
- NLCertify: A Tool for Formal Nonlinear Optimization (Q2879141) (← links)
- Developing Linear Algebra Packages on Risa/Asir for Eigenproblems (Q2879142) (← links)
- Mathematical Software for Modified Bessel Functions (Q2879143) (← links)