[go: up one dir, main page]

Kingan et al., 2005 - Google Patents

A software system for matroids

Kingan et al., 2005

Document ID
10270640546009072536
Author
Kingan R
Kingan S
Publication year
Publication venue
DIMACS Series in Discrete Mathematics and Theoretical Computer Science

External Links

Snippet

We present an open source extensible software system for experimenting with matroids. In designing this system we also designed a framework for systems that work with specific objects and treat algorithms for those ob-jects as data. Algorithms are plug-ins to the system …
Continue reading at books.google.com (other versions)

Classifications

    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F9/00—Arrangements for programme control, e.g. control unit
    • G06F9/06—Arrangements for programme control, e.g. control unit using stored programme, i.e. using internal store of processing equipment to receive and retain programme
    • G06F9/44—Arrangements for executing specific programmes
    • G06F9/4421—Execution paradigms
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F17/00—Digital computing or data processing equipment or methods, specially adapted for specific functions
    • G06F17/30—Information retrieval; Database structures therefor; File system structures therefor
    • G06F17/30943—Information retrieval; Database structures therefor; File system structures therefor details of database functions independent of the retrieved data type
    • G06F17/30946—Information retrieval; Database structures therefor; File system structures therefor details of database functions independent of the retrieved data type indexing structures
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F17/00—Digital computing or data processing equipment or methods, specially adapted for specific functions
    • G06F17/50—Computer-aided design
    • G06F17/5009—Computer-aided design using simulation
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F17/00—Digital computing or data processing equipment or methods, specially adapted for specific functions
    • G06F17/30—Information retrieval; Database structures therefor; File system structures therefor
    • G06F17/30286—Information retrieval; Database structures therefor; File system structures therefor in structured data stores
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F9/00—Arrangements for programme control, e.g. control unit
    • G06F9/06—Arrangements for programme control, e.g. control unit using stored programme, i.e. using internal store of processing equipment to receive and retain programme
    • G06F9/46—Multiprogramming arrangements
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/30—Creation or generation of source code
    • G06F8/34—Graphical or visual programming
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F17/00—Digital computing or data processing equipment or methods, specially adapted for specific functions
    • G06F17/10—Complex mathematical operations
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/36—Preventing errors by testing or debugging software
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06N—COMPUTER SYSTEMS BASED ON SPECIFIC COMPUTATIONAL MODELS
    • G06N99/00—Subject matter not provided for in other groups of this subclass
    • G06N99/005—Learning machines, i.e. computer in which a programme is changed according to experience gained by the machine itself during a complete run
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06N—COMPUTER SYSTEMS BASED ON SPECIFIC COMPUTATIONAL MODELS
    • G06N5/00—Computer systems utilising knowledge based models
    • G06N5/02—Knowledge representation
    • G06N5/022—Knowledge engineering, knowledge acquisition
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06N—COMPUTER SYSTEMS BASED ON SPECIFIC COMPUTATIONAL MODELS
    • G06N3/00—Computer systems based on biological models
    • G06N3/02—Computer systems based on biological models using neural network models
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F19/00—Digital computing or data processing equipment or methods, specially adapted for specific applications
    • G06F19/70—Chemoinformatics, i.e. data processing methods or systems for the retrieval, analysis, visualisation, or storage of physicochemical or structural data of chemical compounds
    • G06F19/708—Chemoinformatics, i.e. data processing methods or systems for the retrieval, analysis, visualisation, or storage of physicochemical or structural data of chemical compounds for data visualisation, e.g. molecular structure representations, graphics generation, display of maps or networks or other visual representations

Similar Documents

Publication Publication Date Title
Kazil et al. Utilizing python for agent-based modeling: The mesa framework
David et al. Program synthesis: challenges and opportunities
US9886268B1 (en) Dual programming interface
Kallrath Algebraic Modeling Systems: Modeling and Solving Real World Optimization Problems
Tierney The R statistical computing environment
CN105210054B (en) Binding of data sources to composite controls
Smolensky Symbolic functions from neural computation
de Rosa et al. Opytimizer: A nature-inspired python optimizer
Khandare et al. Analysis of python libraries for artificial intelligence
Chang et al. Designing a framework for solving multiobjective simulation optimization problems
Goyal et al. An llm-based framework for synthetic data generation
Weaver et al. Qiskit pocket guide
Kingan et al. A software system for matroids
Silber et al. SymPhas—General Purpose Software for Phase‐Field, Phase‐Field Crystal, and Reaction‐Diffusion Simulations
McAllister Data structures and algorithms using Java
Pergl et al. OpenCASE–a tool for ontology-centred conceptual modelling
Kudenko et al. Adaptive agents and multi-agent systems II: adaptation and multi-agent learning
Palagin Architecture of ontology-controlled computer systems
McCune The PSI Program Model Builder-synthesis of very high-level programs
Norris et al. Lighthouse: A user-centered web service for linear algebra software
Sonabend et al. distr6: R6 Object-Oriented Probability Distributions Interface in R
Ali et al. Practical scientific computing
Rostami et al. Preconditioning Jacobian systems by superimposing diagonal blocks
Herta et al. DP: A lightweight library for teaching differentiable programming
Theisz et al. Towards a novel meta-modeling approach for dynamic multi-level instantiation