المؤلفون: Covanov, Sviatoslav, Mohajerani, Davood, Moreno-Maza, Marc, Wang, Lin-Xiao

مصطلحات موضوعية: Computer Science - Symbolic Computation

URL الوصول: http://arxiv.org/abs/1811.01490

المؤلفون: Jing, Rui-Juan, Moreno-Maza, Marc, Talaashrafi, Delaram

مصطلحات موضوعية: Computer Science - Symbolic Computation

URL الوصول: http://arxiv.org/abs/1811.01510

المؤلفون: Chen, Xiaohui, Moreno-Maza, Marc, Paudel, Jeeva, Xie, Ning

مصطلحات موضوعية: Computer Science - Distributed, Parallel, and Cluster Computing, Computer Science - Symbolic Computation

URL الوصول: http://arxiv.org/abs/1801.04348

المؤلفون: Calder, Matt, Gonzalez Trochez, Juan Pablo, Moreno Maza, Marc, Postma, Erik

المصدر: Maple Transactions; Vol. 3 No. 2 (2023): Proceedings of the Maple Conference 2022 ; 2564-3029

مصطلحات موضوعية: Laurent series, Puiseux series, lazy computing, Newton-Puiseux theorem, Maple, Multivariate power series

وصف الملف: application/pdf

Relation: https://mapletransactions.org/index.php/maple/article/view/16000/12913; https://mapletransactions.org/index.php/maple/article/view/16000

الاتاحة: https://mapletransactions.org/index.php/maple/article/view/16000

المؤلفون: Jing, Rui-Juan, Moreno Maza, Marc, Xie, Yan-Feng, Yuan, Chun-Ming

المساهمون: National Natural Science Foundation of China, MITACS of Canada, NSERC of Canada, scientific research startup of Jiangsu University

المصدر: Proceedings of the 2024 International Symposium on Symbolic and Algebraic Computation

الاتاحة: http://dx.doi.org/10.1145/3666000.3669708
https://dl.acm.org/doi/pdf/10.1145/3666000.3669708

المؤلفون: Postma, Erik, Moreno Maza, Marc

المصدر: Maple Transactions; Vol. 2 No. 1 (2022): Proceedings of the Maple Conference 2021 ; 2564-3029

مصطلحات موضوعية: formal power series, lazy computing, Maple

وصف الملف: application/pdf

Relation: https://mapletransactions.org/index.php/maple/article/view/14469/11900; https://mapletransactions.org/index.php/maple/article/view/14469

الاتاحة: https://mapletransactions.org/index.php/maple/article/view/14469

المؤلفون: Sandford, Ryan, Gerhard, Jürgen, Moreno Maza, Marc

المصدر: Maple Transactions; Vol. 2 No. 1 (2022): Proceedings of the Maple Conference 2021 ; 2564-3029

مصطلحات موضوعية: Regular Chains, Intersection Multiplicities, Maple, Fulton's Algorithm

وصف الملف: application/pdf

Relation: https://mapletransactions.org/index.php/maple/article/view/14463/11897; https://mapletransactions.org/index.php/maple/article/view/14463

الاتاحة: https://mapletransactions.org/index.php/maple/article/view/14463

المؤلفون: Gonzalez Trochez, Juan Pablo, Calder, Matt, Moreno Maza, Marc, Postma, Erik

المصدر: Maple Transactions; Vol. 2 No. 1 (2022): Proceedings of the Maple Conference 2021 ; 2564-3029

مصطلحات موضوعية: Regular chains, Modular method, Evaluation and interpolation

وصف الملف: application/pdf

Relation: https://mapletransactions.org/index.php/maple/article/view/14448/11894; https://mapletransactions.org/index.php/maple/article/view/14448

الاتاحة: https://mapletransactions.org/index.php/maple/article/view/14448

المؤلفون: Brandt, Alexander, Moir, Robert H. C., Moreno Maza, Marc

المصدر: Lecture Notes in Computer Science ; Mathematical Software – ICMS 2020 ; page 342-352 ; ISSN 0302-9743 1611-3349 ; ISBN 9783030521998 9783030522001

الاتاحة: http://dx.doi.org/10.1007/978-3-030-52200-1_34
http://link.springer.com/content/pdf/10.1007/978-3-030-52200-1_34

المؤلفون: Boulier, François, Lemaire, François, Moreno Maza, Marc, Poteaux, Adrien

