ICMS - researchr conference series publications

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 100 from 388

2020

FunGrim: A Symbolic Library for Special FunctionsFredrik Johansson 0001. icms 2020: 315-323 [doi]

Certifying Irreducibility in ℤ[x]John Abbott. icms 2020: 462-472 [doi]

A Convex Programming Approach to Solve Posynomial SystemsMarianne Akian, Xavier Allamigeon, Marin Boyet, Stéphane Gaubert. icms 2020: 241-250 [doi]

Equality Checking for General Type Theories in Andromeda 2Andrej Bauer, Philipp G. Haselwarter, Anja Petkovic. icms 2020: 253-259 [doi]

MORLAB - A Model Order Reduction Framework in MATLAB and OctavePeter Benner, Steffen W. R. Werner. icms 2020: 432-441 [doi]

Classifying Simplicial Dissections of Convex Polyhedra with SymmetryAnton Betten, Tarun Mukthineni. icms 2020: 143-152 [doi]

[inline-graphic not available: see fulltext]-Integral Points on a Mordell CurveFrancesca Bianchi. icms 2020: 39-50 [doi]

Mathematical Software - ICMS 2020 - 7th International Conference, Braunschweig, Germany, July 13-16, 2020, ProceedingsAnna Maria Bigatti, Jacques Carette, James H. Davenport, Michael Joswig, Timo de Wolff, editors, Volume 12097 of Lecture Notes in Computer Science, Springer, 2020. [doi]

Homomorphic Encryption and Some Black Box AttacksAlexandre V. Borovik, Sükrü Yalçinkaya. icms 2020: 115-124 [doi]

Phase Portraits of Bi-dimensional Zeta ValuesOlivier Bouillot. icms 2020: 393-405 [doi]

The Program Generation in the Software Package QextNewEditionIliya Bouyukliev. icms 2020: 181-189 [doi]

Classification of Linear Codes by Extending Their ResidualsStefka Bouyuklieva, Iliya Bouyukliev. icms 2020: 173-180 [doi]

Employing C++ Templates in the Design of a Computer Algebra LibraryAlexander Brandt, Robert H. C. Moir, Marc Moreno Maza. icms 2020: 342-352 [doi]

Applying Machine Learning to Heuristics for Real Polynomial Constraint SolvingChristopher W. Brown, Glenn Christopher Daves. icms 2020: 292-301 [doi]

Algebraic Polytopes in NormalizWinfried Bruns. icms 2020: 193-201 [doi]

Classification Results for Hyperovals of Generalized QuadranglesBart De Bruyn. icms 2020: 153-161 [doi]

Practical Volume Estimation of Zonotopes by a New Annealing Schedule for Cooling Convex BodiesApostolos Chalkis, Ioannis Z. Emiris, Vissarion Fisikopoulos. icms 2020: 212-221 [doi]

Chordality Preserving Incremental Triangular Decomposition and Its ImplementationChangbo Chen. icms 2020: 27-36 [doi]

Variable Ordering Selection for Cylindrical Algebraic Decomposition with Artificial Neural NetworksChangbo Chen, Zhangpeng Zhu, Haoyu Chi. icms 2020: 281-291 [doi]

Archiving and Referencing Source Code with Software HeritageRoberto Di Cosmo. icms 2020: 362-373 [doi]

The GAP Package LiePRingBettina Eick, Michael R. Vaughan-Lee. icms 2020: 131-140 [doi]

Computations with Algebraic SurfacesAndreas-Stephan Elsenhans, Jörg Jahnel. icms 2020: 87-93 [doi]

Evaluating Fractional Derivatives of the Riemann Zeta FunctionRicky E. Farr, Sebastian Pauli, Filip Saidak. icms 2020: 94-101 [doi]

A Machine Learning Based Software Pipeline to Pick the Variable Ordering for Algorithms with Polynomial InputsDorian Florescu, Matthew England. icms 2020: 302-311 [doi]

A Formalization of Properties of Continuous Functions on Closed IntervalsYaoshun Fu, Wensheng Yu. icms 2020: 272-280 [doi]

FlexRiLoG - A SageMath Package for Motions of GraphsGeorg Grasegger, Jan Legerský. icms 2020: 442-450 [doi]

