Lund University Publications

1 – 5 of 5

show: 10
|
sort: year (new to old)

Embed this list

copy and paste the html snippet below into your own page:

<iframe src="https://lup.lub.lu.se/search/publication?embed=1&q=keywords+exact+%22Gr%C3%B6bner+bases%22&amp;hide_pagination=1&amp;hide_info=1&amp;hide_options=1"
  width="100%"
  height="400"
  allowtransparency="true"
  frameborder="0">
</iframe>

2020
- Chapter in Book/Report/Conference proceeding Paper in conference proceeding
Verifying Properties of Bit-vector Multiplication Using Cutting Planes Reasoning
Liew, Vincent ; Beame, Paul ; Devriendt, Jo ^LU ; Elffers, Jan ^LU and Nordstrom, Jakob ^LU (2020) 20th International Conference on Formal Methods in Computer-Aided Design, FMCAD 2020 In Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design, FMCAD 2020 p.194-204 Mark
2009
- Contribution to conference Paper, not in proceeding
Pose Estimation with Radial Distortion and Unknown Focal Length
Josephson, Klas ^LU and Byröd, Martin ^LU (2009) IEEE-Computer-Society Conference on Computer Vision and Pattern Recognition Workshops, 2009 p.2411-2418 Mark
2002
- Thesis Doctoral thesis (compilation)
Formal Languages and Automata in Computational Algebra
Månsson, Jonas ^LU (2002) Mark
2001
- Thesis Doctoral thesis (compilation)
Canonical Bases for Algebraic Computations
Nordbeck, Patrik ^LU (2001) In Doctoral Theses in Mathematical Sciences Mark
2000
- Thesis Licentiate thesis
Combinatorial methods in computer algebra
Månsson, Jonas ^LU (2000) Mark

your query:: Remove keywords: Gröbner bases

Lund University Publications

LUND UNIVERSITY LIBRARIES