The source code and dockerfile for the GSW2024 AI Lab.
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
This repo is archived. You can view files and clone it, but cannot push or open issues/pull-requests.

69 lines
1.8 KiB

2 months ago
  1. @article{Ducos00,
  2. title = "Optimizations of the subresultant algorithm",
  3. journal = "Journal of Pure and Applied Algebra",
  4. volume = "145",
  5. number = "2",
  6. pages = "149 - 163",
  7. year = "2000",
  8. doi = "http://dx.doi.org/10.1016/S0022-4049(98)00081-4",
  9. author = "Lionel Ducos",
  10. }
  11. @book{GCL92,
  12. title={Algorithms for Computer Algebra},
  13. author={Keith O. Geddes and Stephen R. Czapor and George Labahn},
  14. year={1992},
  15. publisher={Kluwer Academic Publisher}
  16. }
  17. @book{Mishra93,
  18. author = {Bhubaneswar Mishra},
  19. isbn = {978-3-540-94090-6},
  20. pages = {I-XII, 1-416},
  21. publisher = {Springer},
  22. series = {Texts and monographs in computer science},
  23. title = {Algorithmic algebra},
  24. year = 1993
  25. }
  26. @book{C++Standard,
  27. author = {{ISO}},
  28. keywords = {C++ Specification Standard},
  29. month = feb,
  30. pages = {1338 (est.)},
  31. publisher = {International Organization for Standardization},
  32. remark = {Revises ISO/IEC 14882:2003.},
  33. title = {{ISO/IEC 14882:2011 Information technology --- Programming languages --- C++}},
  34. url = {http://www.iso.org/iso/iso_catalogue/catalogue_tc/catalogue_detail.htm?csnumber=50372},
  35. year = 2012
  36. }
  37. @misc{Mathic,
  38. title={Mathic library for Groebner basis computations},
  39. howpublished={https://github.com/broune/mathic}
  40. }
  41. @article{Hirst1997,
  42. title={Bounding the roots of polynomials},
  43. author={Hirst, Holly P and Macey, Wade T},
  44. journal={The College Mathematics Journal},
  45. volume={28},
  46. number={4},
  47. pages={292--295},
  48. year={1997},
  49. publisher={JSTOR}
  50. }
  51. @article{Mignotte2002,
  52. title={On an estimation of polynomial roots by Lagrange},
  53. author={Mignotte, Maurice and Stefanescu, Doru},
  54. year={2002}
  55. }
  56. @article{Crawford1996,
  57. title={Symmetry-breaking predicates for search problems},
  58. author={Crawford, James and Ginsberg, Matthew and Luks, Eugene and Roy, Amitabha},
  59. journal={KR},
  60. volume={96},
  61. pages={148--159},
  62. year={1996}
  63. }