demonstration

Mathemagix: the quest of modularity and efficiency for symbolic and certified numeric computation?

Authors:

Joris van der Hoeven,

Angelos MantzaflarisAuthors Info & Claims

ACM Communications in Computer Algebra, Volume 45, Issue 3/4

Pages 186 - 188

https://doi.org/10.1145/2110170.2110180

Published: 23 January 2012 Publication History

Get Access

Abstract

We describe the goals and architecture of the software project Mathemagix, the main list of packages it contains, the main characteristics of its programming language, and connections with existing frontends.

Cited By

View all

Doliskani JGiorgi PLebreton RSchost E(2018)Simultaneous Conversions with the Residue Number System Using Linear AlgebraACM Transactions on Mathematical Software10.1145/314557344:3(1-21)Online publication date: 3-Jan-2018
https://dl.acm.org/doi/10.1145/3145573
Johansson F(2017)Arb: Efficient Arbitrary-Precision Midpoint-Radius Interval ArithmeticIEEE Transactions on Computers10.1109/TC.2017.269063366:8(1281-1292)Online publication date: 1-Aug-2017
https://doi.org/10.1109/TC.2017.2690633
Johansson F(2014)ArbACM Communications in Computer Algebra10.1145/2576802.257682847:3/4(166-169)Online publication date: 28-Jan-2014
https://dl.acm.org/doi/10.1145/2576802.2576828
Show More Cited By

Recommendations

Modular SIMD arithmetic in Mathemagix

Modular integer arithmetic occurs in many algorithms for computer algebra, cryptography, and error correcting codes. Although recent microprocessors typically offer a wide range of highly optimized arithmetic functions, modular integer operations still ...
Mathemagix: towards large scale programming for symbolic and certified numeric computations
ICMS'10: Proceedings of the Third international congress conference on Mathematical software

Coordinated by JORIS VAN DER HOEVEN from the 90's, the MATHEMAGIC project aims at the design of a scientific programming language for symbolic and certified numeric algorithms. This language can be compiled and interpreted, and it features a strong type ...
Computing generic bivariate Gröbner bases with Mathemagix

Let A, B ∈ K[X,Y] be two bivariate polynomials over an effective field K, and let G be the reduced Gröbner basis of the ideal I := 〈A, B〉 generated by A and B with respect to the usual degree lexicographic order. Assuming A and B sufficiently generic, G ...

Comments

Information & Contributors

Information

Published In

cover image ACM Communications in Computer Algebra

ACM Communications in Computer Algebra Volume 45, Issue 3/4

September/December 2011

87 pages

ISSN:1932-2232

EISSN:1932-2240

DOI:10.1145/2110170

Issue’s Table of Contents

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 23 January 2012

Published in SIGSAM-CCA Volume 45, Issue 3/4

Check for updates

Qualifiers

Demonstration

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

6
Total Citations
View Citations
72
Total Downloads

Downloads (Last 12 months)4
Downloads (Last 6 weeks)0

Reflects downloads up to 03 Mar 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Doliskani JGiorgi PLebreton RSchost E(2018)Simultaneous Conversions with the Residue Number System Using Linear AlgebraACM Transactions on Mathematical Software10.1145/314557344:3(1-21)Online publication date: 3-Jan-2018
https://dl.acm.org/doi/10.1145/3145573
Johansson F(2017)Arb: Efficient Arbitrary-Precision Midpoint-Radius Interval ArithmeticIEEE Transactions on Computers10.1109/TC.2017.269063366:8(1281-1292)Online publication date: 1-Aug-2017
https://doi.org/10.1109/TC.2017.2690633
Johansson F(2014)ArbACM Communications in Computer Algebra10.1145/2576802.257682847:3/4(166-169)Online publication date: 28-Jan-2014
https://dl.acm.org/doi/10.1145/2576802.2576828
van der Hoeven J(2014)Overview of the Mathemagix Type SystemComputer Mathematics10.1007/978-3-662-43799-5_27(397-425)Online publication date: 1-Oct-2014
https://doi.org/10.1007/978-3-662-43799-5_27
van der Hoeven JGrozin AGubinelli MLecerf GPoulain FRaux D(2013)GNU TEXmacsACM Communications in Computer Algebra10.1145/2503697.250370847:1/2(59-61)Online publication date: 15-Jul-2013
https://dl.acm.org/doi/10.1145/2503697.2503708
van der Hoeven JLecerf GMonagan MCooperman GGiesbrecht M(2013)Interfacing mathemagix with C++Proceedings of the 38th International Symposium on Symbolic and Algebraic Computation10.1145/2465506.2465511(363-370)Online publication date: 26-Jun-2013
https://dl.acm.org/doi/10.1145/2465506.2465511

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Abstract

Cited By

Recommendations

Modular SIMD arithmetic in Mathemagix

Mathemagix: towards large scale programming for symbolic and certified numeric computations

Computing generic bivariate Gröbner bases with Mathemagix

Comments

Information

Published In

Publisher

Publication History

Check for updates

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

Login options

Full Access

View options

PDF

eReader

Share

Share this Publication link

Share on social media

Affiliations