Making Presentation Math Computable: Proposing a Context Sensitive Approach for Translating LaTeX to Computer Algebra SystemsAndré Greiner-Petter, Moritz Schubotz, Akiko Aizawa, Bela Gipp. icms 2020: 335-341 [doi]

Mathematical World Knowledge Contained in the Multilingual Wikipedia ProjectDennis Tobias Halbach. icms 2020: 353-361 [doi]

Method to Create Multiple Choice Exercises for Computer Algebra SystemTatsuyoshi Hamada, Yoshiyuki Nakagawa, Makoto Tamura. icms 2020: 419-425 [doi]

Evaluating and Differentiating a Polynomial Using a Pseudo-witness SetJonathan D. Hauenstein, Margaret H. Regan. icms 2020: 61-69 [doi]

A Content Dictionary for In-Object CommentsLars Hellström. icms 2020: 473-481 [doi]

A Design and an Implementation of an Inverse Kinematics Computation in Robotics Using Gröbner BasesNoriyuki Horigome, Akira Terui, Masahiko Mikawa. icms 2020: 3-13 [doi]

Real Tropical Hyperfaces by Patchworking in polymakeMichael Joswig, Paul Vater. icms 2020: 202-211 [doi]

Polymake.jl: A New Interface to polymakeMarek Kaluba, Benjamin Lorenz, Sascha Timme. icms 2020: 377-385 [doi]

Hyperplane Arrangements in polymakeLars Kastner, Marta Panizzut. icms 2020: 232-240 [doi]

A Numerical Approach for Computing Euler Characteristics of Affine VarietiesXiaxin Li, Jose Israel Rodriguez, Botong Wang. icms 2020: 51-60 [doi]

Slack Ideals in Macaulay2Antonio Macchia, Amy Wiebe. icms 2020: 222-231 [doi]

Algorithms for Pfaffian Systems and Cohomology Intersection Numbers of Hypergeometric IntegralsSaiei-Jaeyeong Matsubara-Heo, Nobuki Takayama. icms 2020: 73-84 [doi]

Nilpotent Quotients of Associative Z-Algebras and Augmentation Quotients of Baumslag-Solitar GroupsTobias Moede. icms 2020: 125-130 [doi]

Curtains in CAD: Why Are They a Problem and How Do We Fix Them?Akshar Nair, James H. Davenport, Gregory Sankaran. icms 2020: 17-26 [doi]

A Flow-Based Programming Environment for Geometrical ConstructionKento Nakamura, Kazushi Ahara. icms 2020: 426-431 [doi]

GeoLogic - Graphical Interactive Theorem Prover for Euclidean GeometryMiroslav Olsák. icms 2020: 263-271 [doi]

Markov Transition Matrix Analysis of Mathematical Expression Input ModelsFrancis Quinby, Seyeon Kim, Sohee Kang, Marco Pollanen, Michael G. Reynolds, Wesley S. Burr. icms 2020: 451-461 [doi]

Operational Research Literature as a Use Case for the Open Research Knowledge GraphMila Runnwerth, Markus Stocker, Sören Auer. icms 2020: 327-334 [doi]

Prototyping Controlled Mathematical Languages in Jupyter NotebooksJan Frederik Schaefer, Kai Amann, Michael Kohlhase. icms 2020: 406-415 [doi]

Towards Efficient Normalizers of Primitive GroupsSergio Siccha. icms 2020: 105-114 [doi]

Isomorphism and Invariants of Parallelisms of Projective SpacesSvetlana Topalova, Stela Zhelezova. icms 2020: 162-172 [doi]

Implementing the Tangent Graeffe Root Finding MethodJoris van der Hoeven, Michael B. Monagan. icms 2020: 482-492 [doi]

Web Based Notebooks for Teaching, an Experience at Universidad de ZaragozaMiguel Ángel Marco Buzunáriz. icms 2020: 386-392 [doi]

2018

Numerical Integration in Arbitrary-Precision Ball ArithmeticFredrik Johansson 0001. icms 2018: 255-263 [doi]

A Rainbow Clique Search Algorithm for BLT-SetsAbdullah Al-Azemi, Anton Betten, Sajeeb Roy Chowdhury. icms 2018: 71-79 [doi]

