default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDICMS 2016: Berlin, Germany
- Gert-Martin Greuel, Thorsten Koch, Peter Paule, Andrew J. Sommese:
Mathematical Software - ICMS 2016 - 5th International Conference, Berlin, Germany, July 11-14, 2016, Proceedings. Lecture Notes in Computer Science 9725, Springer 2016, ISBN 978-3-319-42431-6
Invited Talk
- Jack J. Dongarra:
With Extreme Scale Computing the Rules Have Changed. 3-6
Univalent Foundations and Proof Assistants
- Benedikt Ahrens
, Anders Mörtberg:
Some Wellfounded Trees in UniMath - Extended Abstract. 9-17 - Vincent Rahli:
Exercising Nuprl's Open-Endedness. 18-27 - Jakob von Raumer:
Formalizing Double Groupoids and Cross Modules in the Lean Theorem Prover. 28-33
Software for Mathematical Reasoning and Applications
- Miguel A. Abánades, Francisco Botana, Zoltán Kovács, Tomás Recio, Csilla Sólyom-Gecse:
Towards the Automatic Discovery of Theorems in GeoGebra. 37-42 - Christoph Benzmüller, Dana S. Scott:
Automating Free Logic in Isabelle/HOL. 43-50 - Andrew Fish, Alexei Lisitsa, David Stanovský, Sarah Swartwood:
Efficient Knot Discrimination via Quandle Coloring with SAT and #-SAT. 51-58 - Alexander Maletzky:
Interactive Proving, Higher-Order Rewriting, and Theory Analysis in Theorema 2.0. 59-66 - Ranganathan Padmanabhan, Yang Zhang:
Automated Deduction in Ring Theory. 67-74 - Alexander Steen, Max Wisniewski, Christoph Benzmüller:
Agent-Based HOL Reasoning. 75-81 - Yumi Wada, Takuya Matsuzaki, Akira Terui, Noriko H. Arai:
An Automated Deduction and Its Implementation for Solving Problem of Sequence at University Entrance Examination. 82-89
Algebraic and Toric Geometry
- Janko Böhm, Wolfram Decker, Claus Fieker, Santiago Laplagne, Gerhard Pfister:
Bad Primes in Computational Algebraic Geometry. 93-101 - Winfried Bruns, Richard Sieg, Christof Söger:
The Subdivision of Large Simplicial Cones in Normaliz. 102-109 - Hans Schönemann:
Extending Singular with New Types and Algorithms. 110-113
Algebraic Geometry in Applications
- Janko Böhm, Magdaleen S. Marais, André F. van der Merwe:
3D Printing Dimensional Calibration Shape: Clebsch Cubic. 117-126 - Daniel A. Brake, Jonathan D. Hauenstein, Alan C. Liddell Jr.:
Decomposing Solution Sets of Polynomial Systems Using Derivatives. 127-135 - Laurent Evain:
Calibration of Accelerometers and the Geometry of Quadrics. 136-141 - Thomas Kahle:
On the Feasibility of Semi-algebraic Sets in Poisson Regression. 142-147 - Fatemeh Mohammadi:
Combinatorial and Geometric View of the System Reliability Theory. 148-153
Software of Polynomial Systems
- James H. Davenport, Matthew England:
Need Polynomial Systems Be Doubly-Exponential? 157-164 - Ryoya Fukasaku, Hidenao Iwane, Yosuke Sato:
On the Implementation of CGS Real QE. 165-172 - Heinz Kredel:
Common Divisors of Solvable Polynomials in JAS. 173-180 - Yinping Liu, Ruoxia Yao, Zhibin Li, Le Yang, Zhian Zhang:
An Online Computing and Knowledge Platform for Differential Equations. 181-188
Software for Numerically Solving Polynomial Systems
- Miguel Ángel Marco Buzunáriz, Marcos Rodríguez:
SIROCCO: A Library for Certified Polynomial Root Continuation. 191-197 - Anders Nedergaard Jensen:
An Implementation of Exact Mixed Volume Computation. 198-205 - Hans Schönemann:
Primary Decomposition in Singular. 206-211 - Philippe Trébuchet, Bernard Mourrain, Marta Abril Bucero:
Border Basis for Polynomial System Solving and Optimization. 212-220
High-Precision Arithmetic, Effective Analysis and Special Functions
- Alexis Breust, Christophe Chabot, Jean-Guillaume Dumas, Laurent Fousse, Pascal Giorgi:
Recursive Double-Size Fixed Precision Arithmetic. 223-231 - Mioara Joldes, Jean-Michel Muller, Valentina Popescu, Warwick Tucker:
CAMPARY: Cuda Multiple Precision Arithmetic Library and Applications. 232-240 - Guillermo Navas-Palencia, Argimiro Arratia:
On the Computation of Confluent Hypergeometric Functions for Large Imaginary Part of Parameters b and z. 241-248
Mathematical Optimization
- Timo Berthold, James Farmer, Stefan Heinz, Michael Perregaard:
Parallelization of the FICO Xpress-Optimizer. 251-258 - Ralf Borndörfer, Sebastian Schenker, Martin Skutella, Timo Strunk:
PolySCIP. 259-264 - Katsuki Fujisawa, Toshio Endo, Yuichiro Yasui:
Advanced Computing and Optimization Infrastructure for Extremely Large-Scale Graphs on Post Peta-Scale Supercomputers. 265-274 - Mahmudul Hasan, Shahadat Hossain, Ahamad Imtiaz Khan, Nasrin Hakim Mithila, Ashraful Huq Suny:
DSJM: A Software Toolkit for Direct Determination of Sparse Jacobian Matrices. 275-283 - Chun Yu Hong, Matthias Köppe, Yuan Zhou:
Software for Cut-Generating Functions in the Gomory-Johnson Model and Beyond. 284-291 - Keiji Kimura, Hayato Waki:
Mixed Integer Nonlinear Program for Minimization of Akaike's Information Criterion. 292-300 - Stephen J. Maher, Matthias Miltenberger, João Pedro Pedroso, Daniel Rehfeldt, Robert Schwarz, Felipe Serrano:
PySCIPOpt: Mathematical Programming in Python with the SCIP Optimization Suite. 301-307 - Yuji Shinano, Timo Berthold, Stefan Heinz:
A First Implementation of ParaXpress: Combining Internal and External Parallelization to Solve MIPs on Supercomputers. 308-316
Interactive Operation to Scientific Artwork and Mathematical Reasoning
- Martin von Gagern, Ulrich Kortenkamp, Jürgen Richter-Gebert, Michael Strobel:
CindyJS - Mathematical Visualization on Modern Devices. 319-326 - Martin von Gagern, Jürgen Richter-Gebert:
CindyJS Plugins - Extending the Mathematical Visualization Framework. 327-334 - Naoki Hamaguchi, Setsuo Takato:
Generating Data for 3D Models. 335-341 - Masataka Kaneko:
The Actual Use of in Education. 342-350 - Shigeki Kobayashi, Setsuo Takato:
Cooperation of KeTCindy and Computer Algebra System. 351-358 - Aaron Montag, Jürgen Richter-Gebert:
CindyGL: Authoring GPU-Based Interactive Mathematical Content. 359-365 - Haiduke Sarafian:
Theoretical Physics, Applied Mathematics and Visualizations. 366-370 - Setsuo Takato:
What is and How to Use - Linkage Between Dynamic Geometry Software and Graphics Capabilities -. 371-379 - Hisashi Usui:
How to Generate Figures at the Preferred Position of a TeX Document. 380-385 - Satoshi Yamashita:
The Programming Style for Drawings from to. 386-393
Information Services for Mathematics: Software, Services, Models, and Data
- Hagen Chrapary, Yue Ren:
The Software Portal swMATH: A State of the Art Report and Next Steps. 397-402 - Ewgenij Gawrilow, Simon Hampe, Michael Joswig:
The polymake XML File Format. 403-410 - Hans-Gert Gräbe:
Semantic-Aware Fingerprints of Symbolic Research Data. 411-418 - Helge Holzmann, Mila Runnwerth, Wolfram Sperber:
Linking Mathematical Software in Web Archives. 419-422 - Thomas Koprucki, Karsten Tabelow:
Mathematical Models: A Research Data Category? 423-428 - Wolfram Sperber:
Mathematical Research Data and Information Services. 429-433
SemDML: Towards a Semantic Layer of a World Digital Mathematical Library
- Bruno Buchberger:
Stam's Identities Collection: A Case Study for Math Knowledge Bases. 437-442 - Bruno Buchberger:
The GDML and EuKIM Projects: Short Report on the Initiative. 443-446 - Dmitry E. Chebukov, Alexander D. Izaak, Olga G. Misyurina, Yuri A. Pupyrev:
Math-Net.Ru Video Library: Creating a Collection of Scientific Talks. 447-450 - Deyan Ginev, Mihnea Iancu, Constantin Jucovshi, Andrea Kohlhase, Michael Kohlhase, Akbar Oripov, Jürgen Schefter, Wolfram Sperber, Olaf Teschke, Tom Wiesing:
The SMGloM Project and System: Towards a Terminology and Ontology for Mathematics. 451-457 - Patrick Ion:
The Effort to Realize a Global Digital Mathematics Library. 458-466 - Enxhell Luzhnica, Michael Kohlhase:
Formula Semantification and Automated Relation Finding in the On-Line Encyclopedia for Integer Sequences. 467-475 - Mila Runnwerth:
Mathematical Videos and Affiliated Supplementaries in TIB's AV Portal. 476-481
Miscellanea
- James H. Davenport:
Complexity of Integration, Special Values, and Recent Developments. 485-491 - Luigi Di Puglia Pugliese, Manlio Gaudioso, Francesca Guerriero, Giovanna Miglionico:
An Algorithm to Find the Link Constrained Steiner Tree in Undirected Graphs. 492-497 - Laurent Evain:
The Pycao Software for 3D-Modelling. 498-504 - Jamal Hossein Poor, Clemens G. Raab, Georg Regensburger:
Normal Forms for Operators via Gröbner Bases in Tensor Algebras. 505-513 - Mokwon Lee, Kokichi Sugihara, Deok-Soo Kim:
Robust Construction of the Additively-Weighted Voronoi Diagram via Topology-Oriented Incremental Algorithm. 514-521 - Joris van der Hoeven:
Mathematical Font Art. 522-529
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-10-31 20:22 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
