Search

Your search keyword '"Maletzky, Alexander"' showing total 18 results

Search Constraints

Start Over You searched for: "Maletzky, Alexander" Remove constraint "Maletzky, Alexander" Publication Year Range Last 50 years Remove constraint Publication Year Range: Last 50 years Publication Type eBooks Remove constraint Publication Type: eBooks
18 results on '"Maletzky, Alexander"'

Search Results

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

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

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

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

5. Mathematical Theory Exploration in Theorema: Reduction Rings

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

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

8. Automated Reasoning in Reduction Rings Using the Theorema System

9. Complexity Analysis of the Bivariate Buchberger Algorithm in Theorema

10. Groebner Bases in Theorema

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

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

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

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

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

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

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

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

Catalog

Books, media, physical & digital resources