Inferring Safe Maude Programs with ÁTAMEMaría Alpuente, Demis Ballis, Julia Sapiña. icms 2018: 1-10 [doi]

Finding a Middle Ground for Computer-Aided CryptographyEvan Austin, Scott Batson, Peter Curry, Bryan Williams. icms 2018: 11-18 [doi]

Quadratic Time Algorithm for Inversion of Binary Permutation PolynomialsLucas Barthelemy, Delaram Kahrobaei, Guénaël Renault, Zoran Sunic. icms 2018: 19-27 [doi]

Paramotopy: Parameter Homotopies in ParallelDaniel J. Bates, Danielle A. Brake, Matt Niemerg. icms 2018: 28-35 [doi]

DiscreteZOO: Towards a Fingerprint Database of Discrete ObjectsKatja Bercic, Janos Vidali. icms 2018: 36-44 [doi]

A Framework for Unconditionally Secure Public-Key Encryption (with Possible Decryption Errors)Mariya Bessonov, Dima Grigoriev, Vladimir Shpilrain. icms 2018: 45-54 [doi]

How Fast Can We Compute Orbits of Groups?Anton Betten. icms 2018: 62-70 [doi]

Classifying Cubic Surfaces over Finite Fields Using OrbiterAnton Betten. icms 2018: 55-61 [doi]

HomotopyContinuation.jl: A Package for Homotopy Continuation in JuliaPaul Breiding, Sascha Timme. icms 2018: 458-465 [doi]

Numerical Software to Compute Newton PolytopesTaylor Brysiewicz. icms 2018: 80-88 [doi]

On the Interference Problem for Ellipsoids: Experiments and ApplicationsJorge Caravantes, Laureano González-Vega. icms 2018: 89-97 [doi]

Efficient Computation of Squarefree Separator PolynomialsMichela Ceria, Teo Mora, Andrea Visconti. icms 2018: 98-104 [doi]

libtropicon: A Scalable Library for Computing Intersection Points of Generic Tropical Hyper-surfacesTianran Chen. icms 2018: 105-112 [doi]

Software Products, Software Versions, Archiving of Software, and swMATHHagen Chrapary, Wolfgang Dalitz. icms 2018: 123-127 [doi]

Axl, a Geometric Modeler for Semi-algebraic ShapesEmmanouil Christoforou, Angelos Mantzaflaris, Bernard Mourrain, Julien Wintz. icms 2018: 128-136 [doi]

Efficient and Secure Delegation to a Single Malicious Server: Exponentiation over Non-abelian GroupsGiovanni Di Crescenzo, Delaram Kahrobaei, Matluba Khodjaeva, Vladimir Shpilrain. icms 2018: 137-146 [doi]

Mathematical Software - ICMS 2018 - 6th International Conference, South Bend, IN, USA, July 24-27, 2018, ProceedingsJames H. Davenport, Manuel Kauers, George Labahn, Josef Urban, editors, Volume 10931 of Lecture Notes in Computer Science, Springer, 2018. [doi]

NLP and Large-Scale Information Retrieval on Mathematical TextsYihe Dong. icms 2018: 156-164 [doi]

Machine Learning for Mathematical SoftwareMatthew England. icms 2018: 165-174 [doi]

A New Style of Mathematical ProofWilliam M. Farmer. icms 2018: 175-181 [doi]

Universal Gröbner Basis for Parametric Polynomial IdealsAmir Hashemi, Mahdi Dehghani Darmian, Marzieh Barkhordar. icms 2018: 191-199 [doi]

The Hidden Subgroup Problem and Post-quantum Group-Based CryptographyKelsey Horan, Delaram Kahrobaei. icms 2018: 218-226 [doi]

3BA: A Border Bases Solver with a SAT ExtensionJan Horácek, Martin Kreuzer. icms 2018: 209-217 [doi]

Questions on Orbital GraphsPaula Hähndel, Rebecca Waldecker. icms 2018: 227-234 [doi]

Implementation of a Near-Optimal Complex Root Clustering AlgorithmRémi Imbach, Victor Y. Pan, Chee Yap. icms 2018: 235-244 [doi]

Towards a Unified Ordering for Superposition-Based Automated ReasoningJan Jakubuv, Cezary Kaliszyk. icms 2018: 245-254 [doi]

