The following pages link to Mathematical Software – ICMS 2016 (Q2819192):
Displayed 50 items.
- Some Wellfounded Trees in UniMath (Q2819193) (← links)
- Exercising Nuprl’s Open-Endedness (Q2819194) (← links)
- Formalizing Double Groupoids and Cross Modules in the Lean Theorem Prover (Q2819195) (← links)
- Towards the Automatic Discovery of Theorems in GeoGebra (Q2819196) (← links)
- Automating Free Logic in Isabelle/HOL (Q2819197) (← links)
- Efficient Knot Discrimination via Quandle Coloring with SAT and #-SAT (Q2819199) (← links)
- Interactive Proving, Higher-Order Rewriting, and Theory Analysis in Theorema 2.0 (Q2819200) (← links)
- Automated Deduction in Ring Theory (Q2819201) (← links)
- Agent-Based HOL Reasoning (Q2819202) (← links)
- Bad Primes in Computational Algebraic Geometry (Q2819203) (← links)
- The Subdivision of Large Simplicial Cones in Normaliz (Q2819204) (← links)
- Extending Singular with New Types and Algorithms (Q2819205) (← links)
- 3D Printing Dimensional Calibration Shape: Clebsch Cubic (Q2819207) (← links)
- Decomposing Solution Sets of Polynomial Systems Using Derivatives (Q2819208) (← links)
- Calibration of Accelerometers and the Geometry of Quadrics (Q2819209) (← links)
- On the Feasibility of Semi-algebraic Sets in Poisson Regression (Q2819210) (← links)
- Combinatorial and Geometric View of the System Reliability Theory (Q2819211) (← links)
- Need Polynomial Systems Be Doubly-Exponential? (Q2819212) (← links)
- On the Implementation of CGS Real QE (Q2819213) (← links)
- Common Divisors of Solvable Polynomials in JAS (Q2819214) (← links)
- An Online Computing and Knowledge Platform for Differential Equations (Q2819215) (← links)
- SIROCCO: A Library for Certified Polynomial Root Continuation (Q2819216) (← links)
- An Implementation of Exact Mixed Volume Computation (Q2819217) (← links)
- Primary Decomposition in Singular (Q2819218) (← links)
- Border Basis for Polynomial System Solving and Optimization (Q2819219) (← links)
- Recursive Double-Size Fixed Precision Arithmetic (Q2819221) (← links)
- CAMPARY: Cuda Multiple Precision Arithmetic Library and Applications (Q2819222) (← links)
- On the Computation of Confluent Hypergeometric Functions for Large Imaginary Part of Parameters b and z (Q2819223) (← links)
- Parallelization of the FICO Xpress-Optimizer (Q2819224) (← links)
- PolySCIP (Q2819226) (← links)
- DSJM: A Software Toolkit for Direct Determination of Sparse Jacobian Matrices (Q2819230) (← links)
- Software for Cut-Generating Functions in the Gomory–Johnson Model and Beyond (Q2819232) (← links)
- Mixed Integer Nonlinear Program for Minimization of Akaike’s Information Criterion (Q2819233) (← links)
- PySCIPOpt: Mathematical Programming in Python with the SCIP Optimization Suite (Q2819234) (← links)
- A First Implementation of ParaXpress: Combining Internal and External Parallelization to Solve MIPs on Supercomputers (Q2819235) (← links)
- CindyJS (Q2819236) (← links)
- CindyJS Plugins (Q2819237) (← links)
- Generating Data for 3D Models (Q2819238) (← links)
- The Actual Use of in Education (Q2819239) (← links)
- Cooperation of KeTCindy and Computer Algebra System (Q2819241) (← links)
- CindyGL: Authoring GPU-Based Interactive Mathematical Content (Q2819243) (← links)
- Theoretical Physics, Applied Mathematics and Visualizations (Q2819244) (← links)
- What is and How to Use – Linkage Between Dynamic Geometry Software and Graphics Capabilities – (Q2819245) (← links)
- How to Generate Figures at the Preferred Position of a TeX Document (Q2819246) (← links)
- The Programming Style for Drawings from to (Q2819247) (← links)
- The Software Portal swMATH: A State of the Art Report and Next Steps (Q2819248) (← links)
- The polymake XML File Format (Q2819249) (← links)
- Semantic-Aware Fingerprints of Symbolic Research Data (Q2819250) (← links)
- Linking Mathematical Software in Web Archives (Q2819252) (← links)
- Mathematical Models: A Research Data Category? (Q2819253) (← links)