Search

Your search keyword '"Maletzky, Alexander"' showing total 48 results
Start Over "Maletzky, Alexander" Publication Year Range Last 50 years

Refine your results

more »

more »

more »

more »

more »
48 results on '"Maletzky, Alexander"'

2. Comparing the Machine Readability of Traffic Sign Pictograms in Austria and Germany

Author

Maletzky, Alexander, Thumfart, Stefan, and Wruß, Christoph

Subjects
Computer Science - Computer Vision and Pattern Recognition, Computer Science - Machine Learning
Abstract

We compare the machine readability of pictograms found on Austrian and German traffic signs. To that end, we train classification models on synthetic data sets and evaluate their classification accuracy in a controlled setting. In particular, we focus on differences between currently deployed pictograms in the two countries, and a set of new pictograms designed to increase human readability. Besides other results, we find that machine-learning models generalize poorly to data sets with pictogram designs they have not been trained on. We conclude that manufacturers of advanced driver-assistance systems (ADAS) must take special care to properly address small visual differences between current and newly designed traffic sign pictograms, as well as between pictograms from different countries.

Published
2021

3. CaTabRa: Efficient Analysis and Predictive Modeling of Tabular Data

Author

Maletzky, Alexander, Kaltenleithner, Sophie, Moser, Philipp, Giretzlehner, Michael, Rannenberg, Kai, Editor-in-Chief, Soares Barbosa, Luís, Editorial Board Member, Goedicke, Michael, Editorial Board Member, Tatnall, Arthur, Editorial Board Member, Neuhold, Erich J., Editorial Board Member, Stiller, Burkhard, Editorial Board Member, Stettner, Lukasz, Editorial Board Member, Pries-Heje, Jan, Editorial Board Member, Kreps, David, Editorial Board Member, Rettberg, Achim, Editorial Board Member, Furnell, Steven, Editorial Board Member, Mercier-Laurent, Eunika, Editorial Board Member, Winckler, Marco, Editorial Board Member, Malaka, Rainer, Editorial Board Member, Maglogiannis, Ilias, editor, Iliadis, Lazaros, editor, MacIntyre, John, editor, and Dominguez, Manuel, editor

Published
2023
Full Text
View/download PDF

4. A Generic and Executable Formalization of Signature-Based Gr\'obner Basis Algorithms

Author

Maletzky, Alexander

Subjects
Computer Science - Symbolic Computation
Abstract

