Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Integer_set_library> ?p ?o }
Showing triples 1 to 93 of
93
with 100 triples per page.
- Integer_set_library abstract "isl (integer set library) is a portable C library for manipulating sets and relations of integer points bounded by linear constraints.The following operations are supported: intersection, union, set difference emptiness check convex hull (integer) affine hull integer projection computing the lexicographic minimum using parametric integer programming coalescing parametric vertex enumerationIt also includes an ILP solver based on generalized basis reduction, transitive closures on maps (which may encode infinite graphs), dependence analysis and bounds on piecewise step-polynomials.All computations are performed in exact integer arithmetic using GMP or imath.Many program analysis techniques are based on integer set manipulations. The integers typically represent iterations of a loop nest or elements of an array.isl uses parametric integer programming to obtain an explicit representation in terms of integer divisions.It is used as backend polyhedral library in the GCC Graphite framework for loop optimizations.".
- Integer_set_library developer French_Institute_for_Research_in_Computer_Science_and_Automation.
- Integer_set_library genre Mathematical_software.
- Integer_set_library latestReleaseDate "2015-06-12".
- Integer_set_library latestReleaseVersion "0.15".
- Integer_set_library license MIT_License.
- Integer_set_library wikiPageExternalLink isl.gforge.inria.fr.
- Integer_set_library wikiPageExternalLink isl.gforge.inria.fr.
- Integer_set_library wikiPageExternalLink Sven.
- Integer_set_library wikiPageID "47701231".
- Integer_set_library wikiPageLength "3815".
- Integer_set_library wikiPageOutDegree "43".
- Integer_set_library wikiPageRevisionID "679517408".
- Integer_set_library wikiPageWikiLink Affine_hull.
- Integer_set_library wikiPageWikiLink Array_data_structure.
- Integer_set_library wikiPageWikiLink Basis_(linear_algebra).
- Integer_set_library wikiPageWikiLink Bounded_set.
- Integer_set_library wikiPageWikiLink C_(programming_language).
- Integer_set_library wikiPageWikiLink Category:C_libraries.
- Integer_set_library wikiPageWikiLink Category:Computer_arithmetic.
- Integer_set_library wikiPageWikiLink Category:Free_software_programmed_in_C.
- Integer_set_library wikiPageWikiLink Category:Numerical_libraries.
- Integer_set_library wikiPageWikiLink Category:Software_using_the_MIT_license.
- Integer_set_library wikiPageWikiLink Coalescence.
- Integer_set_library wikiPageWikiLink Coalescing.
- Integer_set_library wikiPageWikiLink Complement_(set_theory).
- Integer_set_library wikiPageWikiLink Constraint_(mathematics).
- Integer_set_library wikiPageWikiLink Control_flow.
- Integer_set_library wikiPageWikiLink Convex_hull.
- Integer_set_library wikiPageWikiLink Dependence_analysis.
- Integer_set_library wikiPageWikiLink Empty_set.
- Integer_set_library wikiPageWikiLink Frameworks_supporting_the_polyhedral_model.
- Integer_set_library wikiPageWikiLink French_Institute_for_Research_in_Computer_Science_and_Automation.
- Integer_set_library wikiPageWikiLink GNU_Compiler_Collection.
- Integer_set_library wikiPageWikiLink GNU_Multiple_Precision_Arithmetic_Library.
- Integer_set_library wikiPageWikiLink Glossary_of_graph_theory.
- Integer_set_library wikiPageWikiLink INRIA.
- Integer_set_library wikiPageWikiLink Infinite_graph.
- Integer_set_library wikiPageWikiLink Integer.
- Integer_set_library wikiPageWikiLink Integer_programming.
- Integer_set_library wikiPageWikiLink Intersection.
- Integer_set_library wikiPageWikiLink Lattice_reduction.
- Integer_set_library wikiPageWikiLink Lexicographical_order.
- Integer_set_library wikiPageWikiLink Library_(computing).
- Integer_set_library wikiPageWikiLink Linear_inequality.
- Integer_set_library wikiPageWikiLink Linear_programming.
- Integer_set_library wikiPageWikiLink Loop_optimization.
- Integer_set_library wikiPageWikiLink MIT_License.
- Integer_set_library wikiPageWikiLink Map_(mathematics).
- Integer_set_library wikiPageWikiLink Mathematical_software.
- Integer_set_library wikiPageWikiLink Piecewise.
- Integer_set_library wikiPageWikiLink Program_analysis.
- Integer_set_library wikiPageWikiLink Projection_(mathematics).
- Integer_set_library wikiPageWikiLink Set_(mathematics).
- Integer_set_library wikiPageWikiLink Set_difference.
- Integer_set_library wikiPageWikiLink Transitive_closure.
- Integer_set_library wikiPageWikiLink Union_(set_theory).
- Integer_set_library wikiPageWikiLink Upper_and_lower_bounds.
- Integer_set_library wikiPageWikiLink Vertex_enumeration_problem.
- Integer_set_library wikiPageWikiLinkText "Integer set library".
- Integer_set_library wikiPageWikiLinkText "isl".
- Integer_set_library developer "Sven Verdoolaege, INRIA and others".
- Integer_set_library genre Mathematical_software.
- Integer_set_library hasPhotoCollection Integer_set_library.
- Integer_set_library latestReleaseDate "2015-06-12".
- Integer_set_library latestReleaseVersion "0.15".
- Integer_set_library license MIT_License.
- Integer_set_library name "isl".
- Integer_set_library title "isl".
- Integer_set_library wikiPageUsesTemplate Template:Disambiguation_needed.
- Integer_set_library wikiPageUsesTemplate Template:Infobox_software.
- Integer_set_library wikiPageUsesTemplate Template:Portal.
- Integer_set_library wikiPageUsesTemplate Template:Reflist.
- Integer_set_library subject Category:C_libraries.
- Integer_set_library subject Category:Computer_arithmetic.
- Integer_set_library subject Category:Free_software_programmed_in_C.
- Integer_set_library subject Category:Numerical_libraries.
- Integer_set_library subject Category:Software_using_the_MIT_license.
- Integer_set_library hypernym Library.
- Integer_set_library type Library.
- Integer_set_library type Software.
- Integer_set_library type Work.
- Integer_set_library type CreativeWork.
- Integer_set_library type Thing.
- Integer_set_library type Q386724.
- Integer_set_library type Q7397.
- Integer_set_library comment "isl (integer set library) is a portable C library for manipulating sets and relations of integer points bounded by linear constraints.The following operations are supported: intersection, union, set difference emptiness check convex hull (integer) affine hull integer projection computing the lexicographic minimum using parametric integer programming coalescing parametric vertex enumerationIt also includes an ILP solver based on generalized basis reduction, transitive closures on maps (which may encode infinite graphs), dependence analysis and bounds on piecewise step-polynomials.All computations are performed in exact integer arithmetic using GMP or imath.Many program analysis techniques are based on integer set manipulations. ".
- Integer_set_library label "Integer set library".
- Integer_set_library wasDerivedFrom Integer_set_library?oldid=679517408.
- Integer_set_library homepage isl.gforge.inria.fr.
- Integer_set_library homepage isl.gforge.inria.fr.
- Integer_set_library isPrimaryTopicOf Integer_set_library.
- Integer_set_library name "isl".