Intermediate problems in modular circuits satisfiability
Formale Metadaten
| Titel |
| |
| Untertitel |
| |
| Serientitel | ||
| Anzahl der Teile | 56 | |
| Autor | ||
| Mitwirkende | ||
| Lizenz | CC-Namensnennung 3.0 Deutschland: Sie dürfen das Werk bzw. den Inhalt zu jedem legalen Zweck nutzen, verändern und in unveränderter oder veränderter Form vervielfältigen, verbreiten und öffentlich zugänglich machen, sofern Sie den Namen des Autors/Rechteinhabers in der von ihm festgelegten Weise nennen. | |
| Identifikatoren | 10.5446/49325 (DOI) | |
| Herausgeber | ||
| Erscheinungsjahr | ||
| Sprache |
Inhaltliche Metadaten
| Fachgebiet | |
| Genre |
00:00
DigitaltechnikModul <Datentyp>ComputerModul <Datentyp>ResultanteXMLComputeranimation
00:25
Nichtlineares GleichungssystemZehnDiophantische GleichungPhysikalische TheoriePolynomSystemprogrammierungUnendlichkeitSatellitensystemBoolesche AlgebraAlgebraisches ModellModul <Datentyp>DigitaltechnikNichtlineares GleichungssystemKonditionszahlMultigraphMereologiePhysikalischer EffektProjektive EbeneKomplex <Algebra>BestimmtheitsmaßMathematikWiederherstellung <Informatik>PolynomKonstanteLineare GleichungAlgebraisches ModellAusdruck <Logik>VariableTermPhysikalische TheorieEntscheidungstheorieComputeranimation
01:37
Nichtlineares GleichungssystemPolynomTermAlgebraisches ModellDigitaltechnikModul <Datentyp>E-MailProdukt <Mathematik>ForcingMultiplikationsoperatorNichtlinearer OperatorPolynomProjektive EbeneTermAlgorithmusLeistungsbewertungAlgebraisches ModellComputeranimation
02:15
UnendlichkeitDatenstrukturNebenbedingungRelationale DatenbankModul <Datentyp>DigitaltechnikAlgebraisches ModellNichtlineares GleichungssystemNebenbedingungJukebox <Datentechnik>Komplex <Algebra>Nichtlineares GleichungssystemProzess <Informatik>VerkehrsinformationEinfach zusammenhängender RaumZweiDesign by ContractProjektive EbenePhysikalisches SystemOrtsoperatorSchreib-Lese-KopfKnotenpunktPotenz <Mathematik>Ausdruck <Logik>OrdinalzahlKonstanteStatistische HypotheseTermXMLUMLComputeranimation
03:43
GruppenoperationPolynomErfüllbarkeitsproblemEinfacher RingPunktgitterUnendlichkeitDistributivgesetzModul <Datentyp>DigitaltechnikProjektive EbeneGruppenoperationPunktgitterRechenwerkProgrammierparadigmaMultiplikationsoperatorKlassische PhysikAlgebraisches ModellNichtlineares GleichungssystemNP-vollständiges ProblemDistributiver VerbandEinfacher RingHeegaard-ZerlegungEinsAlgorithmusEnergiedichteMenütechnikLesen <Datenverarbeitung>RechenschieberSchnitt <Mathematik>VarianzLeistung <Physik>Computeranimation
05:03
GruppenoperationGruppenkeimSatellitensystemPolynomDigitaltechnikAuflösbare GruppeFormale SpracheEinsFlächeninhaltGruppenoperationEinfacher RingTermNichtlinearer OperatorFundamentalsatz der AlgebraMultiplikationsoperatorElement <Gruppentheorie>AdditionEinfügungsdämpfungVertauschungsrelationSymmetrische GruppePunktgitterMultiplikationInverseNP-vollständiges ProblemRechenschieberFormale SpracheEin-AusgabeComputeranimation
06:05
DigitaltechnikModul <Datentyp>E-FunktionTopologiePolynomVertauschungsrelationMultiplikationNichtlineares GleichungssystemElektronische UnterschriftDigitaltechnikComputeranimation
06:33
Funktion <Mathematik>Ein-AusgabeBewertungstheorieDigitaltechnikÄquivalenzklasseEin-AusgabeDigitaltechnikTermAbstrakter SyntaxbaumMultiplikationsoperatorPolynomRechenschieberFunktion <Mathematik>EichtheorieFamilie <Mathematik>Offene MengeComputeranimation
07:19
GruppenoperationErfüllbarkeitsproblemUnendlichkeitSatellitensystemMultiplikationFormale SprachePolynomModul <Datentyp>DigitaltechnikFormale SpracheGruppenoperationDatenfeldFlächeninhaltMultiplikationsoperatorNilpotente GruppeErfüllbarkeitsproblemComputeranimation
08:04
DistributivgesetzAlgebraisches ModellPunktgitterProdukt <Mathematik>Nilpotente AlgebraRegulärer Ausdruck <Textverarbeitung>MathematikVarietät <Mathematik>AusnahmebehandlungHalbgruppePolynomialzeitalgorithmusEinfacher RingMaßerweiterungGruppenoperationBoolesche AlgebraModul <Datentyp>DigitaltechnikKongruenzuntergruppeGruppenoperationAusnahmebehandlungDistributionenraumSchnittmengeBrowserBildgebendes VerfahrenEndliche ModelltheorieProzess <Informatik>MAPPotenz <Mathematik>MultiplikationsoperatorVarietät <Mathematik>Algebraisches ModellGRASS <Programm>VererbungshierarchieBenutzerfreundlichkeitKonditionszahlGradientenverfahrenSchlussregelGraphfärbungKongruenzuntergruppeModul <Datentyp>ResultanteAlgorithmusEinfacher RingNP-vollständiges ProblemUmsetzung <Informatik>MaßerweiterungPunktgitterProdukt <Mathematik>DatenstrukturComputeranimation
09:54
Algebraisches ModellEinfacher RingGruppenoperationNilpotente AlgebraVererbungshierarchiePolynomE-FunktionDigitaltechnikKonstanteAuflösbare GruppeMultiplikationsoperatorPotenz <Mathematik>SchnittmengeAlgebraisches ModellModul <Datentyp>PolynomTermAlgorithmusKongruenzuntergruppePunktGruppenoperationEinfacher RingEndliche ModelltheorieWald <Graphentheorie>VererbungshierarchiePhysikalischer EffektGRASS <Programm>Dienst <Informatik>Computeranimation
11:39
ÄquivalenzklasseVarietät <Mathematik>Modul <Datentyp>UnendlichkeitNilpotente AlgebraKongruenzuntergruppeVererbungshierarchiePunktgitterAlgebraisches Modellp-BlockKette <Mathematik>Charakteristisches PolynomDigitaltechnikGruppenoperationPunktgitterKongruenzuntergruppeStellenringNormalteilerAlgebraisches ModellDatenstrukturPrimidealAffiner RaumZahlenbereichEinflussgrößeRationale ZahlMittelwertMinimumVererbungshierarchieOffice-PaketHilfesystemProzess <Informatik>Computeranimation
13:01
PolynomPrimzahltestE-FunktionDigitaltechnikDickeQuadratzahlÄußere Algebra eines ModulsPotenz <Mathematik>Wurzel <Mathematik>PrimidealPolynomKette <Mathematik>Total <Mathematik>Funktion <Mathematik>GruppenoperationKnotenpunktComputeranimation
13:55
DigitaltechnikKonstanteKette <Mathematik>Lineare DarstellungE-FunktionStatistische HypotheseGebundener ZustandVererbungshierarchieVarietät <Mathematik>PrimzahltestBeschreibungskomplexitätMinimalgradPolylogarithmische FunktionCASE <Informatik>Varietät <Mathematik>KongruenzuntergruppeMultiplikationsoperatorModul <Datentyp>AlgorithmusAlgebraisches ModellPotenz <Mathematik>Statistische HypotheseDickeVererbungshierarchieProjektive EbeneMereologieBildgebendes VerfahrenARM <Computerarchitektur>Gesetz <Physik>Computeranimation
14:33
GruppenoperationATMAbelsche GruppeWärmeausdehnungStatistische HypotheseE-FunktionBoolesche AlgebraModul <Datentyp>DigitaltechnikAlgebraisches ModellVererbungshierarchieProgrammierparadigmaProgrammierparadigmaArithmetisches MittelStatistische HypotheseModul <Datentyp>VerkehrsinformationSchlussregelGemeinsamer SpeicherVerknüpfungsgliedCodierungOrdnung <Mathematik>Physikalischer EffektKomplex <Algebra>ZahlenbereichDatensatzCodeTwitter <Softwareplattform>GruppenoperationProdukt <Mathematik>Ein-AusgabeViewerMultiplikationsoperatorDatenstrukturZweiDigitaltechnikAbelsche GruppePotenz <Mathematik>Wurzel <Mathematik>Algebraisches ModellEndliche ModelltheorieErfüllbarkeitsproblemEinsPrimidealTypentheorieMAPComputeranimation
16:38
Ein-AusgabeModul <Datentyp>DigitaltechnikBeschreibungskomplexitätKontextbezogenes SystemKomplex <Algebra>Intelligentes NetzMinimalgradEin-AusgabeExponentMatchingQuaderDifferenteDigitaltechnikRandomisierter AlgorithmusLoginAlgebraisches ModellPolygonGebundener ZustandPotenz <Mathematik>PolynomAlgorithmusComputeranimation
17:31
DichotomieÄquivalenzklasseKontrast <Statistik>Modul <Datentyp>DigitaltechnikStatistische HypotheseArithmetischer AusdruckTranslation <Mathematik>Algebraisches ModellExistenzsatzLeistung <Physik>Physikalisches SystemNichtlineares GleichungssystemKontrast <Statistik>DichotomieKomplex <Algebra>ÄquivalenzklasseSchlussregelSuite <Programmpaket>Mailing-ListeFamilie <Mathematik>HypermediaWeb SiteComputeranimation
18:50
PrimzahltestAnalysisModul <Datentyp>DigitaltechnikSchnittmengeBeschreibungskomplexitätPolynomKomplex <Algebra>Weg <Topologie>Interaktives FernsehenInformationsspeicherungMAPDemoszene <Programmierung>PolynomPunktSpieltheorieFormation <Mathematik>RichtungSchnittmengeLuenberger-BeobachterEndliche ModelltheorieInformation ExtractionProzess <Informatik>CodecSichtenkonzeptModul <Datentyp>Vorzeichen <Mathematik>ProgrammierparadigmaPrimidealMatrizenringAlgebraisches ModellVerknüpfungsgliedSatellitensystemDigitaltechnikAnalysisVollständigkeitComputeranimation
20:47
SatellitensystemGruppenkeimBeschreibungskomplexitätDeterministischer ProzessRankingAusgleichsrechnungGruppenoperationAuflösbare GruppeModul <Datentyp>DigitaltechnikMultiplikationFormale SpracheFormale SpracheStatistische HypotheseNichtlineares GleichungssystemKomplex <Algebra>GruppenoperationSchlussregelMereologieFlächeninhaltOffice-PaketGoogolMultiplikationsoperatorWeb logSymmetrische GruppeNP-vollständiges ProblemNilpotente GruppePolynomRankingAuflösbare GruppeVererbungshierarchieComputeranimation
22:18
Ein-AusgabeSatellitensystemGruppenkeimGruppenoperationVererbungshierarchieModul <Datentyp>DigitaltechnikNilpotente GruppeSymmetrische GruppeHilfesystemMultiplikationsoperatorPotenz <Mathematik>Nichtlineares GleichungssystemDiedergruppeEin-AusgabeStatistische HypotheseLoginFünfeckVererbungshierarchieGruppenoperationResultanteATMSchießverfahrenProzess <Informatik>ForcingEntscheidungstheorieMereologieSingularität <Mathematik>QuadratzahlAutorisierungSoftwaretestWinkelWellenlehreXMLComputeranimation
Transkript: Englisch(automatisch erzeugt)