We present a generic and executable formalization of signature-based algorithms (such as Faug\`ere's $F_5$) for computing Gr\"obner bases, as well as their mathematical background, in the Isabelle/HOL proof assistant. Said algorithms are currently the best known algorithms for computing Gr\"obner bases in terms of computational efficiency. The formal development attempts to be as generic as possible, generalizing most known variants of signature-based algorithms, but at the same time the implemented functions are effectively executable on concrete input for efficiently computing mechanically verified Gr\"obner bases. Besides correctness the formalization also proves that under certain conditions the algorithms a-priori detect and avoid all useless reductions to zero, and return minimal signature Gr\"obner bases. To the best of our knowledge, the formalization presented here is the only formalization of signature-based Gr\"obner basis algorithms in existence so far.

Published
2020
Full Text
View/download PDF

7. Gr\'obner Bases of Modules and Faug\`ere's $F_4$ Algorithm in Isabelle/HOL

Author

Maletzky, Alexander and Immler, Fabian

Subjects
Computer Science - Logic in Computer Science, Computer Science - Symbolic Computation
Abstract

We present an elegant, generic and extensive formalization of Gr\"obner bases in Isabelle/HOL. The formalization covers all of the essentials of the theory (polynomial reduction, S-polynomials, Buchberger's algorithm, Buchberger's criteria for avoiding useless pairs), but also includes more advanced features like reduced Gr\"obner bases. Particular highlights are the first-time formalization of Faug\`ere's matrix-based $F_4$ algorithm and the fact that the entire theory is formulated for modules and submodules rather than rings and ideals. All formalized algorithms can be translated into executable code operating on concrete data structures, enabling the certified computation of (reduced) Gr\"obner bases and syzygy modules., Comment: extended version of paper submitted to CICM2018

Published
2018

8. Verifying Buchberger's Algorithm in Reduction Rings

Author

Maletzky, Alexander

Subjects
Computer Science - Symbolic Computation, Computer Science - Logic in Computer Science, Mathematics - Commutative Algebra, 13P10, F.4.1, I.2.3
Abstract

In this paper we present the formal, computer-supported verification of a functional implementation of Buchberger's critical-pair/completion algorithm for computing Gr\"obner bases in reduction rings. We describe how the algorithm can be implemented and verified within one single software system, which in our case is the Theorema system. In contrast to existing formal correctness proofs of Buchberger's algorithm in other systems, e. g. Coq and ACL2, our work is not confined to the classical setting of polynomial rings over fields, but considers the much more general setting of reduction rings; this, naturally, makes the algorithm more complicated and the verification more difficult. The correctness proof is essentially based on some non-trivial results from the theory of reduction rings, which we formalized and formally proved as well. This formalization already consists of more than 800 interactively proved lemmas and theorems, making the elaboration an extensive example of higher-order theory exploration in Theorema., Comment: 8 pages; appeared in the proceedings of PAS'2015 (Program Verification, Automated Debugging, and Symbolic Computation, Beijing, China, October 21--23, 2015)

Published
2016

9. Mathematical Theory Exploration in Theorema: Reduction Rings

Author

Maletzky, Alexander

Subjects
Computer Science - Symbolic Computation, Computer Science - Logic in Computer Science, Mathematics - Commutative Algebra, 13P10, F.4.1, I.2.3
Abstract

In this paper we present the first-ever computer formalization of the theory of Gr\"obner bases in reduction rings, which is an important theory in computational commutative algebra, in Theorema. Not only the formalization, but also the formal verification of all results has already been fully completed by now; this, in particular, includes the generic implementation and correctness proof of Buchberger's algorithm in reduction rings. Thanks to the seamless integration of proving and computing in Theorema, this implementation can now be used to compute Gr\"obner bases in various different domains directly within the system. Moreover, a substantial part of our formalization is made up solely by "elementary theories" such as sets, numbers and tuples that are themselves independent of reduction rings and may therefore be used as the foundations of future theory explorations in Theorema. In addition, we also report on two general-purpose Theorema tools we developed for an efficient and convenient exploration of mathematical theories: an interactive proving strategy and a "theory analyzer" that already proved extremely useful when creating large structured knowledge bases., Comment: submitted to CICM 2015 (Conference on Intelligent Computer Mathematics)

Published
2016
Full Text
View/download PDF

10. Formalization of Dubé’s Degree Bounds for Gröbner Bases in Isabelle/HOL

Author

Maletzky, Alexander, Hutchison, David, Editorial Board Member, Kanade, Takeo, Editorial Board Member, Kittler, Josef, Editorial Board Member, Kleinberg, Jon M., Editorial Board Member, Mattern, Friedemann, Editorial Board Member, Mitchell, John C., Editorial Board Member, Naor, Moni, Editorial Board Member, Pandu Rangan, C., Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Terzopoulos, Demetri, Editorial Board Member, Tygar, Doug, Editorial Board Member, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Kaliszyk, Cezary, editor, Brady, Edwin, editor, Kohlhase, Andrea, editor, and Sacerdoti Coen, Claudio, editor

Published
2019
Full Text
View/download PDF

12. Gröbner Bases of Modules and Faugère’s Algorithm in Isabelle/HOL

Author

Maletzky, Alexander, Immler, Fabian, Hutchison, David, Series Editor, Kanade, Takeo, Series Editor, Kittler, Josef, Series Editor, Kleinberg, Jon M., Series Editor, Mattern, Friedemann, Series Editor, Mitchell, John C., Series Editor, Naor, Moni, Series Editor, Pandu Rangan, C., Series Editor, Steffen, Bernhard, Series Editor, Terzopoulos, Demetri, Series Editor, Tygar, Doug, Series Editor, Weikum, Gerhard, Series Editor, Rabe, Florian, editor, Farmer, William M., editor, Passmore, Grant O., editor, and Youssef, Abdou, editor

Published
2018
Full Text
View/download PDF

13. The Formalization of Vickrey Auctions: A Comparison of Two Approaches in Isabelle and Theorema

Author

Maletzky, Alexander, Windsteiger, Wolfgang, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Geuvers, Herman, editor, England, Matthew, editor, Hasan, Osman, editor, Rabe, Florian, editor, and Teschke, Olaf, editor

Published
2017
Full Text
View/download PDF

15. Interactive Proving, Higher-Order Rewriting, and Theory Analysis in Theorema 2.0

Author

Maletzky, Alexander, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Greuel, Gert-Martin, editor, Koch, Thorsten, editor, Paule, Peter, editor, and Sommese, Andrew, editor

Published
2016
Full Text
View/download PDF

16. Two-Point Boundary Problems with One Mild Singularity and an Application to Graded Kirchhoff Plates

Author

Rosenkranz, Markus, Liu, Jane, Maletzky, Alexander, Buchberger, Bruno, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Gerdt, Vladimir P., editor, Koepf, Wolfram, editor, Seiler, Werner M., editor, and Vorozhtsov, Evgenii V., editor

Published
2015
Full Text
View/download PDF

17. Automated Reasoning in Reduction Rings Using the Theorema System

Author

Maletzky, Alexander, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Gerdt, Vladimir P., editor, Koepf, Wolfram, editor, Seiler, Werner M., editor, and Vorozhtsov, Evgenii V., editor

Published
2015
Full Text
View/download PDF

18. Complexity Analysis of the Bivariate Buchberger Algorithm in Theorema

Author

Maletzky, Alexander, Buchberger, Bruno, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Kobsa, Alfred, Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Hong, Hoon, editor, and Yap, Chee, editor

Published
2014
Full Text
View/download PDF

19. Groebner Bases in Theorema

Author

Buchberger, Bruno, Maletzky, Alexander, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Kobsa, Alfred, Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Hong, Hoon, editor, and Yap, Chee, editor

Published
2014
Full Text
View/download PDF

26. Journal of Medical Systems volume / Domain Shifts in Machine Learning Based Covid-19 Diagnosis From Blood Tests

Author

Roland, Theresa, Böck, Carl, Tschoellitsch, Thomas, Maletzky, Alexander, Hochreiter, Sepp, Meier, Jens, and Klambauer, Günter

Subjects
Machine learning, Domain shift, COVID-19, Blood test
Abstract

Many previous studies claim to have developed machine learning models that diagnose COVID-19 from blood tests. However, we hypothesize that changes in the underlying distribution of the data, so called domain shifts, affect the predictive performance and reliability and are a reason for the failure of such machine learning models in clinical application. Domain shifts can be caused, e.g., by changes in the disease prevalence (spreading or tested population), by refined RT-PCR testing procedures (way of taking samples, laboratory procedures), or by virus mutations. Therefore, machine learning models for diagnosing COVID-19 or other diseases may not be reliable and degrade in performance over time. We investigate whether domain shifts are present in COVID-19 datasets and how they affect machine learning methods. We further set out to estimate the mortality risk based on routinely acquired blood tests in a hospital setting throughout pandemics and under domain shifts. We reveal domain shifts by evaluating the models on a large-scale dataset with different assessment strategies, such as temporal validation. We present the novel finding that domain shifts strongly affect machine learning models for COVID-19 diagnosis and deteriorate their predictive performance and credibility. Therefore, frequent re-training and re-assessment are indispensable for robust models enabling clinical utility. Version of record

Published
2022
Full Text
View/download PDF

34. Computer-assisted exploration of Gröbner bases theory in Theorema

Author

Maletzky, Alexander

Subjects
Automatisches Beweisverfahren, Theorema, Reduktionsringe, Gröbner Basen, Gröbner bases, Exploration, Gröbner-Basis, automatisches Beweisen, reduction rings, Computer-unterstützte Theorieexploration, automated reasoning, Computerunterstütztes Verfahren, computer-assisted theory exploration
Abstract

eingereicht von DI Alexander Maletzky Zusammenfassung in deutscher Sprache Universität Linz, Univ., Dissertation, 2016 OeBB

Published
2016

35. Theorema 2.0: Computer-Assisted Natural-Style Mathematics

Author

Buchberger, Bruno, Jebelean, Tudor, Kutsia, Temur, Maletzky, Alexander, Windsteiger, Wolfgang, Buchberger, Bruno, Jebelean, Tudor, Kutsia, Temur, Maletzky, Alexander, and Windsteiger, Wolfgang

Abstract

The Theorema project aims at the development of a computer assistant for the working mathematician. Support should be given throughout all phases of mathematical activity, from introducing new mathematical concepts by definitions or axioms, through first (computational) experiments, the formulation of theorems, their justification by an exact proof, the application of a theorem as an algorithm, until to the dissemination of the results in form of a mathematical publication, the build up of bigger libraries of certified mathematical content and the like. This ambitious project is exactly along the lines of the QED manifesto issued in 1994 (see e.g. http://www.cs.ru.nl/~freek/qed/qed.html) and it was initiated in the mid-1990s by Bruno Buchberger. The Theorema system is a computer implementation of the ideas behind the Theorema project. One focus lies on the natural style of system input (in form of definitions, theorems, algorithms, etc.), system output (mainly in form of mathematical proofs) and user interaction. Another focus is theory exploration, i.e. the development of large consistent mathematical theories in a formal frame, in contrast to just proving single isolated theorems. When using the Theorema system, a user should not have to follow a certain style of mathematics enforced by the system (e.g. basing all of mathematics on set theory or certain variants of type theory), rather should the system support the user in her preferred flavour of doing math. The new implementation of the system, which we refer to as Theorema 2.0, is open-source and available through GitHub.

Published
2016

36. Two-Point Boundary Problems with One Mild Singularity and an Application to Graded Kirchhoff Plates

Author

Gerdt, Vladimir P., Koepf, Wolfram, Seiler, Werner, Vorozhtsov, Evgenii V., Rosenkranz, Markus, Liu, Jane, Maletzky, Alexander, Buchberger, Bruno, Gerdt, Vladimir P., Koepf, Wolfram, Seiler, Werner, Vorozhtsov, Evgenii V., Rosenkranz, Markus, Liu, Jane, Maletzky, Alexander, and Buchberger, Bruno

Abstract

We develop a new theory for treating boundary problems for linear ordinary differential equations whose fundamental system may have a singularity at one of the two endpoints of the given interval. Our treatment follows an algebraic approach, with (partial) implementation in the Theorema software system (which is based on Mathematica). We study an application to graded Kirchhoff plates for illustrating a typical case of such boundary problems.

Published
2015

41. Artificial Intelligence Applications and Innovations : 19th IFIP WG 12.5 International Conference, AIAI 2023, León, Spain, June 14–17, 2023, Proceedings, Part I

Author

Ilias Maglogiannis, Lazaros Iliadis, John MacIntyre, Manuel Dominguez, Ilias Maglogiannis, Lazaros Iliadis, John MacIntyre, and Manuel Dominguez

Subjects
Artificial intelligence--Congresses
Abstract

This two-volume set of IFIP-AICT 675 and 676 constitutes the refereed proceedings of the 19th IFIP WG 12.5 International Conference on Artificial Intelligence Applications and Innovations, AIAI 2023, held in León, Spain, during June 14–17, 2023. This event was held in hybrid mode. The 75 regular papers and 17 short papers presented in this two-volume set were carefully reviewed and selected from 185 submissions. The papers cover the following topics: Deep Learning (Reinforcement/Recurrent Gradient Boosting/Adversarial); Agents/Case Based Reasoning/Sentiment Analysis; Biomedical - Image Analysis; CNN - Convolutional Neural Networks YOLO CNN; Cyber Security/Anomaly Detection; Explainable AI/Social Impact of AI; Graph Neural Networks/Constraint Programming; IoT/Fuzzy Modeling/Augmented Reality; LEARNING (Active-AutoEncoders-Federated); Machine Learning; Natural Language; Optimization-Genetic Programming; Robotics; Spiking NN; and Text Mining /Transfer Learning.

Published
2023

42. Intelligent Computer Mathematics : 12th International Conference, CICM 2019, Prague, Czech Republic, July 8–12, 2019, Proceedings

Author

Cezary Kaliszyk, Edwin Brady, Andrea Kohlhase, Claudio Sacerdoti Coen, Cezary Kaliszyk, Edwin Brady, Andrea Kohlhase, and Claudio Sacerdoti Coen

Subjects
Artificial intelligence, Computer science, Computer networks
Abstract

This book constitutes the refereed proceedings of the 12th International Conference on Intelligent Computer Mathematics, CICM 2019, held in Prague, Czech Republic, in July 2019. The 19 full papers presented were carefully reviewed and selected from a total of 41 submissions. The papers focus on digital and computational solutions which are becoming the prevalent means for the generation, communication, processing, storage and curation of mathematical information. Separate communities have developed to investigate and build computer based systems for computer algebra, automated deduction, and mathematical publishing as well as novel user interfaces. While all of these systems excel in their own right, their integration can lead to synergies offering significant added value.

Published
2019

43. Intelligent Computer Mathematics : 11th International Conference, CICM 2018, Hagenberg, Austria, August 13-17, 2018, Proceedings

Author

Florian Rabe, William M. Farmer, Grant O. Passmore, Abdou Youssef, Florian Rabe, William M. Farmer, Grant O. Passmore, and Abdou Youssef

Subjects
Artificial intelligence, Machine theory, Computer programming, Compilers (Computer programs), Social sciences—Data processing, Education—Data processing
Abstract

​This book constitutes the refereed proceedings of the 11th International Conference on Intelligent Computer Mathematics, CICM 2018, held in Hagenberg, Austria, in August 2018. The 23 full papers presented were carefully reviewed and selected from a total of 36 submissions. The papers focos on the Calculemus, Digital Mathematics Libraries, and Mathematical Knowledge Management tracks which also correspond to the subject areas of the predecessor meetings. Orthogonally, the Systems and Projects track called for descriptions of digital resources, such as data and systems, and of projects, whether old, current, or new, and survey papers covering any topics of relevance to the CICM community.

Published
2018

44. Intelligent Computer Mathematics : 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings

Author

Herman Geuvers, Matthew England, Osman Hasan, Florian Rabe, Olaf Teschke, Herman Geuvers, Matthew England, Osman Hasan, Florian Rabe, and Olaf Teschke

Subjects
Artificial intelligence, Machine theory, Computer science, Software engineering, Compilers (Computer programs), Computer simulation
Abstract

This book constitutes the refereed proceedings of the 10th International Conference on Intelligent Computer Mathematics, CICM 2017, held in Edinburgh, Scotland, in July 2017. The 22 full papers and 3 abstracts of invited papers presented were carefully reviewed and selected from a total of 40 submissions. The papers are organized in three tracks: the Calculemus track examining the integration of symbolic computation and mechanized reasoning; the Digital Mathematics Libraries track dealing with math-aware technologies, standards, algorithms, and processes; the Mathematical Knowledge Management track being concerned with all aspects of managing mathematical knowledge, in informal, semi-formal, and formal settings. An additional track Systems and Projects contains descriptions of systems and relevant projects, both of which are key to a research topic where theory and practice interact on explicitly represented knowledge.

Published
2017

45. Intelligent Computer Mathematics : 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings

Author

Michael Kohlhase, Moa Johansson, Bruce Miller, Leonardo de Moura, Frank Tompa, Michael Kohlhase, Moa Johansson, Bruce Miller, Leonardo de Moura, and Frank Tompa

Subjects
Artificial intelligence, Machine theory, Computer science, Software engineering, Compilers (Computer programs), Computer simulation
Abstract

This book constitutes the refereed proceedings of the 9th International Conference on Intelligent Computer Mathematics, CICM 2016, held in Bialystok, Poland, in July 2016.The 10 full papers and 2 short papers presented were carefully reviewed and selectedfrom a total of 41 submissions. The papers are organized in topical sections according to the five tracks of the conference: Calculemus; Digital Mathematics Libraries; Mathematical Knowledge Management; Surveys and Projects; and Systems and Data.

Published
2016

46. Mathematical Software – ICMS 2016 : 5th International Conference, Berlin, Germany, July 11-14, 2016, Proceedings

Author

Gert-Martin Greuel, Thorsten Koch, Peter Paule, Andrew Sommese, Gert-Martin Greuel, Thorsten Koch, Peter Paule, and Andrew Sommese

Subjects
Computer science—Mathematics, Discrete mathematics, Numerical analysis, Software engineering, Algorithms
Abstract

This book constitutes the proceedings of the 5th International Conference on Mathematical Software, ICMS 2015, held in Berlin, Germany, in July 2016. The 68 papers included in this volume were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections named: univalent foundations and proof assistants; software for mathematical reasoning and applications; algebraic and toric geometry; algebraic geometry in applications; software of polynomial systems; software for numerically solving polynomial systems; high-precision arithmetic, effective analysis, and special functions; mathematical optimization; interactive operation to scientific artwork and mathematical reasoning; information services for mathematics: software, services, models, and data; semDML: towards a semantic layer of a world digital mathematical library; miscellanea.

Published
2016

47. Computer Algebra in Scientific Computing : 17th International Workshop, CASC 2015, Aachen, Germany, September 14-18, 2015, Proceedings

Author

Vladimir P. Gerdt, Wolfram Koepf, Werner M. Seiler, Evgenii V. Vorozhtsov, Vladimir P. Gerdt, Wolfram Koepf, Werner M. Seiler, and Evgenii V. Vorozhtsov

Subjects
Algorithms, Computer science—Mathematics, Discrete mathematics, Computer arithmetic and logic units
Abstract

This book constitutes the proceedings of the 17th International Workshop on Computer Algebra in Scientific Computing, CASC 2015, held in Aachen, Germany, in September 2015. The 35 full papers presented in this volume were carefully reviewed and selected from 42 submissions. They deal with the ongoing progress both in theoretical computer algebra and its expanding applications. New and closer interactions are fostered by combining the area of computer algebra methods and systems and the application of the tools of computer algebra for the solution of problems in scientific computing.

Published
2015

48. Mathematical Software -- ICMS 2014 : 4th International Conference, Seoul, South Korea, August 5-9, 2014, Proceedings

Author

Hoon Hong, Chee Yap, Hoon Hong, and Chee Yap

Subjects
Computer science—Mathematics, Discrete mathematics, Numerical analysis, Software engineering, Algorithms, Computer science
Abstract

This book constitutes the proceedings of the 4th International Conference on Mathematical Software, ICMS 2014, held in Seoul, South Korea, in August 2014. The 108 papers included in this volume were carefully reviewed and selected from 150 submissions. The papers are organized in topical sections named: invited; exploration; group; coding; topology; algebraic; geometry; surfaces; reasoning; special; Groebner; triangular; parametric; interfaces and general.

Published
2014

Catalog

Books, media, physical & digital resources
See catalog results