New Counts for the Number of Triangulations of Cyclic PolytopesMichael Joswig, Lars Kastner. icms 2018: 264-271 [doi]

Estimating Tropical Principal Components Using Metropolis Hasting AlgorithmQiwen Kang, Ruriko Yoshida. icms 2018: 272-279 [doi]

Mathematics Classroom Collaborator (MC2): Technology for Democratizing the ClassroomSohee Kang, Marco Pollanen, Sotirios Damouras, Bruce Cater. icms 2018: 280-288 [doi]

Resultants, Implicit Parameterizations, and Intersections of SurfacesRobert H. Lewis. icms 2018: 310-318 [doi]

Image Analysis: Identification of Objects via Polynomial SystemsRobert H. Lewis. icms 2018: 305-309 [doi]

Fitting a Sphere via Gröbner BasisRobert H. Lewis, Béla Paláncz, Joseph L. Awange. icms 2018: 319-327 [doi]

Homotopy Continuation in Macaulay2Anton Leykin. icms 2018: 328-334 [doi]

Solving Polynomial Systems Using Numeric Gröbner BasesDaniel Lichtblau. icms 2018: 335-342 [doi]

The Andrews-Curtis Conjecture, Term Rewriting and First-Order ProofsAlexei Lisitsa. icms 2018: 343-351 [doi]

Francy - An Interactive Discrete Mathematics Framework for GAPManuel Machado Martins, Markus Pfeiffer. icms 2018: 352-358 [doi]

Sparse Multivariate Hensel Lifting: A High-Performance Design and ImplementationMichael B. Monagan, Baris Tuncer. icms 2018: 359-368 [doi]

TheoryGuru: A Mathematica Package to Apply Quantifier Elimination Technology to EconomicsCasey B. Mulligan, James H. Davenport, Matthew England. icms 2018: 369-378 [doi]

Collaborative Use of Mathematical Content Generated by CindyJS on TabletsTakeo Noda, Masataka Kaneko. icms 2018: 379-388 [doi]

Neural Ideals in SageMathEthan Petersen, Nora Youngs, Ryan Kruse, Dane Miyata, Rebecca Garcia, Luis David García-Puente. icms 2018: 182-190 [doi]

Solving the Likelihood Equations to Compute Euler Obstruction FunctionsJose Israel Rodriguez. icms 2018: 405-413 [doi]

IntegerSequences: A Package for Computing with k-Regular SequencesEric Rowland. icms 2018: 414-421 [doi]

A User-Friendly Hybrid Sparse Matrix Class in C++Conrad Sanderson, Ryan R. Curtin. icms 2018: 422-430 [doi]

Intelligent Editor for Authoring Educational Materials in Mathematics e-Learning SystemsShizuka Shirai, Tetsuo Fukui, Kentaro Yoshitomi, Mitsuru Kawazoe, Takahiro Nakahara, Yasuyuki Nakamura, Katsuya Kato, Tetsuya Taniguchi. icms 2018: 431-437 [doi]

Recent Developments in Cayley Hash FunctionsBianca Sosnovski. icms 2018: 438-447 [doi]

Mathematical Research Data, Software, Models, and the Publication-Based ApproachWolfram Sperber. icms 2018: 448-457 [doi]

Polynomial Constraints and Unsat Cores in TarskiFernando Vale-Enriquez, Christopher W. Brown. icms 2018: 466-474 [doi]

Generation of Abundant Multi-choice or STACK Type Questions Using CAS for Random AssignmentsKentaro Yoshitomi. icms 2018: 492-497 [doi]

Intuitive Interface for Solving Linear and Nonlinear System of EquationsZhonggang Zeng. icms 2018: 498-506 [doi]

Links

Filter by Year
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top terms

[+]
OR AND NOT 1

ICMS (icms)

Viewing Publication 1 - 100 from 388

2020

2018

Links

Filter by YearOR AND NOT 1

Filter by Tag [+]OR AND NOT 1

Filter by Author [+]OR AND NOT 1

Filter by Top terms [+]OR AND NOT 1

ICMS (icms)

Viewing Publication 1 - 100 from 388

2020

2018

Filter by Year
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top terms

[+]
OR AND NOT 1