Publications | Lund University Publications

1 – 5 of 5

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

News feed Embed this list Save this search Mark all Export

Cancel

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&limit=250&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
Mark 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
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
2009
Mark 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
- Contribution to conference › Paper, not in proceeding
2002
Mark Formal Languages and Automata in Computational Algebra
Månsson, Jonas ^LU (2002)
- Thesis › Doctoral thesis (compilation)
2001
Mark Canonical Bases for Algebraic Computations
Nordbeck, Patrik ^LU (2001) In Doctoral Theses in Mathematical Sciences
- Thesis › Doctoral thesis (compilation)
2000
Mark Combinatorial methods in computer algebra
Månsson, Jonas ^LU (2000)
- Thesis › Licentiate thesis

your query:: Remove keywords: Gröbner bases