المساهمون: Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189 (CRIStAL), Centrale Lille-Université de Lille-Centre National de la Recherche Scientifique (CNRS), University of Western Ontario (UWO), Inria Lille - Nord Europe, Institut National de Recherche en Informatique et en Automatique (Inria), This work has been supported by the bilateral project ANR-17-CE40-0036 and DFG-391322026 SYMBIONT., ANR-17-CE40-0036,SYMBIONT,Méthodes symboliques pour les réseaux biologiques(2017)

المصدر: ISSN: 1661-8270.

مصطلحات موضوعية: [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC]

Relation: hal-02464434; https://hal.science/hal-02464434; https://hal.science/hal-02464434/document; https://hal.science/hal-02464434/file/paper-1.pdf

الاتاحة: https://hal.science/hal-02464434
https://hal.science/hal-02464434/document
https://hal.science/hal-02464434/file/paper-1.pdf
https://doi.org/10.1007/s11786-020-00477-x

المؤلفون: Covanov, Svyatoslav, Mohajerani, Davood, Moreno Maza, Marc, Wang, Linxiao

المساهمون: Symbolic Special Functions : Fast and Certified (SPECFUN), Inria Saclay - Ile de France, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Ontario Research Center for Computer Algebra (ORCCA), University of Waterloo Waterloo -University of Western Ontario (UWO)

المصدر: ISSAC 2019 - International Symposium on Symbolic and Algebraic Computation ; https://inria.hal.science/hal-02191652 ; ISSAC 2019 - International Symposium on Symbolic and Algebraic Computation, Jul 2019, Pékin, China

مصطلحات موضوعية: Specialized arithmetic, Generalized Fermat numbers, Finite fields, Parallel algorithms, CCS CONCEPTS • Computing methodologies → Symbolic and algebraic manipulation Algebraic algorithms, Multi-core processors, Intel CilkPlus, Fast Fourier transforms, [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], [INFO.INFO-CC]Computer Science [cs]/Computational Complexity [cs.CC]

جغرافية الموضوع: Pékin, China

Relation: hal-02191652; https://inria.hal.science/hal-02191652; https://inria.hal.science/hal-02191652/document; https://inria.hal.science/hal-02191652/file/cmmw-2019.ISSAC.sigconf.pdf

الاتاحة: https://inria.hal.science/hal-02191652
https://inria.hal.science/hal-02191652/document
https://inria.hal.science/hal-02191652/file/cmmw-2019.ISSAC.sigconf.pdf

المؤلفون: Brandt, Alexander, González Trochez, Juan Pablo, Moreno Maza, Marc, Yuan, Haoze

المصدر: Computer Algebra in Scientific Computing ; Lecture Notes in Computer Science ; page 69-89 ; ISSN 0302-9743 1611-3349 ; ISBN 9783031417238 9783031417245

الاتاحة: http://dx.doi.org/10.1007/978-3-031-41724-5_4
https://link.springer.com/content/pdf/10.1007/978-3-031-41724-5_4

المؤلفون: Alvandi, Parisa, Ataei, Masoud, Kazemi, Mahsa, Moreno Maza, Marc

المساهمون: Natural Sciences and Engineering Research Council of Canada

المصدر: Journal of Symbolic Computation ; volume 98, page 120-162 ; ISSN 0747-7171

الاتاحة: http://dx.doi.org/10.1016/j.jsc.2019.07.009
https://api.elsevier.com/content/article/PII:S0747717119300744?httpAccept=text/xml
https://api.elsevier.com/content/article/PII:S0747717119300744?httpAccept=text/plain

المؤلفون: Boulier, François, Lemaire, François, Poteaux, Adrien, Moreno Maza, Marc

المساهمون: Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189 (CRIStAL), Centrale Lille-Université de Lille-Centre National de la Recherche Scientifique (CNRS), Géométrie, Algèbre, Informatique, Applications (GAIA), Inria Lille - Nord Europe, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Ontario Research Center for Computer Algebra (ORCCA), University of Waterloo Waterloo -University of Western Ontario (UWO)

المصدر: ISSN: 0747-7171.

مصطلحات موضوعية: characteristic set, resultants, resultant, differential algebra, regular chain, regularity, [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC]

Relation: hal-01391768; https://hal.science/hal-01391768; https://hal.science/hal-01391768v3/document; https://hal.science/hal-01391768v3/file/Yetan-Equivalence-Theorem.pdf

الاتاحة: https://hal.science/hal-01391768
https://hal.science/hal-01391768v3/document
https://hal.science/hal-01391768v3/file/Yetan-Equivalence-Theorem.pdf
https://doi.org/10.1016/j.jsc.2018.04.011

المؤلفون: Asadi, Mohammadali, Brandt, Alexander, Moir, Robert H.C., Moreno Maza, Marc, Xie, Yuzhen

المصدر: Journal of Symbolic Computation ; volume 115, page 371-406 ; ISSN 0747-7171

الاتاحة: http://dx.doi.org/10.1016/j.jsc.2022.08.015
https://api.elsevier.com/content/article/PII:S0747717122000815?httpAccept=text/xml
https://api.elsevier.com/content/article/PII:S0747717122000815?httpAccept=text/plain

المؤلفون: Chen, Liangyu, Covanov, Svyatoslav, Mohajerani, Davood, Moreno Maza, Marc

المساهمون: East China Normal University Shangaï (ECNU), Cryptology, arithmetic : algebraic methods for better algorithms (CARAMBA), Inria Nancy - Grand Est, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Department of Algorithms, Computation, Image and Geometry (LORIA - ALGO), Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS), Ontario Research Center for Computer Algebra (ORCCA), University of Waterloo Waterloo -University of Western Ontario (UWO)

المصدر: ISSAC 2017 ; https://hal.science/hal-01518830 ; ISSAC 2017, Jul 2017, Kaiserslautern, Germany. pp.85-92, ⟨10.1145/3087604.3087657⟩

مصطلحات موضوعية: Graphics processing units, Analysis of algorithms, Experimentation, Algorithms, Finite fields, CUDA, Algebraic algorithms, Fast Fourier transforms, Generalized Fermat numbers, [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC], [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC]

جغرافية الموضوع: Kaiserslautern, Germany

الاتاحة: https://hal.science/hal-01518830
https://hal.science/hal-01518830v1/document
https://hal.science/hal-01518830v1/file/ccm-2015.ACM.pdf
https://doi.org/10.1145/3087604.3087657

المؤلفون: Talaashrafi, Delaram, Doerfert, Johannes, Moreno Maza, Marc

المصدر: Workshop Proceedings of the 51st International Conference on Parallel Processing

الاتاحة: http://dx.doi.org/10.1145/3547276.3548445
https://dl.acm.org/doi/pdf/10.1145/3547276.3548445

المؤلفون: Chen, Changbo, Covanov, Svyatoslav, Mansouri, Farnam, Moreno Maza, Marc, Xie, Ning, Xie, Yuzhen

المساهمون: University of Western Ontario (UWO), Cryptology, arithmetic : algebraic methods for better algorithms (CARAMBA), Inria Nancy - Grand Est, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Department of Algorithms, Computation, Image and Geometry (LORIA - ALGO), Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)

المصدر: IEEE Xplore ; SYNASC 2016 - 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing ; https://hal.science/hal-01520021 ; SYNASC 2016 - 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Sep 2016, Timisoara, Romania. pp.72 - 80, ⟨10.1109/SYNASC.2016.024⟩

مصطلحات موضوعية: Polynomial algebra, Symbolic computation, Parallel processing, Cache complexity, Multi-core architectures, [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], [INFO.INFO-CC]Computer Science [cs]/Computational Complexity [cs.CC]

جغرافية الموضوع: Timisoara, Romania

الاتاحة: https://hal.science/hal-01520021
https://hal.science/hal-01520021v1/document
https://hal.science/hal-01520021v1/file/ccmmxx-2016.IEEE.pdf
https://doi.org/10.1109/SYNASC.2016.024

المؤلفون: Boulier, François, Lemaire, François, Moreno Maza, Marc, Poteaux, Adrien

المساهمون: Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189 (CRIStAL), Centrale Lille-Université de Lille-Centre National de la Recherche Scientifique (CNRS), Laboratoire d'Informatique Fondamentale de Lille (LIFL), Université de Lille, Sciences et Technologies-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lille, Sciences Humaines et Sociales-Centre National de la Recherche Scientifique (CNRS)

المصدر: https://hal.science/hal-02189597 ; 2019.

مصطلحات موضوعية: [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC]

Relation: hal-02189597; https://hal.science/hal-02189597; https://hal.science/hal-02189597/document; https://hal.science/hal-02189597/file/paper.pdf

الاتاحة: https://hal.science/hal-02189597
https://hal.science/hal-02189597/document
https://hal.science/hal-02189597/file/paper.pdf

المؤلفون: Asadi, Mohammadali, Brandt, Alexander, Moreno Maza, Marc

المصدر: Computer Algebra in Scientific Computing ; Lecture Notes in Computer Science ; page 21-41 ; ISSN 0302-9743 1611-3349 ; ISBN 9783030851644 9783030851651

الاتاحة: http://dx.doi.org/10.1007/978-3-030-85165-1_3
https://link.springer.com/content/pdf/10.1007/978-3-030-85165-1_3